Discrete Event Calculus Reasoner

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.

Last updated 27 Jul, 2006


User level: Submit a level

User Rating:

Homepage

License(s) :

Common Public License

Rate it!

 

About

Leadership
  • Erik T. Mueller - Maintainer

Versions

1.0

1.0 released on 2006-01-26

User Community and Support

http://sourceforge.net/docman/?group_id=149385

General Resources
Announcement Resources

Development

Developer Resources
  • VCS Checkout Command: :pserver:anonymous@cvs.sourceforge.net:/cvsroot/decreasoner
Bug Tracking Resources
 

Please send comments on these web pages to bug-directory@fsf.org, send other questions to info@fsf.org.

Copyright © 2000 - 2009 Free Software Foundation, Inc., 51 Franklin Street, 5th Floor, Boston, MA 02110-1301, USA

The copyright licensing notice below applies to this text. Any software described in this text has its own copyright notice and license, which can usually be found in the distribution itself.

Permission is granted to copy, distribute, and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts, and with no Back-Cover Texts.