Bilal, M., Ehrenmüller, K., Steindl, G., Zheng, Z., Ahmetaj, S., Soylu, A., Sallinger, E., & Kastner, W. (2026). Modeling State Causality in Energy Centred Cyber-Physical-Human Systems With OntoUML. IEEE Access, 14, 62435–62453. https://doi.org/10.1109/ACCESS.2026.3683445 ( reposiTUm)

Ahmetaj, S., David, R., Polleres, A., & Simkus, M. (2025). A Logic Programming Approach to Repairing SHACL Constraint Violations. Transactions on Graph Data and Knowledge, 3(3). https://doi.org/10.4230/TGDK.3.3.1 ( reposiTUm)

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)

Lasy, I., Knees, P., & Woltran, S. (2025). Understanding Verbatim Memorization in LLMs Through Circuit Discovery. In R. Jia, E. Wallace, Y. Huang, T. Pimentel, P. Maini, V. Dankers, J. T.-Z. Wei, & P. Lesci (Eds.), Proceedings of the First Workshop on Large Language Model Memorization (L2M2) (pp. 83–94). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.l2m2-1.7 ( 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)

Geibinger, T., Jaakkola, R., Kuusisto, A., Liu, X., & Vilander, M. (2025). Why This and Not That? A Logic-Based Framework for Contrastive Explanations. In G. Casini, B. Dundua, & T. Kutsia (Eds.), Logics in Artificial Intelligence : 19th European Conference, JELIA 2025, Kutaisi, Georgia, September 1–4, 2025, Proceedings, Part I (pp. 45–60). Springer. https://doi.org/10.34726/11634 ( reposiTUm)

Geibinger, T., Saribatur, 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)

Dvorak, W., Saribatur, Z. G., & Woltran, S. (2025). Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming. Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria. http://hdl.handle.net/20.500.12708/223665 ( reposiTUm)