Wolfgang Faber 0001, Michael Morak. Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. In Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Marco Maratea, Giorgio Terracina, Mauro Vallati, editors, Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022. Volume 3281 of CEUR Workshop Proceedings, pages 78-89, CEUR-WS.org, 2022. [doi]
Abstract is missing.