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