A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

DOI10.3233/FI-2020-1972zbMath1497.68462MaRDI QIDQ4988944

Ezgi Iraz Su

Publication date: 20 May 2021

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

autoepistemic logicKripke modelnonmonotonic reasoninganswer set programmingequilibrium logicmonotonic modal logicminimal model semanticsepistemic specifications

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Minimal knowledge problem: A new approach
• Minimal belief and negation as failure
• All I know: A study in autoepistemic logic
• Epistemic answer set programming
• Autoepistemic equilibrium logic and epistemic specifications
• A monotonic view on reflexive autoepistemic reasoning
• Capturing equilibrium models in modal logic
• Autoepistemic logic revisited
• On embedding default logic into Moore's autoepistemic logic
• Combining Equilibrium Logic and Dynamic Logic
• New Semantics for Epistemic Specifications
• Relating only knowing to minimal belief and negation as failure
• The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Minimal Knowledge and Belief via Minimal Topology

This page was built for publication: A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming