About:
The Discrete Event Calculus Reasoner allows a programmer to add common-sense reasoning capabilities to programs. It supports deduction/temporal projection, abduction/planning, postdiction, and model finding. It allows default reasoning about action, change, space, and mental states. It is based on the event calculus, a comprehensive and highly usable logic-based formalism. It helps applications understand the world, make inferences, adapt to unexpected situations, and be more flexible.

Author:
Erik T. Mueller [contact developer]

Rating:	reset 1 2 3 4 5 6 7 8 9 10
(not rated)

Homepage:
http://decreasoner.sourceforge.net/
Tar/GZ:
http://sourceforge.net/project/showfiles.php?group_id=149385

Trove categories: [change]

[Development Status]		5 - Production/Stable
[Environment]		Console (Text Based)
[Intended Audience]		Advanced End Users, Developers
[License]		OSI Approved :: Common Public License
[Operating System]		Microsoft :: Windows :: Cygwin, POSIX :: Linux
[Programming Language]		C, Python
[Topic]		Home Automation, Scientific/Engineering :: Artificial Intelligence, Software Development

Dependencies: [change]
No dependencies filed

 Branches

Branch	Version	Last release	License	URLs
Default	1.0	26-Jan-2006	Common Public License