scientific article

From MaRDI portal
Revision as of 15:08, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3992826

zbMath0675.68006MaRDI QIDQ3992826

David S. Touretzky

Publication date: 23 January 1993


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

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, Formalizing nonmonotonic reasoning systems, A set expression based inheritance system, A skeptical theory of inheritance in nonmonotonic semantic networks, Model-preference default theories, Floating conclusions and zombie paths: Two deep difficulties in the ``directly skeptical approach to defeasible inheritance nets, Hybridizing nonmonotonic inheritance with theorem proving, Modal logic for default reasoning, On the relation between default and autoepistemic logic, Defaults with priorities, Operational characterization of extensions in some logics for default reasoning, A deductive clustering approach, Logic Programming with Defaults and Argumentation Theories, Unification theory, Default reasoning in semantic networks: A formalization of recognition and inheritance, On the equivalence of upward and downward inheritance reasoners, Nonmonotonic inheritance, argumentation and logic programming, An algebraic structured model of formal knowledge representations (frames and rules), Defeasible inheritance with doubt index and its axiomatic characterization, Fixed-parameter tractability of disjunction-free default reasoning, Dynamic reasoning with qualified syllogisms, Defeasible inheritance on cyclic networks, How Dirty Is Your Relational Database? An Axiomatic Approach, Explaining default intuitions using maximum entropy., Nonmonotonic reasoning, preferential models and cumulative logics, Graded inheritance nets for knowledge representation, 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, Fuzzy extensions for relationships in a generalized object model, A theory of nonmonotonic inheritance based on annotated logic, Locality in inheritance networks, The complexity of path-based defeasible inheritance, 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, Metamodeling semantics of multiple inheritance, A Set-Theoretical Approach for the Induction of Inheritance Hierarchies, Using approximate reasoning to represent default knowledge, A mathematical treatment of defeasible reasoning and its implementation., An argument-based approach to reasoning with specificity, Skepticism and floating conclusions, Artificial nonmonotonic neural networks, Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB, Circumscriptive theories: A logic-based framework for knowledge representation, Inheritance comes of age: applying nonmonotonic techniques to problems in industry, Structures for prioritized fusion of fuzzy information, Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge, Well-founded semantics and stratification for ordered logic programs, Moral dilemmas and nonmonotonic logic, Policy-based inconsistency management in relational databases, Order-sorted logic programming with predicate hierarchy