Eiter, T., & Geibinger, T. (2025). A Sequent Calculus for Answer Set Entailment. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 4463–4472). https://doi.org/10.24963/ijcai.2025/497 ( reposiTUm)

Lopez-Miguel, I. D., Adam, S. P., Bartocci, E., Eiter, T., & Tappler, M. (2025). OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. In ECAI 2025 : 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy : Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) (pp. 3315–3322). https://doi.org/10.3233/FAIA251200 ( reposiTUm)

Geibinger, T., Saribatur Yaman, Z. G., & Woltran, S. (2025). A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. In I. Lynce, N. Murano, M. Vallati, & S. Villata (Eds.), ECAI 2025 : 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy : Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025) (pp. 1535–1542). IOS Press. https://doi.org/10.3233/FAIA250977 ( reposiTUm)

Beiser, A., Penz, D., & Musliu, N. (2025). Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning. In D. Chaves-Fraga, I. Heibi, D. Garijo, D. Collarana, A. Salatino, & S. Vahdati (Eds.), Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 21st International Conference on Semantic Systems co-located with 21st International Conference on Semantic Systems (SEMANTiCS 2025). CEUR. ( reposiTUm)