GitHub repository: JamesPane-Joyce/Talos
Primary language: C
Created: 2015-04-17T16:47:34Z
Description: An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.