• Abstraction for Understandability of Reasoning in AI
  2022 – 2025 / Austrian Science Fund (FWF)

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

• Existential Abstraction on Argumentation Frameworks via Clustering / 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). https://doi.org/10.24963/kr.2021/52
• Omission-Based Abstraction for Answer Set Programs - ERRATUM / SARIBATUR, Z. G., & EITER, T. (2021). Omission-Based Abstraction for Answer Set Programs - ERRATUM. Theory and Practice of Logic Programming, 21(2), 292–292. https://doi.org/10.1017/s1471068420000125
• Abstraction for non-ground answer set programs / Saribatur, Z. G., Eiter, T., & Schüller, P. (2021). Abstraction for non-ground answer set programs. Artificial Intelligence, 300(103563), 103563. https://doi.org/10.1016/j.artint.2021.103563
  Projects: AI4EU (2019–2021) / HumanE-AI-Net (2020–2024)

2020

• 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, Griechenland, EU. 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
• 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
  Project: START (2014–2022)
• 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
• 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

2019

• Abstraction for reasoning about agent behavior with answer set programming / Saribatur Yaman, Z. G. (2019). Abstraction for reasoning about agent behavior with answer set programming [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.73740
  Download: PDF (2.19 MB)
• 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. (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. https://doi.org/10.1007/s10514-018-9721-x
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / 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. http://hdl.handle.net/20.500.12708/86936
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / 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). http://hdl.handle.net/20.500.12708/58339
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / 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). http://hdl.handle.net/20.500.12708/57937
• Abstraction for Non-ground Answer Set Programs / 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. https://doi.org/10.1007/978-3-030-19570-0_38
  Project: DynaCon (2017–2020)
• Abstraction for Non-Ground Answer Set Programs / Saribatur, Z. G., Eiter, T., & Schüller, P. (2019). Abstraction for Non-Ground Answer Set Programs (LOGCOMP RR-1923-19-01). http://hdl.handle.net/20.500.12708/39887
  Project: AI4EU (2019–2021)

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 (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
• 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, USA, Non-EU. http://hdl.handle.net/20.500.12708/86788
• 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, The Netherlands, EU. 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. 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, AZ, USA, Non-EU. AAAI Press. http://hdl.handle.net/20.500.12708/57590
• 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, UK, EU. http://hdl.handle.net/20.500.12708/56703
• 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

2016

• 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
• 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

2015

• 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