Summer 2027

• Project in Computer Science 1 / 192.021 PR
• Project in Computer Science 2 / 192.022 PR

Winter 2026

• Bachelor Thesis / 184.691 PR
• Bachelor Thesis for Computer Science and Business Informatics / 184.713 PR
• Introduction to Knowledge-based Systems / 192.023 VU
• Project in Computer Science 1 / 192.021 PR
• Project in Computer Science 2 / 192.022 PR
• Project in Logic and Artificial Intelligence 1 / 192.192 PR
• Project in Logic and Artificial Intelligence 2 / 192.193 PR
• Scientific Research and Writing / 193.052 SE
• Seminar for Master Students in Software Engineering (Foundations, Logic, and Security) Areas: Algorithms and Complexity; Verification and Automated Reasoning; Logic and Knowledge Representation; Security and Privacy / 180.010 SE

• LAGER: Learning Abstractions for Generalized Reasoning in AI
  2026 – 2029 / Vienna Science and Technology Fund (WWTF) / Publications (6)
• AURA: Abstraction for Understandability of Reasoning in AI
  2022 – 2026 / Austrian Science Fund (FWF) / Publications (17)

2026

• 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. Peer-reviewed.
  DOI: 10.24963/kr.2026/39 / Projects: AURA, LAGER
• 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. Peer-reviewed.
  DOI: 10.24963/kr.2026/27 / Projects: AURA, BILAI, LAGER
• Saribatur, Z. G., Langer, J., Schmid, U. (2026). The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding. In Proceedings of the 48th Annual Conference of the Cognitive Science Society (pp. 91–98). Peer-reviewed.
  HDL: 20.500.12708/230819 / Project: AURA
• Eiter, T., Geibinger, T., Saribatur, Z. G. (2026). An XAI View on Explainable ASP: Methods, Systems, and Perspectives. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (pp. 7835–7844). Peer-reviewed.
  DOI: 10.24963/ijcai.2026/870 / Projects: AURA, BILAI, LAGER
• Saribatur, Z. G., Hecher, M., Fichte, J. K. (2026). Abstracting the Indistinguishable in ASP. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (pp. 4044–4053). Peer-reviewed.
  DOI: 10.24963/ijcai.2026/450 / Projects: AURA, LAGER
• Saribatur, Z. G. (2026). Towards Reasonable AI: Foundations for Abstraction and Generalized Reasoning. In Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (pp. 8197–8202). Invited and peer-reviewed.
  DOI: 10.24963/ijcai.2026/912 / Projects: AURA, LAGER

2025

• 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.
  HDL: 20.500.12708/223669 / Project: AURA
• 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. Peer-reviewed.
  DOI: 10.34726/11667 / Download: PDF / Project: AURA
• 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. Peer-reviewed.
  DOI: 10.1038/s42256-025-01109-4 / Project: AURA
• 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, F. Chesani, M. Milano, A. Omicini, M. Dastani (Eds.), ECAI 2025 (pp. 1535–1542). IOS Press. Peer-reviewed.
  DOI: 10.3233/FAIA250977 / Download: PDF / Projects: AURA, BILAI
• 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. Peer-reviewed.
  HDL: 20.500.12708/223746 / Project: AURA
• 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. Peer-reviewed.
  HDL: 20.500.12708/223665 / Projects: AURA, BILAI

2024

• 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). Peer-reviewed.
  DOI: 10.1609/aaai.v38i9.28940 / Projects: HYPAR, REVEAL-AI, AURA
• 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). Peer-reviewed.
  DOI: 10.24963/kr.2024/5 / Project: AURA
• 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). Peer-reviewed.
  DOI: 10.24963/kr.2024/61 / Project: AURA
• 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. Peer-reviewed.
  DOI: 10.1007/978-3-031-74209-5_18 / Project: AURA
• 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). Peer-reviewed.
  DOI: 10.5555/3635637.3663084 / Project: AURA

2023

• Saribatur, Z. G., Woltran, S. (2023). Foundations for Projecting Away the Irrelevant in ASP Programs. In P. Marquis, T. C. Son, G. Kern-Isberner (Eds.), Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (pp. 614–624). IJCAI Organization.
  DOI: 10.24963/kr.2023/60

2022

• Saribatur, Z. G., Eiter, T., Schüller, P. (2022). Abstraction for Non-Ground Answer Set Programs (Extended Abstract). In Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (pp. 5767–5771). Invited and peer-reviewed.
  DOI: 10.24963/ijcai.2022/807

2021

• Saribatur, Z. G., Eiter, T., Schüller, P. (2021). Abstraction for non-ground answer set programs. Artificial Intelligence, 300(103563), 103563. Peer-reviewed.
  DOI: 10.1016/j.artint.2021.103563 / Projects: DK - Logic, AI4EU, HumanE-AI-Net
• SARIBATUR, Z. G., EITER, T. (2021). Omission-Based Abstraction for Answer Set Programs - ERRATUM. Theory and Practice of Logic Programming, 21(2), 292–292.
  DOI: 10.1017/s1471068420000125
• Saribatur, Z. G., Wallner, J. P. (2021). Existential Abstraction on Argumentation Frameworks via Clustering. In Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning (pp. 549–559).
  DOI: 10.24963/kr.2021/52

2020

• Saribatur, Z. G. (2020). Abstraction for ASP Planning. In G. De Giacomo (Ed.), ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) (pp. 2933–2934). IOS Press - Frontiers in Artificial Intelligence and Applications. Peer-reviewed.
  HDL: 20.500.12708/55562
• Saribatur, Z. G. (2020). Towards Comprehensible ASP Reasoning by Means of Abstraction. In KR 2020 Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) (pp. 1–6). Peer-reviewed.
  HDL: 20.500.12708/55563
• Saribatur, Z. G., Wallner, J. P., Woltran, S. (2020). Explaining Non-Acceptability in Abstract Argumentation. In G. De Giacomo (Ed.), Proceedings ECAI (pp. 881–888). IOS Press. Peer-reviewed.
  HDL: 20.500.12708/58147 / Projects: START, DK - Logic
• Saribatur, Z. G., Eiter, T. (2020). A Semantic Perspective on Omission Abstraction in ASP. In D. Calvanese E. Erdem (Eds.), Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization. Peer-reviewed.
  DOI: 10.24963/kr.2020/75
• Saribatur, Z. G., Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. Theory and Practice of Logic Programming, 21(2), 145–195. Peer-reviewed.
  DOI: 10.1017/s1471068420000095
• Saribatur, Z. G., Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. arXiv.
  DOI: 10.48550/arXiv.2004.01410

2019

• Saribatur, Z. G., Eiter, T., Schüller, P. (2019). Abstraction for Non-Ground Answer Set Programs (LOGCOMP RR-1923-19-01).
  HDL: 20.500.12708/39887 / Project: AI4EU
• Saribatur, Z. G., Schüller, P., Eiter, T. (2019). Abstraction for Non-ground Answer Set Programs. In F. Calimeri, N. Leone, M. Manna (Eds.), Logics in Artificial Intelligence (pp. 576–592). Springer LNCS. Peer-reviewed.
  DOI: 10.1007/978-3-030-19570-0_38 / Project: DynaCon
• Eiter, T., Saribatur, Z. G., Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. In Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence (pp. 7–13). Peer-reviewed.
  HDL: 20.500.12708/57937
• Eiter, T., Saribatur, Z. G., Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). In 3rd Workshop on Trends and Applications of Answer Set Programming (p. 2). 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019). Peer-reviewed.
  HDL: 20.500.12708/58339
• Saribatur, Z. G., Patoglu, V., Erdem, E. (2019). Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories. Autonomous Robots, 43(1), 213–238. Peer-reviewed.
  DOI: 10.1007/s10514-018-9721-x

2018

