 |
 |
|
|
|
Download
|
Download Now (0K) Common Public License Downloads till now: 2 |
Quick search
Rate this software
No. Votes
0
Linux
Archeology, Artificial Intelligence , Astronomy , Bioinformatics , Chemistry , Electronic Design Automation (, Electronic Design Automation (EDA) , Geographical , Image Recognition , Mathematics , Medical Science Apps. , Neuroscience , Visualization ,Windows
Mac
Mobile
Drivers
Scripts - DHTML
Scripts - DHTML (new)Web Developer Blog
Web Developer Blog (new)Scripts and Applications
AjaxASP
ASP.NET
C and C++
CFML
CGI and Perl
Flash
Java
JavaScript
PHP
Python
XML
Discrete Event Calculus Reasoner
Details
| Size: | 0K |
| Last Update: | 2008-05-29 20:59:03 |
| Version: | 1.0 |
| OS Support: | Linux |
| License/Program Type: | Common Public License |
| Publisher: | Erik T. Mueller |
| Price: | $0.00 |
Discrete Event Calculus Reasoner 1.0 is artificial intelligence software developed by Erik T. Mueller.
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.
Discrete Event Calculus Reasoner solves problems efficiently by converting them into satisfiability (SAT) problems.
Here are some key features of "Discrete Event Calculus Reasoner":
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
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
Released under the Common Public License v1.0
Requirements:
The Discrete Event Calculus Reasoner requires Linux or Windows+Cygwin, Python, PLY, and one or more SAT solvers: Relsat (recommended), Walksat, and MiniSat.
Discrete Event Calculus Reasoner 1.0 supports different languages (including english). It works with Linux.
Downloading Discrete Event Calculus Reasoner 1.0 will take if you use fast ADSL connection.
0 comments
Add to
Discrete Event Calculus Reasoner Version History
| Product | Date Added |
|---|---|
| Discrete Event Calculus Reasoner 1.0 | 2008-05-29 20:59:03 |
Related Software
CLC Combined Workbench |
From category: Bioinformatics |
| CLC Combined Workbench 2.1 is bioinformatics software developed by CLC bio A/S. CLC Combined Workbench creates a software environment enabling users to make a large number of advanced protein seque... | |
Coyotl |
From category: Mathematics |
| Coyotl 3.1.0 is mathematics software developed by Scott Robert Ladd. The Coyotl library defies easy classification much like it\'s namesake. Coyotl collects several C++ tools that have proven usefu... | |
Anagram Solver 0.1 |
From category: Mathematics |
| Anagram Solver 0.1 is mathematics software developed by Tim Harper. Anagram Solver is a simple anagram solver program. You can use it against any spelling dictionary that is formatted: \... | |
Equation Grapher 20050225 |
From category: Mathematics |
| Equation Grapher 20050225 is mathematics software developed by Yury Sulsky. Equation Grapher is a 2D implicit equation grapher. Equation Grapher allows you to plot equations of the form f(x,y) =... | |
LayoutEditor |
From category: Electronic-Design-Automation-EDA |
| LayoutEditor is a program to design and edit layouts for MEMS/IC fabrication.... | |
ChomboVis |
From category: Visualization |
| ChomboVis 4.16.9 is visualization software developed by ChomboVis Development Team. ChomboVis is a program for visualization of 3D and 2D AMR data sets. ChomboVis is provided as a full open-... | |
calc.pl 061107 |
From category: Mathematics |
| calc.pl 061107 is mathematics software developed by Jaromir Mrazek. calc.pl is a download-and-use terminal calculator. It is handy, easily extendable, and tape-like. It comes with most of the usual... | |
galculator |
From category: Mathematics |
| galculator 1.2.5.2 is mathematics software developed by Simon Floery. galculator is a GTK 2 based calculator with ordinary notation/reverse polish notation, a formula entry mode, different number b... | |
DX Toolbox |
From category: Geographical |
| DX Toolbox 2.4.0 is geographical software developed by Black Cat Systems. DX Toolbox searches the web for you, gathering information on solar and geomagnetic conditions that affect radio propagatio... | |
MESH |
From category: Mathematics |
| MESH is a tool that measures distortion between two discrete surfaces (triangular meshes).... | |
MPFI |
From category: Mathematics |
| MPFI it&039;s a multiple precision interval arithmetic library based on MPFR.... | |
Alliance CAD System 5.0 |
From category: Electronic-Design-Automation |
| Alliance CAD System 5.0 is electronic design automation ( software developed by LIP6 ASIM TEAM. Alliance is a complete set of free CAD tools and portable libraries for VLSI design. Alliance CAD Sys... | |
FrAid |
From category: Mathematics |
| FrAid is an interface to Java for math processing and a complete Matlab-like system.... | |
A practical lambda-calculator 2.2 |
From category: Mathematics |
| A practical lambda-calculator 2.2 is mathematics software developed by Oleg. A practical lambda-calculator is a normal-order evaluator for the untyped lambda-calculus, extended with convenient comm... | |
Adun 0.6 |
From category: Bioinformatics |
| Adun 0.6 is bioinformatics software developed by The Adun developers. Adun project is an extensible biomolecular simulation program that includes data management and analysis capabilities. A... | |
Top Downloads
17. SendSong
20. We iSMS
DownloadTube Editor Reviews
| 1. Able Fax Tif View |
| Able Fax Tif View is a FAX, TIF, PDF, EPS, PS, AI, DCX, DICO... |
| 2. Access Manager for Windows |
| Access Manager for Windows is a feature-rich software that a... |
| 3. Vista User Time Manager |
| Vista User Time Manager is a powerful software that enables ... |
| 4. River Past Video Cleaner |
| River Past Video Cleaner is an easy-to-use, flexible, powerf... |
| 5. Tube Explorer Lite |
| Tube Explorer Lite is a smart tool that will help you browse... |
| 6. Convert MPEG To WMV |
| EZ MPEG To WMV Converter is an easy to use video conversion ... |
| 7. Convert Video To AVI |
| EZ Video TO AVI Converter has a powerful media conversion en... |
| 8. A-one Video Convertor |
| A-one video converter is a powerful tool that offers you an ... |
| 9. ALPass |
| ALPass is a smart tool that allows you to automatically logi... |
| 10. Smart Pix Manager |
| Smart Pix Manager is a powerful, feature-rich and user-frien... |
Software Reviews Full List
Recent Blog Posts
| 1. Google Chrome – It’s Finally Here. Will A Revolution Begin? |
| First, it was the rumors. Then, Google announced it official... |
| 2. An Amazing Free Document Processing Software: LyX |
| The documents management task could be difficult in absence ... |
| 3. DownloadTube Toolbar is Available For Free Download |
| Recently, we have made available for free download the Dow... |
| 4. A Revolution in Web Browsing: The New Firefox 3.1b1 Already Beats All Speed Records |
| The latest beta1 release of Mozilla Firefox 3.1 shows majo... |
| 5. Some Little, Nice, Freeware Tools You May Never Know When You'll Need |
| This time I won’t speak about a single freeware program that... |
| 6. How To Increase The Quality of Your News Articles For Search Engine Spiders |
| The process of articles publishing is a common practice to... |
| 7. Digg in Press: Tips and Opinions |
| Regarding Digg social bookmarking service there are many a... |
| 8. Ubuntu Linux and Windows Can Share The Desktop In Absence Of Virtual Machines |
| Many people asked themselves how to run Ubuntu Linux and W... |
| 9. 2.5 Millions Downloads for FireTune: It Makes Mozilla Firefox To Run With The Speed of Light |
| It is well known the fact that even the latest version of M... |
| 10. Image Galleries on Autopilot: Instant Gallery Maker |
| The creation of image galleries ready for web publishing... |
Last 20 Scripts
| 1. Azure CMS |
| Azure CMS is a universal software product for the developmen |
| 2. Azure Portal |
| Azure Portal is a social networking script made with PHP pro |
| 3. One Frog |
| One Frog is a content management system that allows you to u |
| 4. Cigmas CMS |
| Cigmas CMS is a powerful web content management system for g |
| 5. WebWord CMS |
| WebWord CMS is a full featured web content management system |
| 6. Marjetica Content Management System |
| Marjetica Content Management System is a powerful, easy to u |
| 7. Phenotype CMS |
| Phenotype CMS is a PHP/MySQL - Smarty Content Application Fr |
| 8. Chupix CMS |
| Chupix is a content management system written in PHP and sto |
| 9. Interspire Website Publisher |
| Interspire Website Publisher (formerly ArticleLive) is a con |
| 10. Interspire Email Marketer |
| Interspire Email Marketer (formerly SendStudio) is a web bas |
| 11. Comments RAM |
| Comments RAM is a lightweight PHP script that allows you to |
| 12. KoolAjax |
| KoolAjax facilitates data exchange between server-side and c |
| 13. KoolTreeView |
| KoolTreeView is a unique treeview control for PHP. |
| 14. petitforum |
| This is a little discussion board which does not use MySQL a |
| 15. eliteCMS |
| Elite CMS is an ideal content management system for a small |
| 16. TotalW |
| TotalW is a simple to install and use file manager written i |
| 17. alizer |
| alizer is a PHP script that analyzes the Apache log file.It |
| 18. dpDebug 2 |
| dpDebug 2 allows you to track down any problem with certain |
| 19. Projector |
| Projector is a very simple project management system that is |
| 20. Ticket Support System |
| Ticket Support System is an online PHP / MySQL based script |
Leave a comment