Ilievski, F., Hammer, B., van Harmelen, F., Paassen, B., Saralajew, S., Schmid, U., Biehl, M., Bolognesi, M., Dong, X. L., Gashteovski, K., Hitzler, P., Marra, G., Minervini, P., Mundt, M., Ngonga Ngomo, A.-C., Oltramari, A., Pasi, G., Saribatur, Z. G., Serafini, L., … Villmann, T. (2025). Aligning generalization between humans and machines. Nature Machine Intelligence, 7, 1378–1389. https://doi.org/10.1038/s42256-025-01109-4 ( reposiTUm)

Dvořák, W., Saribatur, Z. G., & Woltran, S. (2026). Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (pp. 289–293). IJCAI Organization. https://doi.org/10.24963/kr.2026/27 ( reposiTUm)

Knorr, M., Saribatur, Z. G., & Goncalves, R. (2026). Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before. In Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning (pp. 412–422). IJCAI Organization. https://doi.org/10.24963/kr.2026/39 ( reposiTUm)

Geibinger, T., & Saribatur, Z. G. (2025). What Can We Explain in Answer Set Programming? In Proceedings of the 6th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2025). The 6th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2025), Melbourne, Australia. http://hdl.handle.net/20.500.12708/223669 ( 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)

Saribatur, Z. G., Langer, J., & Schmid, U. (2025). Effect of Abstraction on Understandability of ASP Explanations: Work in Progress. In Proceedings of the 8th Workshop on Trends and Applications of Answer Set Programming 2025. Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Vienna, Austria. http://hdl.handle.net/20.500.12708/223746 ( reposiTUm)

Saribatur, Z. G., Langer, J., Thaler, A. M., & Schmid, U. (2025). Towards Observing the Effect of Abstraction on Understandability of Explanations in Answer Set Programming. In T. Braun, B. Paaßen, & F. Stolzenburg (Eds.), KI 2025: Advances in Artificial Intelligence : 48th German Conference on AI : Proceedings (pp. 236–243). Springer. https://doi.org/10.34726/11667 ( 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)

Saribatur, Z. G., & Woltran, S. (2024). A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 10687–10695). https://doi.org/10.1609/aaai.v38i9.28940 ( reposiTUm)

Apostolakis, I., Saribatur, Z. G., & Wallner, J. P. (2024). Abstracting Assumptions in Structured Argumentation. In AAMAS ’24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (pp. 2132–2134). https://doi.org/10.5555/3635637.3663084 ( reposiTUm)

Saribatur, Z. G., Knorr, M., Goncalves, R., & Leite, J. (2024). On Abstracting over the Irrelevant in Answer Set Programming. In Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (pp. 654–664). https://doi.org/10.24963/kr.2024/61 ( reposiTUm)

Apostolakis, I., Saribatur, Z. G., & Wallner, J. (2024). Abstraction in Assumption-based Argumentation. In Proceedings of the Twenty First International Conference on Principles of Knowledge Representation and Reasoning (pp. 49–59). https://doi.org/10.24963/kr.2024/5 ( reposiTUm)

Apostolakis, I., Saribatur, Z. G., & Wallner, J. (2024). A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. In Logic Programming and Nonmonotonic Reasoning (pp. 228–234). Springer. https://doi.org/10.1007/978-3-031-74209-5_18 ( reposiTUm)