Browse wiki
| Documentation note
|
http://sourceforge.net/docman/?group_id=149385
|
| Full description
|
The Discrete Event Calculus Reasoner allow … 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.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 09: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 +
|
| Modification dateThis property is a special property in this wiki.
|
5 March 2013 21:59:11 +
|
| 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 +
|
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 described in this text has its
own copyright notice and license, which can usually be found in
the distribution itself.