Zeynep G. Saribatur

According to our database, Zeynep G. Saribatur authored at least 23 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.

Zeynep G. Saribatur, Stefan Woltran

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Foundations for Projecting Away the Irrelevant in ASP Programs.

Zeynep G. Saribatur, Stefan Woltran

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Abstraction for Non-Ground Answer Set Programs (Extended Abstract).

Zeynep G. Saribatur, Thomas Eiter, Peter Schüller

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Omission-based Abstraction for Answer Set Programs - ERRATUM.

Zeynep G. Saribatur, Thomas Eiter

Theory Pract. Log. Program., 2021

Omission-Based Abstraction for Answer Set Programs.

Zeynep G. Saribatur, Thomas Eiter

Theory Pract. Log. Program., 2021

Abstraction for non-ground answer set programs.

Zeynep G. Saribatur, Thomas Eiter, Peter Schüller

Artif. Intell., 2021

Existential Abstraction on Argumentation Frameworks via Clustering.

Zeynep G. Saribatur, Johannes Peter Wallner

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

A Semantic Perspective on Omission Abstraction in ASP.

Zeynep G. Saribatur, Thomas Eiter

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Explaining Non-Acceptability in Abstract Argumentation.

Zeynep G. Saribatur, Johannes Peter Wallner, Stefan Woltran

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Abstraction for ASP Planning.

Zeynep G. Saribatur

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems.

Thomas Eiter, Zeynep G. Saribatur, Peter Schüller

CoRR, 2019

Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories.

Zeynep G. Saribatur, Volkan Patoglu, Esra Erdem

Auton. Robots, 2019

2018

Towards Abstraction in ASP with an Application on Reasoning about Agent Policies.

Zeynep G. Saribatur, Thomas Eiter

CoRR, 2018

2017

Reactive Maintenance Policies over Equalized States in Dynamic Environments.

Zeynep G. Saribatur, Chitta Baral, Thomas Eiter

Proceedings of the Progress in Artificial Intelligence, 2017

2016

Reactive Policies with Planning for Action Languages.

Zeynep G. Saribatur, Thomas Eiter

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Reactive Policy Checking for Action Languages.

Zeynep G. Saribatur

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Diagnostic Reasoning for Robotics Using Action Languages.

Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots.

Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

2014

Cognitive factories with multiple teams of heterogeneous robots: Hybrid reasoning for optimal feasible global plans.

Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan.

Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu

Proceedings of the 2014 AAAI Spring Symposia, 2014

Coordination of Multiple Teams of Robots for an Optimal Global Plan.

Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach.

Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur, Peter Schüller, Tansel Uras

Theory Pract. Log. Program., 2013

Finding optimal decoupled plans for multiple teams of robots in cognitive factories.

Zeynep G. Saribatur, Peter Schüller, Volkan Patoglu, Esra Erdem

Proceedings of the 21st Signal Processing and Communications Applications Conference, 2013