• Saribatur, Z. G., Schüller, P., Eiter, T. (2018). Abstraction for Non-Ground Answer Set Programs. In 2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018). 2nd Workshop on Trends and Applications of Answer Set Programming 2018, Wien, Austria. Peer-reviewed.
  HDL: 20.500.12708/57536 / Project: DynaCon
• Saribatur, Z. G., Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs (LOGCOMP RR-1923-18-06).
  HDL: 20.500.12708/39631
• Saribatur, Z. G., Eiter, T. (2018). Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. In Workshop on Answer Set Programming and Other Computing Paradigms. 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP’18), Oxford, United Kingdom of Great Britain and Northern Ireland (the).
  HDL: 20.500.12708/56703
• Saribatur, Z. G., Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning. 16th International Conference on Principles of Knowledge Representation and Reasoning - KR 2018, Tempe, United States of America (the). AAAI Press. Peer-reviewed.
  HDL: 20.500.12708/57590

2017

• Saribatur, Z. G., Baral, C., Eiter, T. (2017). Reactive Maintenance Policies over Equalized States in Dynamic Environments. In E. Oliveira, J. Gama, Z. Vale, H. L. Cardoso (Eds.), Progress in Artificial Intelligence : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings. Springer Cham.
  DOI: 10.1007/978-3-319-65340-2_58 / Download: PDF

2016

• Saribatur, Z. G., Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In L. Michael A. Kakas (Eds.), Logics in Artificial Intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings (pp. 463–480). Springer.
  DOI: 10.1007/978-3-319-48758-8_30 / Download: PDF
• Saribatur, Z. G., Eiter, T. (2016). Reactive Policies with Planning for Action Languages. In G. Kern-Isberner R. Wassermann (Eds.), Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (pp. 143–152). Peer-reviewed.
  HDL: 20.500.12708/56763
• Saribatur, Z. G. (2016). Reactive Policy Checking for Action Languages. In S. Kambhampati (Ed.), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (pp. 4024–4025). IJCAI/AAAI Press. Peer-reviewed.
  HDL: 20.500.12708/56816

2015

• Erdem, E., Patoglu, V., Saribatur, Z. G. (2015). Diagnostic Reasoning for Robotics Using Action Languages. In F. Calimeri, G. Ianni, M. Truszczynski (Eds.), Logic Programming and Nonmonotonic Reasoning : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings (pp. 317–331). Switzerland.
  DOI: 10.1007/978-3-319-23264-5_27 / Download: PDF
• Erdem, E., Patoglu, V., Saribatur, Z. G. (2015). Bilissel Fabrikalarda Nedensel Icra Takibi. In 2. Türkiye Robotbilim Konferansı (ToRK), Istanbul (p. 2). Peer-reviewed.
  HDL: 20.500.12708/56392

• Eiter, T., Saribatur, Z. G., Schüller, P. (2020). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, online, Greece.
  HDL: 20.500.12708/87081
• Eiter, T., Saribatur, Z. G., Schüller, P. (2019). Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria.
  HDL: 20.500.12708/86936
• Saribatur, Z. G., Eiter, T. (2018). Omission-based Abstraction for Answer Set Programs (Extended Abstract). TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien, Austria.
  HDL: 20.500.12708/86786
• Saribatur, Z. G., Patoglu, V., Erdem, E. (2018). Finding Optimal Feasible Global Plans for Multiple Teams of Heterogeneous Robots using Hybrid Reasoning: An Application to Cognitive Factories. The 28th International Conference on Automated Planning and Scheduling ICAPS 2018, Delft, Netherlands (the).
  HDL: 20.500.12708/86787
• Saribatur, Z. G. (2018). ASP-based Perspective on Reactive Policies with Planning. Workshop on Reasoning about Actions and Processes: Highlights of Recent Advances (ACTIONS@KR’18), Tempe, AZ, United States of America (the).
  HDL: 20.500.12708/86788

• Saribatur Yaman, Z. G. (2019). Abstraction for reasoning about agent behavior with answer set programming [Dissertation, Technische Universität Wien]. reposiTUm.
  DOI: 10.34726/hss.2019.73740 / Download: PDF