Zeynep G. Saribatur |
||||||||||
|
Postdoctoral Researcher |
||||||||||
|
Since June 2022, I am a Hertha Firnberg Fellow at the Databases and Artificial Intelligence group. My up-to-date page can be found here.
I am a PostDoc at the Databases and Artificial Intelligence group (previously at the Knowledge-Based Systems group) at TU Wien (Vienna University of Technology) since January 2020. 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 roboticsEducation:
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- 2021: AAAI, IJCAI (Senior PC), KR, XLoKR, ASPOCP
- 2020: AAAI, IJCAI, ECAI, KR, ASPOCP
- Subreviewer for ICLP'21, ICLP'18, IJCAI'18, AAAI'16, KI'16, ICLP'13.
Sponsorship co-chair of KR 2021.
Co-organizer of the 3rd and 4th Workshops on Trends and Applications of Answer Set Programming (TAASP 2019 & TAASP 2020).
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:
2021
- Zeynep G. Saribatur, Thomas Eiter and Peter Schüller.
Abstraction for Non-Ground Answer Set Programs.
To appear in Artificial Intelligence (AIJ). [link] - Zeynep G. Saribatur, Johannes P. Wallner.
Existential Abstraction on Argumentation Frameworks via Clustering.
Accepted at KR 2021. - Zeynep G. Saribatur, Thomas Eiter.
Omission-based Abstraction for Answer Set Programs.
Theory and Practice of Logic Programming, 21(2):145-195, March 2021. [link][pdf]
2020
- 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. [pdf] - Zeynep G. Saribatur, 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. [pdf] - 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. [pdf] - Zeynep G. Saribatur.
Abstraction for ASP Planning.
In Proc. 24th European Conference on Artificial Intelligence (ECAI), June 2020. [pdf]
2019
- 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. [thesis] - 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. [pdf] - Thomas Eiter, Zeynep G. Saribatur, 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. [link][pdf] - 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. [link][pdf] - Zeynep G. Saribatur, Volkan Patoglu, 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. [link]
2018
- Zeynep G. Saribatur, Thomas Eiter.
Omission-based Abstraction for Answer Set Programs.
Technical Report. LOGCOMP RR-1923-18-06, December 2018. [pdf] - 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. [pdf] - Zeynep G. Saribatur, Thomas Eiter.
Omission-based Abstraction for Answer Set Programs.
In Proc. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), October 2018. [link][pdf] - Zeynep G. Saribatur.
ASP-based Perspective on Reactive Policies with Planning.
In Workshop on ACTIONS@KR'18, October 2018. [pdf] - Zeynep G. Saribatur, 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. [pdf]
2017
- 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. [link][pdf]
2016
- Zeynep G. Saribatur, Thomas Eiter.
Reactive Policies with Planning for Action Languages.
In Proc. 15th European Conference on Logics in Artificial Intelligence (JELIA), November 2016. [link][pdf] - Zeynep Gözen Saribatur.
Reactive Policy Checking for Action Languages.
In Doctoral Consortium of IJCAI 2016, July 2016. - Zeynep G. Saribatur, Thomas Eiter.
Reactive Policies with Planning for Action Languages.
In 16th International Workshop on Non-Monotonic Reasoning (NMR), April 2016.
2015
- Esra Erdem, Volkan Patoglu, Zeynep Gözen Saribatur.
Bilişsel Fabrikalarda Nedensel Icra Takibi.
In 2. Türkiye Robotbilim Konferansı (ToRK), October 2015. - Esra Erdem, Volkan Patoglu, Zeynep Gozen 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. [link][pdf] - Esra Erdem, Volkan Patoglu, 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. [link]
2014
- Zeynep G. Saribatur, Esra Erdem, 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. [link] - Zeynep Gözen Saribatur.
Optimal Global Planning for Cognitive Factories with Multiple Teams of Heterogeneous Robots.
Master Thesis, Sabanci University, August 2014. [link] - Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu.
Coordination of Multiple Teams of Robots for an Optimal Global Plan.
In AAAI Student Abstract and Poster Program, July 2014. - Zeynep G. Saribatur, Esra Erdem, 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. [pdf]
2013
- 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. [link] - 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.