AAAI 2023technical4 citations
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers
Abstract
In 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.
BibTeX
@article{Faber_Morak_2023, title={Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers}, volume={37}, url={https://ojs.aaai.org/index.php/AAAI/article/view/25778}, DOI={10.1609/aaai.v37i5.25778}, abstractNote={In 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.}, number={5}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Faber, Wolfgang and Morak, Michael}, year={2023}, month={Jun.}, pages={6322-6329} }