Publication:3888567
From MaRDI portal
zbMath0444.68083MaRDI QIDQ3888567
Publication date: 1979
Press Series in Artificial Intelligence. Cambridge, Massachusetts; London: The MIT Press. X, 278 p., Index Pounds 11.40 (1979); real-world knowledge
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T99: Artificial intelligence
68P20: Information storage and retrieval of data
Related Items
The complexity of path-based defeasible inheritance, A formal model of diagnostic inference. II. Algorithmic solution and application, Connectionistic models of Boolean category representation, Formalizing nonmonotonic reasoning systems, Testing for class membership in multi-parent hierarchies, Default reasoning in semantic networks: A formalization of recognition and inheritance, Hard problems for simple default logics, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, Natural language syntax and first-order inference, Semantic networks, The ECO family, The KL-ONE family, Netl and subsequent path-based inheritance theories, Massively-parallel marker-passing in semantic networks, Structured connectionist models of semantic networks, Beyond is-a and part-whole: More semantic network links, Defeasible inheritance: A lattice based approach, Saying more with frames: Slots as classes, Inheritance systems with exceptions, A set expression based inheritance system, Hybridizing nonmonotonic inheritance with theorem proving, Dynamic reasoning with qualified syllogisms, Parallel pointer machines, A skeptical theory of inheritance in nonmonotonic semantic networks, Diagnostic problem-solving with causal chaining