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

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2021

• Omission-Based Abstraction for Answer Set Programs - ERRATUM / Z. G. Saribatur, T. Eiter / TPLP - Theory and Practice of Logic Programming, 21 (2021), 2; 292
• Abstraction for non-ground answer set programs / Z. G. Saribatur, T. Eiter, P. Schüller / Artificial Intelligence, 300 (2021), 103563

2020

• A Semantic Perspective on Omission Abstraction in ASP / Z. G. Saribatur, T. Eiter / Talk: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland; 2020-09-12 - 2020-09-18; in: "Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020", D. Calvanese, E. Erdem (ed.); IJCAI Organization, (2020), ISBN: 978-0-9992411-7-2; 733 - 737
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / T. Eiter, Z. G. Saribatur, P. Schüller / Talk: KR 2020 - 17th International Conference on Principles of Knowledge Representation and Reasoning, Rhodos, Griechenland; 2020-09-12 - 2020-09-18
• Abstraction for ASP Planning / Z. G. Saribatur / Talk: ECAI 2020, Santiago de Compostela, Spain; 2020-08-29 - 2020-09-08; in: "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)", G. De Giacomo (ed.); IOS Press - Frontiers in Artificial Intelligence and Applications, 325 (2020), ISBN: 978-1-64368-101-6; 2933 - 2934
• Towards Comprehensible ASP Reasoning by Means of Abstraction / Z. G. Saribatur / Talk: KR 2020 Workshop on Explainable Logic-Based Knowledge Representation (XLoKR), Rhodes, Greece; 2020-08-13 - 2020-08-14; in: "KR 2020 Workshop on Explainable Logic-Based Knowledge Representation (XLoKR)", (2020), 1 - 6
• Explaining Non-Acceptability in Abstract Argumentation / Z. G. Saribatur, J. P. Wallner, S. Woltran / Talk: European Conference on Artificial Intelligence (ECAI), Santiago de Compostela, Spain; 2020-06-08 - 2020-06-12; in: "Proceedings ECAI", G. De Giacomo (ed.); IOS Press, 325 (2020), ISBN: 978-1-64368-101-6; 881 - 888
• Omission-based Abstraction for Answer Set Programs / Z. G. Saribatur, T. Eiter / TPLP - Theory and Practice of Logic Programming, - (2020), 1 - 51
• Omission-based Abstraction for Answer Set Programs / Z. G. Saribatur, T. Eiter / ArXiv, 2004 (2020), 01410; 52 pages

2019

• Abstraction for Reasoning about Agent Behavior with Answer Set Programming / Doctoral Thesis by Z. G. Saribatur / Supervisor, Reviewer: T. Eiter, G. Weissenbacher; Institut für Logic and Computation, 2019; oral examination: 2019-12-17
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / T. Eiter, Z. G. Saribatur, P. Schüller / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Potsdam, Germany; 2019-11-18 - 2019-11-19
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems / T. Eiter, Z. G. Saribatur, P. Schüller / Talk: IJCAI 2019 Workshop on Explainable Artificial Intelligence, Macau, China; 2019-08-11; in: "Proceedings of the IJCAI 2019 Workshop on Explainable Artificial Intelligence", (2019), 7 - 13
• Abstraction for Non-Ground Answer Set Programs / Z. G. Saribatur, P. Schüller, T. Eiter / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Rende, Italy; 2019-05-07 - 2019-05-11; in: "Logics in Artificial Intelligence - 16th European Conference (JELIA 2019)", F. Calimeri, N. Leone, M. Manna (ed.); Springer LNCS, 11468 (2019), ISBN: 978-3-030-19569-4; 576 - 592
• Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories / Z. G. Saribatur, V. Patoglu, E. Erdem / Autonomous Robots, 43 (2019), 1; 213 - 238
• Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems (Extended Abstract) / T. Eiter, Z. G. Saribatur, P. Schüller / in: "3rd Workshop on Trends and Applications of Answer Set Programming", 3rd Workshop on Trends and Applications of Answer Set Programming (TAASP 2019), 2019, 2 pages
• Abstraction for Non-Ground Answer Set Programs / Z. G. Saribatur, T. Eiter, P. Schüller / Report No. LOGCOMP RR-1923-19-01, 2019; 98 pages

