TU Wien Informatics

Role

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

2018

2017

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