A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
From MaRDI portal
Publication:4988944
DOI10.3233/FI-2020-1972zbMATH Open1497.68462MaRDI QIDQ4988944FDOQ4988944
Publication date: 20 May 2021
Published in: Fundamenta Informaticae (Search for Journal in Brave)
answer set programmingequilibrium logicnonmonotonic reasoningKripke modelautoepistemic logicmonotonic modal logicminimal model semanticsepistemic specifications
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modal logic
- Knowledge Representation, Reasoning and Declarative Problem Solving
- 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
- On embedding default logic into Moore's autoepistemic logic
- Minimal belief and negation as failure
- Minimal knowledge problem: A new approach
- Relating only knowing to minimal belief and negation as failure
- Autoepistemic logic revisited
- Capturing equilibrium models in modal logic
- 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 (3)
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)
