Formalizing nonmonotonic reasoning systems
From MaRDI portal
Publication:1099647
DOI10.1016/0004-3702(87)90081-6zbMath0638.68100OpenAlexW2029246084MaRDI QIDQ1099647
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90081-6
extensionnonmonotonic reasoningoraclesemantic networkstruth maintenance systemsinheritance networks with exceptionslogic for default reasoningsemi-normal default theories
Related Items
Inheritance systems with exceptions, Operational concepts of nonmonotonic logics. I: Default logic, Default theories that always have extensions, Alternative approaches to default logic, A tableau prover for domain minimization, Tableau-based characterization and theorem proving for default logic, Defaults as restrictions on classical Hilbert-style proofs, Modal logic based theory for non-monotonic reasoning, Formalizing nonmonotonic reasoning systems, A theory of nonmonotonic rule systems. II, A skeptical theory of inheritance in nonmonotonic semantic networks, Modal logic for default reasoning, A logical framework for default reasoning, The anomalous extension problem in default reasoning, Outlier detection using default reasoning, Nonmonotonic logic and temporal projection, Ordered seminormal default theories and their extensions, Rethinking specificity in defeasible reasoning and its effect in argument reinstatement, Default reasoning using classical logic, New proofs in default logic theory, A sphere world semantics for default reasoning, Fixed-parameter tractability of disjunction-free default reasoning, Defeasible inheritance on cyclic networks, The theory of nomic probability, Nonmonotonicity and the scope of reasoning, Resolving ambiguity in nonmonotonic inheritance hierarchies, An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic, How to reason defeasibly, Unnamed Item, Defeasible inheritance: A lattice based approach, Saying more with frames: Slots as classes, Unnamed Item, Relating minimal models and pre-requisite-free normal defaults, A survey of non-monotonic reasoning, Artificial nonmonotonic neural networks, Reasoning with vague default, Is default logic a reinvention of inductive-statistical reasoning?, Prioritized logic programming and its application to commonsense reasoning, Alternative foundations for Reiter's default logic, REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗, Yet some more complexity results for default logic
Cites Work
