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)

Mathematics Subject Classification ID

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

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

• 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?)
• 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
• 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)

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

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)