TU Wien Informatics

20 Years

Role

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

  • 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
  • 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
    Projects: DK - Logic (2014–2023) / START (2014–2022)
  • 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

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