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].Last updated: 1996-06-24
Nearby terms:
Online Public Access Catalog ♦ On-Line Transaction Processing ♦ Ontic ♦ onto ♦ ontology
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
