Skip to Content

TU Wien Fakultät für Informatik KBS Knowledge-Based Systems Group
Top-level Navigation: Current-level Navigation:

Path: KBS > staff > Zeynep Saribatur>

Tools: Drucken


Zeynep G. Saribatur

A picture of me
Postdoctoral Researcher
email: zeynep at kr.tuwien.ac.at
Phone: +43 (1) 58 801-740070
Elsewhere: RGGoogle scholardblp
Office hours: by appointment

I am a PostDoc 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:

Education:

Publications:

2020

Zeynep G. Saribatur, Thomas Eiter.
Omission-based Abstraction for Answer Set Programs.
To appear in Theory and Practice of Logic Programming.[pdf]

Zeynep G. Saribatur, Johannes P. Wallner, and Stefan Woltran.
Explaining Non-Acceptability in Abstract Argumentation.
Accepted to ECAI 2020.[pdf]

Zeynep G. Saribatur.
Abstraction for ASP Planning.
Highlight paper accepted to ECAI 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.
In 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.


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik 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.