Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers

Authors

  • Wolfgang Faber University of Klagenfurt, Austria
  • Michael Morak University of Klagenfurt, Austria

DOI:

https://doi.org/10.1609/aaai.v37i5.25778

Keywords:

KRR: Logic Programming, KRR: Knowledge Representation Languages, KRR: Nonmonotonic Reasoning

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.
AAAI-23 Proceedings Cover

Downloads

Published

2023-06-26

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

Issue

Vol. 37 No. 5: AAAI-23 Technical Tracks 5

Section

AAAI Technical Track on Knowledge Representation and Reasoning