Refining the semantics of epistemic specifications

DOI10.4204/EPTCS.345.25MaRDI QIDQ6647309zbMATH OpenFDO

Authors Ezgi Iraz Su

Publication date 3 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.345.25

Mathematics Subject Classification ID

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

Recommendations

• Epistemic answer set programming
• Autoepistemic answer set programming
• Autoepistemic equilibrium logic and epistemic specifications
• A parallel memory-efficient epistemic logic program solver: harder, better, faster
• Evaluating epistemic negation in answer set programming

Cites work

• A monotonic view on reflexive autoepistemic reasoning
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• All I know: A study in autoepistemic logic
• Autoepistemic answer set programming
• Autoepistemic equilibrium logic and epistemic specifications
• Epistemic answer set programming
• Equilibrium logic
• Evaluating epistemic negation in answer set programming
• Logic Programming and Nonmonotonic Reasoning
• Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16--19, 2011. 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.
• Logic programming and reasoning with incomplete information
• Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7--11, 2019. Proceedings
• New semantics for epistemic specifications
• Semantical considerations on nonmonotonic logic
• Semi-equilibrium models for paracoherent answer set programs

Cited in

(3)

• Epistemic answer set programming
• Epistemic logic programs: a study of some properties
• Splitting property for epistemic equilibrium logics

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

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