Epistemic answer set programming

DOI10.1007/978-3-030-19570-0_40MaRDI QIDQ2296749zbMATH OpenOpenAlexFDO

Authors Ezgi Iraz Su

Publication date 18 February 2020

Full work available at URL https://oatao.univ-toulouse.fr/24979/1/su_24979.pdf

zbMATH Keywords

answer set programminganswer setsautoepistemic equilibrium modelsepistemic specificationsmodal logic \(\mathrm{S5}\)stable modelsworld views

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Refining the semantics of epistemic specifications
• Autoepistemic answer set programming
• About epistemic negation and world views in epistemic logic programs
• Evaluating epistemic negation in answer set programming
• Epistemic logic programs: a study of some properties

Cited in

(11)

• Autoepistemic equilibrium logic and epistemic specifications
• Epistemic logic programs: a study of some properties
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Evaluating epistemic negation in answer set programming
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• Epistemic logic programs: a different world view
• About epistemic negation and world views in epistemic logic programs
• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• Refining the semantics of epistemic specifications
• Epistemic logic programs: a study of some properties
• Splitting property for epistemic equilibrium logics

This page was built for publication: Epistemic answer set programming

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