2019W

• Introduction to Knowledge-based Systems / VU / 184.737

2020S

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

• 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
• 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 Reasoning about Agent Behavior with Answer Set Programming / PhD 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 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
• 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, T. Eiter, P. Schüller / Report No. LOGCOMP RR-1923-19-01, 2019; 98 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
• 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
• 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)
• 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 / 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)
• Omission-Based Abstraction for Answer Set Programs / Z. G. Saribatur, T. Eiter / Report No. LOGCOMP RR-1923-18-06, 2018; 43 pages
• 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
• 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 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
• 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
• 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