Directory | Tags | Index | LinkIt | Submit   | Help
    Monday, 15 September 2014 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By License > Open Source > LGPL

View the dependency graph for this library

KM: 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.

eMail
Web sitehttp://www.cs.utexas.edu/users/mfkb/km/
Mailing list
Version -
MaturityMature
OS compatibilityAll
ASDF installableNo
Official Download
Mirrored Download
Source code repository

Tags

LGPL | Open Source | Expert Systems | Artificial Intelligence | Common Lisp | Applications

See Also

KMgen

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