Publication:5740435
From MaRDI portal
zbMath1341.68228MaRDI QIDQ5740435
Hector J. Levesque, R. J. Brachman
Publication date: 26 July 2016
first-order logic; knowledge representation; frames; databases; semantic networks; complexity of reasoning; description subsumption
Related Items
Building Theorem Provers, Parsing and Disambiguation of Symbolic Mathematics in the Naproche System, Consistency checking reduced to satisfiability of concepts in terminological systems, Using automata theory for characterizing the semantics of terminological cycles, The F-logic approach for description languages, Human rationality challenges universal logic, Description Logics