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].



< Previous Terms Terms Containing Ontic Next Terms >
On-Line Computer system
Online Media
On-line Process Synthesizer
Online Public Access Catalog
On-Line Transaction Processing
 Ontic
 onto
ontology
OnX
OO
OOA