Reasoner
The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language, an XML interface, and support for AI-related search and reasoning tasks such as scheduling, planning, diagnosis and predictive reasoning.
Platforms: Windows, Mac, Linux
License: Freeware | Size: 115 KB | Download (54): Common Lisp Reasoner Download |
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...
Platforms: Windows, Mac, *nix, C/C++, BSD Solaris
License: Freeware | Download (58): Discrete Event Calculus Reasoner Download |
Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection.It has implementations in Java, C#, Python, javascript and Prolog.Via N3 it is interoperable with W3C Cwm.
Platforms: Windows
License: Freeware | Size: 8.19 MB | Download (44): EulerSharp Download |