Ontic
<language> Object-oriented language for an inference system with a
Lisp-like appearance, but based on set theory.
["Ontic: A Knowledge Representation System for Mathematics", D.A. McAllester,
MIT Press 1989].
(1996-06-24)
Nearby terms:
On-line Process Synthesizer « Online Public Access
Catalog « On-Line Transaction Processing « Ontic
» onto » ontology » OnX
|
