An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.
Primary LanguagePythonGNU General Public License v2.0GPL-2.0