discrete event calculus reasoner

We have hosted the application discrete event calculus reasoner in order to run this application in our online workstations with Wine or directly.

Quick description about discrete event calculus reasoner:

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the discrete event calculus, a comprehensive and highly usable formalism for reasoning about action, change, space, and mental states.

Audience: Developers, Education, Science/Research.
User interface: Console/Terminal.
Programming Language: C, Python.
Categories: