What people are saying - Write a review
We haven't found any reviews in the usual places.
List of Figures
Representation and Management of Knowledge
11 other sections not shown
ABox abstraction androle Artificial Intelligence assertional assume atleast atmost atomic concept atomic terms belief revision Binary-tree Brachman Brachman and Levesque closed theories complete complete lattices computational defined definition deleted denote disjoint epistemic epistemic relevance extension function finite first-order predicate logic Furthermore Gardenfors greatest fixed point Human hybrid immediate subsumption implementation inference algorithm instance intuitive justifications KANDOR KL-ONE knowledge representation language least fixed point Lemma logic meaning model-theoretic Modern-team NDFA Nebel nodes non-inclusion situation nonmonotonic NP-complete number restrictions obvious p-terms Patel-Schneider possible primitive assignment primitive components primitive concept problem propositions representation formalism representation system restriction-circular concepts result revision operation role role-chain role-fillers Schmolze semantic networks semantic structure Small-team subexpression subset subsumed subsumption relation subsumption relationships TBox Technische Universitat Berlin term introduction term-forming term-subsumption terminological cycles terminological formalism terminological knowledge base terminological representation terminology Theorem theory change TSUB value restriction West Germany world description