TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Zeynep G. Saribatur

Projektass.(FWF) Dr.in techn. / MSc

Zeynep G. Saribatur

Role

Contact

2025W

2026S

 

2025

  • What Can We Explain in Answer Set Programming? / 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
    Project: AURA (2022–2026)
  • Towards Observing the Effect of Abstraction on Understandability of Explanations in Answer Set Programming / 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
    Project: AURA (2022–2026)
  • Aligning generalization between humans and machines / 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
    Project: AURA (2022–2026)
  • A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs / 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
    Projects: AURA (2022–2026) / BILAI (2024–2029)
  • Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again / 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
    Projects: AURA (2022–2026) / BILAI (2024–2029)
  • Effect of Abstraction on Understandability of ASP Explanations: Work in Progress / 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
    Project: AURA (2022–2026)

2024

  • Abstraction in Assumption-based Argumentation / 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
    Project: AURA (2022–2026)
  • A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation / 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
    Project: AURA (2022–2026)
  • Abstracting Assumptions in Structured Argumentation / 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
    Project: AURA (2022–2026)
  • On Abstracting over the Irrelevant in Answer Set Programming / 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
    Project: AURA (2022–2026)
  • A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming / 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
    Projects: AURA (2022–2026) / HYPAR (2019–2024) / REVEAL-AI (2020–2024)

2023

  • Foundations for Projecting Away the Irrelevant in ASP Programs / 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. https://doi.org/10.24963/kr.2023/60

2022

  • Abstraction for Non-Ground Answer Set Programs (Extended Abstract) / 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). https://doi.org/10.24963/ijcai.2022/807

2021

2020

  • Abstraction for ASP Planning / 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. http://hdl.handle.net/20.500.12708/55562
  • Towards Comprehensible ASP Reasoning by Means of Abstraction / 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). http://hdl.handle.net/20.500.12708/55563
  • Explaining Non-Acceptability in Abstract Argumentation / 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. http://hdl.handle.net/20.500.12708/58147
    Projects: DK - Logic (2014–2023) / START (2014–2022)
  • Omission-based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. Theory and Practice of Logic Programming, 21(2), 145–195. https://doi.org/10.1017/s1471068420000095
  • Omission-based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2020). Omission-based Abstraction for Answer Set Programs. arXiv. https://doi.org/10.48550/arXiv.2004.01410
  • Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / 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. http://hdl.handle.net/20.500.12708/87081
  • A Semantic Perspective on Omission Abstraction in ASP / 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. https://doi.org/10.24963/kr.2020/75

2019

2018

  • Abstraction for Non-Ground Answer Set Programs / 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. http://hdl.handle.net/20.500.12708/57536
    Project: DynaCon (2017–2020)
  • Omission-Based Abstraction for Answer Set Programs / 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. http://hdl.handle.net/20.500.12708/57590
  • ASP-based Perspective on Reactive Policies with Planning / 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). http://hdl.handle.net/20.500.12708/86788
  • Towards Abstraction in ASP with an Application on Reasoning about Agent Policies / 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). http://hdl.handle.net/20.500.12708/56703
  • Finding Optimal Feasible Global Plans for Multiple Teams of Heterogeneous Robots using Hybrid Reasoning: An Application to Cognitive Factories / 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). http://hdl.handle.net/20.500.12708/86787
  • Omission-Based Abstraction for Answer Set Programs / Saribatur, Z. G., & Eiter, T. (2018). Omission-Based Abstraction for Answer Set Programs (LOGCOMP RR-1923-18-06). http://hdl.handle.net/20.500.12708/39631
  • Omission-based Abstraction for Answer Set Programs (Extended Abstract) / 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. http://hdl.handle.net/20.500.12708/86786

2017

  • Reactive Maintenance Policies over Equalized States in Dynamic Environments / 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. https://doi.org/10.1007/978-3-319-65340-2_58
    Download: PDF (366 KB)

2016

  • Reactive Policies with Planning for Action Languages / 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. https://doi.org/10.1007/978-3-319-48758-8_30
    Download: PDF (301 KB)
  • Reactive Policy Checking for Action Languages / 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. http://hdl.handle.net/20.500.12708/56816
  • Reactive Policies with Planning for Action Languages / 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). http://hdl.handle.net/20.500.12708/56763

2015

  • Diagnostic Reasoning for Robotics Using Action Languages / 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. https://doi.org/10.1007/978-3-319-23264-5_27
    Download: PDF (1.26 MB)
  • Bilissel Fabrikalarda Nedensel Icra Takibi / Erdem, E., Patoglu, V., & Saribatur, Z. G. (2015). Bilissel Fabrikalarda Nedensel Icra Takibi. In 2. Türkiye Robotbilim Konferansı (ToRK), Istanbul (p. 2). http://hdl.handle.net/20.500.12708/56392