Nested abnormality theories

DOI10.1016/0004-3702(95)98594-EzbMath1013.68554MaRDI QIDQ1855215

Vladimir Lifschitz

Publication date: 4 February 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70)

Related Items

Two counterexamples related to Baker's approach to the frame problem, Reasoning under minimal upper bounds in propositional logic, Representing action: indeterminacy and ramifications, Formalization of reasoning about default action (preliminary report), Formalizing sensing actions -- a transition function based approach, Formalizing narratives using nested circumscription, The expressive power of circumscription, Value minimization in circumscription, The Spatial Semantic Hierarchy, Abductive reasoning through filtering, Towards a general theory of topological maps

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical framework for default reasoning
• Addendum: Circumscription and other non-monotonic formalisms
• Nonmonotonic reasoning in the framework of situation calculus
• Two counterexamples related to Baker's approach to the frame problem
• A Fixpoint Semantics for Ordered Logic
• On the Relationship Between Abduction and Deduction
• Equality and Domain Closure in First-Order Databases