Based on “A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems,” Expert Systems with Applications, vol. 36, no. 2, pp ...

GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.