Zeynep Gözen Saribatur

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 11

Top Topics

Answer Set Programs

Top Venues

Theory Pract. Log. Program.

Publications

Zeynep Gözen Saribatur, Stefan Woltran
Foundations for Projecting Away the Irrelevant in ASP Programs. KR (2023)
Zeynep Gözen Saribatur, Thomas Eiter, Peter Schüller
Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI (2022)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. 21 (2) (2021)
Zeynep Gözen Saribatur, Johannes Peter Wallner
Existential Abstraction on Argumentation Frameworks via Clustering. KR (2021)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. 21 (2) (2021)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-based Abstraction for Answer Set Programs. CoRR (2020)
Zeynep Gözen Saribatur, Thomas Eiter
A Semantic Perspective on Omission Abstraction in ASP. KR (2020)
Thomas Eiter, Zeynep Gözen Saribatur, Peter Schüller
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR (2019)
Zeynep Gözen Saribatur, Volkan Patoglu, Esra Erdem
Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories. Auton. Robots 43 (1) (2019)
Zeynep Gözen Saribatur, Thomas Eiter
Omission-Based Abstraction for Answer Set Programs. KR (2018)
Zeynep Gözen Saribatur
Reactive Policy Checking for Action Languages. IJCAI (2016)
Zeynep Gözen Saribatur, Esra Erdem, Volkan Patoglu
Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan. AAAI Spring Symposia (2014)