2020W

• Introduction to Knowledge-based Systems / 184.737 / VU

2021S

• Introduction to Artificial Intelligence / 184.735 / VU
• Knowledge-based Systems / 184.730 / VU

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