Block or report user
  • RAIR Lab

Organizations

@RAIRLab
  • Java Updated Nov 29, 2016
  • A library for parsing and using the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.

    Python 2 5 Updated Jun 24, 2015
  • An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.

    C 1 5 Updated Jun 10, 2015