Free Software Foundation!

Join now

Browse wiki

Jump to: navigation,
Discrete Event Calculus Reasoner
Documentation note http://sourceforge.net/docman/?group_id=149385
Full description The Discrete Event Calculus Reasoner allowThe 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.expected situations, and be more flexible.
Homepage URL http://decreasoner.sourceforge.net/  +
Interface console  +
Is GNU false  +
Last review by Ted Teah +
Last review date 27 July 2006  +
License Common Public License +
License verified by Ted Teah  +
License verified date 27 July 2006  +
Name Discrete Event Calculus Reasoner  +
Real name Erik T. Mueller  +
Resource URL http://sourceforge.net/news/?group_id=149385  + , http://sourceforge.net/tracker/?group_id=149385  +
Resource audience Help  + , Bug Tracking  +
Resource kind Homepage  +
Revisionid 5,813  +
Revisiontimestamp 12 April 2011 10:54:27  +
Revisionuser User:WikiSysop +
Role Maintainer  +
Science artificial-intelligence  +
Short description A common-sense reasoning program.  +
Submitted by Database conversion +
Submitted date 1 April 2011  +
Use science  +
User level none  +
VCS checkout command :pserver:anonymous@cvs.sourceforge.net:/cvsroot/decreasoner  +
Version comment 1.0 released on 2006-01-26
Version date 26 January 2006  +
Version download http://sourceforge.net/project/showfiles.php?group_id=149385  +
Version identifier 1.0  +
Version status stable  +
Has queryThis property is a special property in this wiki. Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner +
Modification dateThis property is a special property in this wiki. 1 August 2014 21:05:47  +
Page has default formThis property is a special property in this wiki. Entry  +
Has subobjectThis property is a special property in this wiki. Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner +
hide properties that link here 
Discrete Event Calculus Reasoner + License of
Discrete Event Calculus Reasoner + Person of
Discrete Event Calculus Reasoner + , Discrete Event Calculus Reasoner + Resource of
 

 

Enter the name of the page to start browsing from.



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

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.


Personal tools
Namespaces

Variants
Views
Actions
Navigation
Contribute