Discrete Event Calculus Reasoner 1.0

Date Added: May 10, 2013 | Visits: 517

Report Broken Link
Printer Friendly Version

Product Homepage
Download (58 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

USER REVIEWS

More Reviews or Write Review

DISCRETE EVENT CALCULUS REASONER RELATED

Networking Tools - Network Simulator 2.31 Network Simulator (Ns) is a discrete event simulator targeted at networking research. Ns provides substantial support for simulation of TCP, routing, and multicast protocols over wired and wireless (local and satellite) networks. Ns began as a...	67.2 MB
Science - Phage Therapy Simulation-Discrete Events 1.0 This is a discrete event model that has been developed to computationally simulate the many interactions that occur between co-inhabiting populations of bacteriophage lambda and bacteria. Model qualifications are under review for scientific...	1.37 MB
Backup Utilities - SimPy 2.3.1 SimPy is a discrete event, object-oriented, simulation package for Python 2.2 and later. It uses generators which support efficient implementation of coroutines. SimPy allows easy interfacing to GUIs and graphing packages for analysis....	5.95 MB
Programming - JAPROSIM 1.3.358 Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.	962.56 KB
Development Editors - AnyLogic for Mac OS 6.5 The only tool that supports all the most common simulation methodologies in place today: System Dynamics, Process-centric (AKA Discrete Event), and Agent Based modeling. The unique flexibility of the modeling language enables the user to capture...	122 MB
Science - Simple discrete event simulation 0.3.1 edef - A small simulation framework for logic circuits, autoregressive processes, digital controller circuits and many more. Also there is a GUI application, that integrates a simple development environment and a circuit editor.	125.35 KB
Science - JAPROSIM 1.3.358 Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.	959.39 KB
Science - Khronos DES 20110127 General purpose discrete event simulation (DES) framework for the Python programming language. Khronos gathers ideas from other simulation software and tries to provide a simple and poweful toolset for simulation of discrete systems.	304.08 KB
Science - nsnam 2.35 Ns is a discrete event simulator targeted at networking research. Ns provides substantial support for simulation of TCP, routing, and multicast protocols over wired and wireless (local and satellite) networks.	56.77 MB
Science - PerMoTo 1.0 PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation.	18.49 MB

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 - 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...
Scientific and Engineering - Sea surface 1.0 It uses the Pierson-Moskowitz spectrum for the frequency/wave-number dependency and four different types of angular spreading like cosinus-squared, Mitsuyasu, Hasselmann and none. Requirements: - MATLAB 7 or higher

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts