A decision method for nonmonotonic reasoning based on autoepistemic reasoning

DOI10.1007/BF00883929zbMath0826.03007MaRDI QIDQ1891263

Ilkka Niemelä

Publication date: 30 May 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicautoepistemic logicdefault logicconflict resolutionpolynomial spacedecision procedurebelief operator

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items

Prolog technology for default reasoning: proof theory and compilation techniques ⋮ A uniform tableaux method for nonmonotonic modal logics

Cites Work

• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logical framework for default reasoning
• A logic for default reasoning
• Hard problems for simple default logics
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
• A rational reconstruction of nonmonotonic truth maintenance systems
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Complexity Results for Nonmonotonic Logics
• Modal nonmonotonic logics
• Autoepistemic logic
• The complexity of logic-based abduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item