2018

• Abstraction for Non-Ground Answer Set Programs / Z. G. Saribatur, P. Schüller, T. Eiter / Talk: Workshop on Trends and Applications of Answer Set Programming, Wien, Austria; 2018-11-19 - 2018-11-20; in: "Workshop on Trends and Applications of Answer Set Programming", http://www.kr.tuwien.ac.at/events/taasp18/prog.html, (2018), 15 pages
• Omission-based Abstraction for Answer Set Programs (Extended Abstract) / Z. G. Saribatur, T. Eiter / Talk: TAASP - Workshop on Trends and Applications of Answer Set Programming, Wien; 2018-11-19 - 2018-11-20
• ASP-based Perspective on Reactive Policies with Planning / Z. G. Saribatur / Talk: Workshop on Reasoning about Actions and Processes: Highlights of Recent Advances (ACTIONS@KR'18), Tempe, AZ, USA; 2018-10-28 - 2018-10-29
• Omission-Based Abstraction for Answer Set Programs / Z. G. Saribatur, T. Eiter / Talk: 16th International Conference on Principles of Knowledge Representation and Reasoning - KR 2018, Tempe, AZ, USA; 2018-10-27 - 2018-11-02; in: "Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning", AAAI Press, (2018)
• Towards Abstraction in ASP with an Application on Reasoning about Agent Policies / Z. G. Saribatur, T. Eiter / Talk: 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18), Oxford, UK; 2018-07-18; in: "Workshop on Answer Set Programming and Other Computing Paradigms", (2018)
• Finding Optimal Feasible Global Plans for Multiple Teams of Heterogeneous Robots using Hybrid Reasoning: An Application to Cognitive Factories / Z. G. Saribatur, V. Patoglu, E. Erdem / Talk: The 28th International Conference on Automated Planning and Scheduling ICAPS 2018, Delft, The Netherlands; 2018-06-24 - 2018-06-29
• Omission-Based Abstraction for Answer Set Programs / Z. G. Saribatur, T. Eiter / Report No. LOGCOMP RR-1923-18-06, 2018; 43 pages

2017

• Reactive Maintenance Policies over Equalized States in Dynamic Environments / Z. G. Saribatur, C. Baral, T. Eiter / Talk: 18th EPIA Conference on Artificial Intelligence (EPIA 2017), Porto; 2017-09-05 - 2017-09-08; in: "Proceedings of the 18th EPIA Conference on Artificial Intelligence", Springer LNCS/LNAI, 10423 (2017), ISBN: 978-3-319-65340-2; 709 - 723

2016

• Reactive Policies with Planning for Action Languages / T. Eiter, Z. G. Saribatur / Talk: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Larnaca; 2016-11-09 - 2016-11-11; in: "Proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016", Springer LNCS/LNAI, 10021 (2016), ISBN: 978-3-319-48757-1; 463 - 480
• Reactive Policy Checking for Action Languages / Z. G. Saribatur / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 4024 - 4025
• Reactive Policies with Planning for Action Languages / Z. G. Saribatur, T. Eiter / Talk: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 2016-04-22 - 2016-04-24; in: "Proceedings of the 16th International Workshop on Non-Monotonic Reasoning", G. Kern-Isberner, R. Wassermann (ed.); (2016), 143 - 152

2015

• Bilissel Fabrikalarda Nedensel Icra Takibi / E. Erdem, V. Patoglu, Z. G. Saribatur / Poster: Türkiye Robotbilim Konferansı (ToRK), Istanbul, Türkei; 2015-10-26 - 2015-10-27; in: "2. Türkiye Robotbilim Konferansı (ToRK), Istanbul", (2015), 2 pages
• Diagnostic Reasoning for Robotics Using Action Languages / E. Erdem, V. Patoglu, Z. G. Saribatur / Talk: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015, Lexington, Kentucky, USA; 2015-09-27 - 2015-09-30; in: "Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer, Lecture Notes in Computer Science Volume 9345 (2015), ISBN: 978-3-319-23263-8; 317 - 331