Directory | Tags | Index | LinkIt | Submit   | Help
    Sunday, 23 September 2018 - 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.

Web site
Mailing list
Version -
OS compatibilityAll
ASDF installableNo
Official Download
Mirrored Download
Source code repository


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


You must be logged to add a comment