Publication:3992826

From MaRDI portal


zbMath0675.68006MaRDI QIDQ3992826

David S. Touretzky

Publication date: 23 January 1993



68T99: Artificial intelligence

68-02: Research exposition (monographs, survey articles) pertaining to computer science


Related Items

A deductive clustering approach, An argument-based approach to reasoning with specificity, Skepticism and floating conclusions, Artificial nonmonotonic neural networks, Using approximate reasoning to represent default knowledge, A theory of nonmonotonic inheritance based on annotated logic, Locality in inheritance networks, The complexity of path-based defeasible inheritance, Order-sorted logic programming with predicate hierarchy, Formalizing nonmonotonic reasoning systems, On the relation between default and autoepistemic logic, Unification theory, Default reasoning in semantic networks: A formalization of recognition and inheritance, Nonmonotonic reasoning, preferential models and cumulative logics, Impediments to universal preference-based default theories, Hard problems for simple default logics, The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning, On the consistency of defeasible databases, Resolving ambiguity in nonmonotonic inheritance hierarchies, An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic, Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Semantic networks, Netl and subsequent path-based inheritance theories, Defeasible inheritance: A lattice based approach, Foliated semantic networks: Concepts, facts, qualities, Saying more with frames: Slots as classes, Selective inheritance of attribute values in relational databases, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, Structures for prioritized fusion of fuzzy information, Well-founded semantics and stratification for ordered logic programs, Moral dilemmas and nonmonotonic logic, Implementing specifications by dynamic inheritance, Inheritance systems with exceptions, Conditional logics of normality: A modal approach, On Stein's paper: Resolving ambiguity in nonmonotonic inheritance hierarchies, Exploiting the deep structure of constraint problems, From inheritance relation to nonaxiomatic logic, A set expression based inheritance system, Hybridizing nonmonotonic inheritance with theorem proving, Modal logic for default reasoning, Operational characterization of extensions in some logics for default reasoning, Fixed-parameter tractability of disjunction-free default reasoning, Dynamic reasoning with qualified syllogisms, Defeasible inheritance on cyclic networks, Explaining default intuitions using maximum entropy., Circumscriptive theories: A logic-based framework for knowledge representation, Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge, On the equivalence of upward and downward inheritance reasoners, Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets, A skeptical theory of inheritance in nonmonotonic semantic networks, Model-preference default theories, Defaults with priorities, Fuzzy extensions for relationships in a generalized object model, An algebraic structured model of formal knowledge representations (frames and rules), How Dirty Is Your Relational Database? An Axiomatic Approach