Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Zeynep Saribatur

Tools: Drucken


Zeynep G. Saribatur

A picture of me
Address: Institute of Logic and Computation
Favoritenstraße 9-11/192-02
1040 Vienna, Austria
email: email
Phone: +43 (1) 58 801-740070
Room: HE 03 48
Elsewhere: TISS address bookRG Google scholar dblp

Since June 2022, I am a Hertha Firnberg Fellow (funded by Austrian Science Fund (FWF)) at the Databases and Artificial Intelligence (DBAI) group at TU Wien. Previously, I was a post-doctoral researcher at the DBAI group and, before that, at the Knowledge-Based Systems (KBS) group. I completed my PhD studies in December 2019 as part of the Doctoral College Logical Methods in Computer Science at TU Wien under the supervision of Prof. Thomas Eiter.

Research Interests:

knowledge representation and reasoning, logic-based artificial intelligence, reasoning about actions and change, planning, cognitive robotics

Education:

PhD. in Computer Science, TU Wien, Vienna, Austria (2019)

MSc. in Computer Science and Engineering, Sabanci University, Istanbul, Turkey (2014)

BSc. in Mathematics, Bogazici University, Istanbul, Turkey (2012)

Professional Activities:

Member of the program committee of Sponsorship co-chair of KR 2024 and KR 2021.

Co-organizer of the 16th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2023).

Local Arrangements Committee Member of IJCAI-ECAI 2022.

Co-organizer of the 3rd, 4th and 5th Workshops on Trends and Applications of Answer Set Programming (TAASP 2019, TAASP 2020 & TAASP 2022).

Award committee member of VCLA International Student Awards (2020, 2021, 2023).

Co-chair of the student session at the 27th European Summer School in Logic, Language and Information (ESSLLI 2015).

Software

I have developed the prototype tools (ASPARO, DASPAR, mDASPAR) for the abstraction and refinement methodology on ASP programs.

Publications:

2024

  1. Iosif Apostolakis, Zeynep G. Saribatur, and Johannes P. Wallner.
    Abstracting Assumptions in Structured Argumentation.
    Accepted to AAMAS'24 as extended abstract.
  2. Zeynep G. Saribatur and Stefan Woltran.
    A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.
    In Proc. 38th AAAI Conference on Artificial Intelligence (AAAI), February 2024.
  3. [link]

2023

  1. Zeynep G. Saribatur and Stefan Woltran.
    Foundations for Projecting Away the Irrelevant in ASP Programs.
    In Proc. 20th International Conference on Principles of Knowledge Representation and Reasoning (KR), August 2023.
  2. [link]

2022

  1. Zeynep G. Saribatur, Thomas Eiter, and Peter Schüller.
    Abstraction for Non-Ground Answer Set Programs (Extended Abstract).
    In Proc. 31st International Joint Conference on Artificial Intelligence (IJCAI) Journal Track, July 2022.
  2. [link]

2021

  1. Zeynep G. Saribatur, Thomas Eiter, and Peter Schüller.
    Abstraction for Non-Ground Answer Set Programs.
    Artificial Intelligence (AIJ) 300 (2021): 103563.
  2. [link]
  3. Zeynep G. Saribatur and Johannes P. Wallner.
    Existential Abstraction on Argumentation Frameworks via Clustering.
    In Proc. 18th International Conference on Principles of Knowledge Representation and Reasoning (KR), September 2021.
  4. [pdf]
  5. Zeynep G. Saribatur and Thomas Eiter.
    Omission-based Abstraction for Answer Set Programs.
    Theory and Practice of Logic Programming, 21(2):145-195, March 2021.
  6. [link][pdf]

2020

  1. Zeynep G. Saribatur.
    Towards Comprehensible ASP Reasoning by Means of Abstraction.
    In Proc. KR 2020 Workshop on Explainable Logic-Based Knowledge Representation (XLoKR), September 2020.
  2. [pdf]
  3. Zeynep G. Saribatur and Thomas Eiter.
    A Semantic Perspective on Omission Abstraction in ASP.
    In Proc. 17th International Conference on Principles of Knowledge Representation and Reasoning (KR), September 2020.
  4. [pdf]
  5. Zeynep G. Saribatur, Johannes P. Wallner, and Stefan Woltran.
    Explaining Non-Acceptability in Abstract Argumentation.
    In Proc. 24th European Conference on Artificial Intelligence (ECAI), June 2020.
  6. [pdf]
  7. Zeynep G. Saribatur.
    Abstraction for ASP Planning.
    In Proc. 24th European Conference on Artificial Intelligence (ECAI), June 2020.
  8. [pdf]

2019

  1. Zeynep G. Saribatur.
    Abstraction for Reasoning about Agent Behavior with Answer Set Programming.
    PhD thesis supervised by Thomas Eiter and Georg Weissenbacher, TU Wien, Institute of Logic and Computation, 2019.
  2. [thesis]
  3. Zeynep G. Saribatur, Thomas Eiter, and Peter Schüller.
    Abstraction for Non-Ground Answer Set Programs.
    Technical Report. LOGCOMP RR-1923-19-01, December 2019.
  4. [pdf]
  5. Thomas Eiter, Zeynep G. Saribatur, and Peter Schüller.
    Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems.
    In IJCAI 2019 Workshop on Explainable Artificial Intelligence (XAI), August 2019.
  6. [link][pdf]
  7. Zeynep G. Saribatur, Peter Schüller, and Thomas Eiter.
    Abstraction for Non-Ground Answer Set Programs.
    In Proc. 16th European Conference on Logics in Artificial Intelligence (JELIA), May 2019.
  8. [link][pdf]
  9. Zeynep G. Saribatur, Volkan Patoglu, and Esra Erdem.
    Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories.
    Autonomous Robots, 43(1):213-238, 2019.
  10. [link]

