Nested abnormality theories

DOI10.1016/0004-3702(95)98594-EMaRDI QIDQ1855215zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 4 February 2003

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(95)98594-E

Mathematics Subject Classification ID

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

Recommendations

• Complexity of propositional nested circumscription and nested abnormality theories
• Publication:3493308
• Value minimization in circumscription
• On the relationship between circumscription and negation as failure
• Circumscriptive semantics for updating knowledge bases

Cites work

• A Fixpoint Semantics for Ordered Logic
• A logical framework for default reasoning
• Addendum: Circumscription and other non-monotonic formalisms
• Equality and Domain Closure in First-Order Databases
• scientific article; zbMATH DE number 4174354 (Why is no real title available?)
• scientific article; zbMATH DE number 4104923 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140402 (Why is no real title available?)
• scientific article; zbMATH DE number 534879 (Why is no real title available?)
• scientific article; zbMATH DE number 1390364 (Why is no real title available?)
• Nonmonotonic reasoning in the framework of situation calculus
• On the Relationship Between Abduction and Deduction
• Two counterexamples related to Baker's approach to the frame problem

Cited in

(13)

• Formalizing narratives using nested circumscription
• The expressive power of circumscription
• Value minimization in circumscription
• Two counterexamples related to Baker's approach to the frame problem
• Representing action: indeterminacy and ramifications
• The Spatial Semantic Hierarchy
• Abductive reasoning through filtering
• scientific article; zbMATH DE number 4166923 (Why is no real title available?)
• Formalization of reasoning about default action (preliminary report)
• Complexity of propositional nested circumscription and nested abnormality theories
• Formalizing sensing actions -- a transition function based approach
• Towards a general theory of topological maps
• Reasoning under minimal upper bounds in propositional logic

This page was built for publication: Nested abnormality theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1855215)