Discrete Event Calculus Reasoner

Discrete Event Calculus Reasoner 1.0

Discrete Event Calculus Reasoner 1.0 Download Summary

  • Language: C/C++
  • Platform: Windows / Linux / Mac OS / BSD / Solaris
  • License: GPL - GNU Public License
  • Databases: N/A
  • Downloads: 630
  • Released: Jun 6, 2007

Discrete Event Calculus Reasoner 1.0 Description

The Discrete Event Calculus Reasoner is an open source program for performing automated commonsense reasoning using the event calculus, a comprehensive and highly usable logic-based formalism. It solves problems efficiently by converting them into satisfiability (SAT) problems.

Features:
- Comes with 99 examples
- Comes with 13-page user's manual
- Supports deduction/temporal projection, abduction/planning, postdiction, and model finding
- Allows default reasoning about action, change, space, and mental states
- Useful for 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

Discrete Event Calculus Reasoner Bookmark

Hyperlink code:
Hyperlink for Forum code:

Discrete Event Calculus Reasoner 1.0 Script Download Notice

Top 4 Download periodically updates information of Discrete Event Calculus Reasoner 1.0 script from the developer, but some information may be slightly out-of-date.

Our script download links are directly from our mirrors or publisher's website. Discrete Event Calculus Reasoner 1.0 torrent files or shared files from free file sharing and free upload services, including Rapidshare, MegaUpload, YouSendIt, MailBigFile, DropSend, HellShare, HotFile, FileServe, MediaMax, zUpload, MyOtherDrive, SendSpace, DepositFiles, Letitbit, LeapFile, DivShare or MediaFire, are not allowed!

Robot Operating System

ROS can build robot control systems in different languages and on different platforms.As compared to other frameworks (CARMEN, Player, Orca), ROS is designed specifically for the forthcoming generation of mobile manipulation platforms.This operating system was written using C, C++, Python and Ruby. What's New in This Release: · ...

Wollabot

Wollabot is a modular service bot for IRC channels. It's written entirely in PHP making it crossplatform and easy to customize. It's not supposed to be guarding channels and does not contain such functionality thus increasing performance for the tasks it is supposed to do. It comes bundled with a couple ...

Program E

Program E is an AIML chatterbot written in PHP and using MySQL. It's composed by a converter which loads the AIML files into the database, a core rule engine that adheres to the AIML 1.0.x specification and several chat interfaces: HTML, Flash and XML-R. ...

CatBot

CatBot is a simple, HTML/PHP/MySQL based chatterbot that's easy to set up and use. It comes equipped with a few commands, as well as a basic "learning" ability. With some moderate tweaking, it could make a very nice browser-based helpdesk assistant. ...

zb3 IRC bot

zb3 is an IRC statistics and info bot written in perl and php using mysql as a database engine. ...