Login/Register to vote and to have access to more featuresYou are here: Root > By License > Open Source > LGPL
View the dependency graph for this libraryKM: The Knowledge Machine
Created by FrancisLeboutte on: Tue, 18 Apr 2006 15:54:31 GMT, Last modification: Tue, 18 Apr 2006 15:54:31 GMT
KM is a powerful, frame-based knowledge representation language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism. Its origins were the Theo language and the (now obsolete) language KRL.
| Web site | http://www.cs.utexas.edu/users/mfkb/km/ |
| Mailing list | |
| Version | - |
| Maturity | Mature |
| OS compatibility | All |
| ASDF installable | No |
| Official Download | |
| Mirrored Download | |
| Source code repository |
Tags
LGPL | Open Source | Expert Systems | Artificial Intelligence | Common Lisp | Applications
See Also
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment