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
Other editions - View all
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