Refining the semantics of epistemic specifications
From MaRDI portal
Publication:6647309
DOI10.4204/eptcs.345.25MaRDI QIDQ6647309
Publication date: 3 December 2024
Cites Work
- Semi-equilibrium models for paracoherent answer set programs
- Evaluating epistemic negation in answer set programming
- Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. Proceedings
- Equilibrium logic
- Semantical considerations on nonmonotonic logic
- Logic programming and reasoning with incomplete information
- Autoepistemic answer set programming
- All I know: A study in autoepistemic logic
- Epistemic answer set programming
- Autoepistemic equilibrium logic and epistemic specifications
- Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7--11, 2019. Proceedings
- Logic programming and nonmonotonic reasoning. 14th international conference, LPNMR 2017, Espoo, Finland, July 3--6, 2017. Proceedings
- Logic programming and nonmonotonic reasoning. 8th international conference, LPNMR 2005, Diamante, Italy, September 5--8, 2005. Proceedings.
- A monotonic view on reflexive autoepistemic reasoning
- New Semantics for Epistemic Specifications
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
- Logic Programming and Nonmonotonic Reasoning
Related Items (1)
This page was built for publication: Refining the semantics of epistemic specifications