Zeynep G. Saribatur

Orcid: 0000-0001-8690-5043

Affiliations:
  • TU Wien, Vienna, Austria


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024

Abstracting Assumptions in Structured Argumentation.
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Foundations for Projecting Away the Irrelevant in ASP Programs.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
Omission-based Abstraction for Answer Set Programs - ERRATUM.
Theory Pract. Log. Program., 2021

Omission-Based Abstraction for Answer Set Programs.
Theory Pract. Log. Program., 2021

Abstraction for non-ground answer set programs.
Artif. Intell., 2021

Existential Abstraction on Argumentation Frameworks via Clustering.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
A Semantic Perspective on Omission Abstraction in ASP.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Explaining Non-Acceptability in Abstract Argumentation.
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.
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.
CoRR, 2019

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

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

2017
Reactive Maintenance Policies over Equalized States in Dynamic Environments.
Proceedings of the Progress in Artificial Intelligence, 2017

2016
Reactive Policies with Planning for Action Languages.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Reactive Policy Checking for Action Languages.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Diagnostic Reasoning for Robotics Using Action Languages.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots.
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.
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.
Proceedings of the 2014 AAAI Spring Symposia, 2014

Coordination of Multiple Teams of Robots for an Optimal Global Plan.
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.
Theory Pract. Log. Program., 2013

Finding optimal decoupled plans for multiple teams of robots in cognitive factories.
Proceedings of the 21st Signal Processing and Communications Applications Conference, 2013


  Loading...