[X] The "/2.x86-linux/gtk-1.2.10_2.x86-linux.tar.gz" file could not be found or is not available. Please select another file.

Share

More
Discrete Event Calculus Reasoner Icon

Discrete Event Calculus Reasoner

by etmueller


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.


http://decreasoner.sourceforge.net





Separate each tag with a space.

Release Date:

2005-09-29

Topics:

License:

Ratings and Reviews

Be the first to post a text review of Discrete Event Calculus Reasoner. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

  • Common sense for programs: DEC Reasoner 1.0 released

    New Project Announcement - Computers can be very dense sometimes. But what if there were a way to give them a little common sense, a little understanding about how the world works? There is. With the Discrete Event Calculus Reasoner, you can add commonsense reasoning capabilities to your programs. Features: * Comes with 99 examples * Comes with 12-page user's manual * Supports deduction/temporal projection, abduction/planning, postdiction, and model finding * Allows default reasoning about action, change, space, and mental states * Based on the event calculus, a comprehensive and highly usable logic-based formalism * Useful for such application areas as intelligent user interfaces, business systems, natural language understanding, and computer vision * Helps applications understand the world, make inferences, adapt to unexpected situations, and be more flexible * Released under the Common Public License v1.0 Home: http://decreasoner.sourceforge.net/ Project page: http://sourceforge.net/projects/decreasoner/ Download: http://sourceforge.net/project/showfiles.php?group_id=149385 Documentation: http://sourceforge.net/docman/display_doc.php?docid=30154&group_id=149385 Book: http://www.signiform.com/csr/

    posted by etmueller 1384 days ago

  • File released: /decreasoner/1.0 Linux Windows/decreasoner.tar.gz

    posted 1503 days ago

  • Code committed

    Anonymous committed patchset 1 of module CVSROOT to the Discrete Event Calculus Reasoner CVS repository, changing 11 files

    posted by nobody 1503 days ago

  • decreasoner 1.0 Linux Windows file released: decreasoner.tar.gz

    posted 1503 days ago

  • Project Information Updated

    posted by etmueller 1504 days ago

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Discrete Event Calculus Reasoner Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review