A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming

DOI10.3233/FI-2020-1972zbMATH Open1497.68462MaRDI QIDQ4988944FDOQ4988944

Authors: Ezgi Iraz Su 

Publication date: 20 May 2021

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

Recommendations

• Autoepistemic logic
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• scientific article; zbMATH DE number 500200
• A monotonic view on reflexive autoepistemic reasoning
• Autoepistemic logic of knowledge and beliefs

zbMATH Keywords

answer set programmingequilibrium logicnonmonotonic reasoningKripke modelautoepistemic logicmonotonic modal logicminimal model semanticsepistemic specifications

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• Reasoning with knowledge and belief
• Strong backdoors for default logic
• Strong backdoors for default logic
• Refining the semantics of epistemic specifications
• Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
• A monotonic view on reflexive autoepistemic reasoning

This page was built for publication: A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming

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