KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.It has first-order logic semantics, and includes machinery for reasoning, including selection by description, unification, classification, and reasoning about actions. Its origins were the Theo language and KRL, and is implemented in Lisp.
| Attributes | Values |
|---|
| rdfs:comment
| - KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.It has first-order logic semantics, and includes machinery for reasoning, including selection by description, unification, classification, and reasoning about actions. Its origins were the Theo language and KRL, and is implemented in Lisp.
|
| foaf:name
| |
| influenced by
| |
| is influenced
of | |
Faceted Search & Find service v1.13.91 as of Nov 14 2017
OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software