Epistemic answer set programming
From MaRDI portal
Publication:2296749
DOI10.1007/978-3-030-19570-0_40OpenAlexW2944481923MaRDI QIDQ2296749
Publication date: 18 February 2020
Full work available at URL: https://oatao.univ-toulouse.fr/24979/1/su_24979.pdf
answer set programmingstable modelsanswer setsepistemic specificationsautoepistemic equilibrium modelsmodal logic \(\mathrm{S5}\)world views
Related Items (4)
About Epistemic Negation and World Views in Epistemic Logic Programs ⋮ Epistemic logic programs: a study of some properties ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming
This page was built for publication: Epistemic answer set programming
