Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers
Keywords:KRR: Logic Programming, KRR: Knowledge Representation Languages, KRR: Nonmonotonic Reasoning
AbstractIn this paper we introduce a simple way to evaluate epistemic logic programs by means of answer set programming with quantifiers, a recently proposed extension of answer set programming. The method can easily be adapted for most of the many semantics that were proposed for epistemic logic programs. We evaluate the proposed transformation on existing benchmarks using a recently proposed solver for answer set programming with quantifiers, which relies on QBF solvers.
How to Cite
Faber, W., & Morak, M. (2023). Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6322-6329. https://doi.org/10.1609/aaai.v37i5.25778
AAAI Technical Track on Knowledge Representation and Reasoning