Refining the semantics of epistemic specifications

DOI10.4204/eptcs.345.25MaRDI QIDQ6647309

Ezgi Iraz Su

Publication date: 3 December 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

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)

Epistemic logic programs: a study of some properties

This page was built for publication: Refining the semantics of epistemic specifications