Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.138.176 Times

Discrete Event Calculus Reasoner 1.0

  Date Added: May 10, 2013  |  Visits: 265

Discrete Event Calculus Reasoner

Report Broken Link
Printer Friendly Version


Product Homepage
Download (32 downloads)

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

Requirements: No special requirements
Platforms: Windows, Mac, *nix, Mac OSX, Linux, C/C++ , BSD Solaris
Keyword: Artificial Intelligence Artificial Intelligence Application Calculus Discrete Discrete Event Calculus Event
Users rating: 0/10

License: Freeware
DISCRETE EVENT CALCULUS REASONER RELATED
Business  -  TCCS Personal Scheduler 1.10
The TCCS Personal Scheduler application was developed to be an event reminder for all your dates, appointments, meetings, etc. With TCCS Personal Scheduler, not only you can schedule all your work, but it will remind you when the date had reached....
993 KB  
Business  -  Baden-Baden Meeting 2014 1.0
Baden-Baden application is a free app for event attendees to view event specific information such as agenda, speakers, venue, floor plans and maps. The app is a digital event companion for selected events organised in association with Insurance...
17.1 MB  
Utilities  -  Bahrain International eGovernment Forum & IT Expo 3.0.0
A great opportunity to join the Bahrain International eGovernment Forum & Bahrain IT Expo! Use the application and become part of an event that brings together the brightest minds and the latest solutions in the eGovernment and ICT arena. The...
13.3 MB  
Utilities  -  CCG Guest Attendance System 1
The application allows admin user to create event and upload attendees list. The mobile Apps with user login can download the event attendees list. Login user can locate the attendee by name, organization or phone; mark the attendees present....
1.7 MB  
Sports  -  ETTC 2013 1.0
The application for the European Table Tennis Championships 2013. 4-13 October, Schwechat Austria. This Application shows the Single and Doubles event held from 7-13 October. For the Team event you can download the ETTC 2013 Teams...
5.2 MB  
Business  -  EventDayWF 1.2.5
EventDay Work Flow Form Builder. This application is used in conjunction with Event Day live events. Requirements: iOS 4.3 or later. Compatible with iPhone, iPad, and iPod touch.
5.1 MB  
Business  -  Honeywell Momentum 2013 HD 2.2
The Honeywell Momentum 2013 Conference mobile application allows attendees to easily access event information on-site and stay informed of updates. Requirements: iOS 4.0 or later. Compatible with iPad.
13.5 MB  
Sports  -  Pure Adventures 1.0
Pure Adventures is a social race tracking application that makes it easy for event organizers to easily track runners time and tweet result live! All results are displayed on a live leader-board. Please contact us should you want to...
6.1 MB  
Business  -  TFG Innovation Day 1.0.0.0
This application is the companion app for the TFG Innovation Day event. This event will be taking place on the 6th of June 2014. Requirements: Windows Phone 8.1, Windows Phone 8
3 MB  
Modules  -  The AI Module - Artificial Intelligence 1.2
The AI (Artificial Intelligence) Module is a flash interface for A.L.I.C.E. (Artificial Linguistic Internet Computer Entity)to create and use virtual personalities to your Joomla site. AI utilizes AIML (Artificial Intelligence Markup Language) to...
10 KB  
NEW DOWNLOADS IN SCRIPTS, SCIENTIFIC AND ENGINEERING
Scripts  -  Free Ecommerce website creator 1.2
Free Ecommerce website creator is a free PHP shop creating script. This allows you to put a online shop on your own website. Create your own free ecommerce website for Your Business. Create an online shop using easyGUI online shop creator. The...
1.44 KB  
Scripts  -  MochiGames PHP Script ZDR 1.00
MochiGames PHP Script ZDR is web site, ready for use, for flash games. These flash games are downloaded automatically by "MochiGames PHP Script ZDR" from MochiGames media. The use of the games is free, you can use your own Mochi Publisher ID and...
368.54 KB  
Scripts  -  Php Chat 2.0
Add a free php site, single sign-on and multiple skins, 100% free 1. Server Modes: The chat server has paid mode and free mode. If the free chat mode, a free chat room will be assigned to your website with your domain as the room name. 2....
938.87 KB  
Scripts  -  Nibbleblog 3.0.1
Nibbleblog it's a powerful engine for creation and manipulation of BLOG's completely free. Very simple to install and configure (Only 1 step). The database used is based on XML files and this way it is not necessary to use MySQL or similar DBMS....
371.09 KB  
Scripts  -  PHP File Manager | CloudOsys 2.9b8
CloudOsys is a PHP file manager, a tool that allows your visitors upload files such as media content directly to your website. Your visitors will upload files directly to your website, where they can share and comment on them. Through cloud...
1.41 MB  
Scientific and Engineering  -  metaf2xml 2.0
metaf2xml can download, parse and decode aviation routine weather reports (METAR, SPECI, SAO), aerodrome forecasts (TAF), synoptic observations (SYNOP), observations from buoys (BUOY) and meteorological reports from aircrafts (AMDAR). Data can...
381.63 KB  
Scientific and Engineering  -  Matlab code for the Kalman filter 1.0
It will compute the Kalman gain and the stationary covariance matrix using a Kalman filter with a linear forward looking model. Requirements: - MATLAB 7 or higher
 
Scientific and Engineering  -  Manhattan Virtual Classroom 3.2
The Manhattan Virtual Classroom is a fast, stable and effective course management system that runs on Linux and other Unix-like systems.It's written entirely in the C programming language (fast! - light hardware requirements) and is 100%...
 
Scientific and Engineering  -  Extended Kalman Filter 1.0
The state space model is nonlinear and is input to the function along with the current measurement. It performs the extended Kalman filter and returns the estimated next state and error covariance. Requirements: - MATLAB 7.6 or higher
 
Scientific and Engineering  -  Light Speed! 1.2-5 1.0
Light Speed! is an OpenGL-based program which illustrates the effects of special relativity on the appearance of moving objects. When an object accelerates past a few million meters per second, these effects begin to grow noticeable, becoming more...