2018

  1. Zeynep G. Saribatur and Thomas Eiter.
    Omission-based Abstraction for Answer Set Programs.
    Technical Report. LOGCOMP RR-1923-18-06, December 2018.
  2. [pdf]
  3. Zeynep G. Saribatur, Peter Schüller, and Thomas Eiter.
    Abstraction for Non-Ground Answer Set Programs.
    In Workshop on Trends and Applications of Answer Set Programming (TAASP), November 2018.
  4. [pdf]
  5. Zeynep G. Saribatur and Thomas Eiter.
    Omission-based Abstraction for Answer Set Programs.
    In Proc. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), October 2018.
  6. [link][pdf]
  7. Zeynep G. Saribatur.
    ASP-based Perspective on Reactive Policies with Planning.
    In Workshop on ACTIONS@KR'18, October 2018.
  8. [pdf]
  9. Zeynep G. Saribatur and Thomas Eiter.
    Towards Abstraction in ASP with an Application on Reasoning about Agent Policies.
    In Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), July 2018.
  10. [pdf]

2017

  1. Zeynep G. Saribatur, Chitta Baral, and Thomas Eiter.
    Reactive Maintenance Policies over Equalized States in Dynamic Environments.
    In Proc. 18th EPIA Conference on Artificial Intelligence (EPIA), September 2017.
  2. [link][pdf]

2016

  1. Zeynep G. Saribatur and Thomas Eiter.
    Reactive Policies with Planning for Action Languages.
    In Proc. 15th European Conference on Logics in Artificial Intelligence (JELIA), November 2016.
  2. [link][pdf]
  3. Zeynep Gözen Saribatur.
    Reactive Policy Checking for Action Languages.
    In Doctoral Consortium of IJCAI 2016, July 2016.
  4. Zeynep G. Saribatur and Thomas Eiter.
    Reactive Policies with Planning for Action Languages.
    In 16th International Workshop on Non-Monotonic Reasoning (NMR), April 2016.

2015

  1. Esra Erdem, Volkan Patoglu, and Zeynep G. Saribatur.
    Bilişsel Fabrikalarda Nedensel Icra Takibi.
    In 2. Türkiye Robotbilim Konferansı (ToRK), October 2015.
  2. Esra Erdem, Volkan Patoglu, and Zeynep G. Saribatur.
    Diagnostic Reasoning for Robotics using Action Languages.
    In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 9345 of Lecture Notes in Computer Science, September 2015.
  3. [link][pdf]
  4. Esra Erdem, Volkan Patoglu, and Zeynep G. Saribatur.
    Integrating Hybrid Diagnostic Reasoning in Plan Execution Monitoring for Cognitive Factories with Multiple Robots.
    In International Conference on Robotics and Automation (ICRA), May 2015.
  5. [link]

2014

  1. Zeynep G. Saribatur, Esra Erdem, and Volkan Patoglu.
    Cognitive Factories with Teams of Heterogeneous Robots: Hybrid Reasoning for Optimal Feasible Global Plans.
    In International Conference on Intelligent Robots and Systems (IROS), September 2014.
  2. [link]
  3. Zeynep Gözen Saribatur.
    Optimal Global Planning for Cognitive Factories with Multiple Teams of Heterogeneous Robots.
    Master Thesis, Sabanci University, August 2014.
  4. [link]
  5. Zeynep G. Saribatur, Esra Erdem, and Volkan Patoglu.
    Coordination of Multiple Teams of Robots for an Optimal Global Plan.
    In AAAI Student Abstract and Poster Program, July 2014.
  6. Zeynep G. Saribatur, Esra Erdem, and Volkan Patoglu.
    Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan.
    In AAAI Spring Symposium: Knowledge Representation and Reasoning in Robotics,
    March 2014.
  7. [pdf]

2013

  1. Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur, Peter Schüller, and Tansel Uras.
    Finding Optimal Plans for Multiple Teams of Robots Through a Mediator: A Logic-based Approach.
    Theory and Practice of Logic Programming, Special Issue: International Conference
    on Logic Programming
    , 13(4-5):831-846, August 2013.
  2. [link]

  3. Zeynep G. Saribatur, Peter Schüller, Volkan Patoglu, and Esra Erdem
    Bilişsel Fabrikalarda Birden Fazla Robot Takımı için Eniyileştirilmiş Ayrıştırılabilir Plan Hesaplanması.
    In 21. Sinyal Işleme ve Iletişim Uygulamalar Kurultayı, pages 1681-1883, IEEE, April 2013.

Miscellaneous:

Runner-up for best paper award and for best student paper award at KR 2018.

Finalist for best Cognitive Robotics paper award at ICRA 2015.

Member of the AngryHEX team (participant at Angry Birds AI competition): Semi-finalist of the 6th competition at IJCAI 2017, quarter-finalist of the 8th competition at IJCAI 2019 and the 5th competition at IJCAI 2016.


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. Disclaimer / Datenschutzerklärung

Binary file (standard input) matches