| 2026 | KR | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. | Wolfgang Dvork, Zeynep G. Saribatur, Stefan Woltran |
| 2026 | KR | Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before. | Matthias Knorr, Zeynep G. Saribatur, Ricardo Gonalves |
| 2025 | ECAI | A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. | Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran |
| 2025 | KI | Towards Observing the Effect of Abstraction on Understandability of Explanations in Answer Set Programming. | Zeynep G. Saribatur, Johannes Langer, Anna Magdalena Thaler, Ute Schmid |
| 2024 | AAAI | A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. | Zeynep G. Saribatur, Stefan Woltran |
| 2024 | KR | Abstraction in Assumption-based Argumentation. | Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner |
| 2024 | KR | On Abstracting over the Irrelevant in Answer Set Programming. | Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2024 | LPNMR | A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. | Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner |
| 2023 | KR | Foundations for Projecting Away the Irrelevant in ASP Programs. | Zeynep G. Saribatur, Stefan Woltran |
| 2022 | IJCAI | Abstraction for Non-Ground Answer Set Programs (Extended Abstract). | Zeynep G. Saribatur, Thomas Eiter, Peter Schller |
| 2021 | KR | Existential Abstraction on Argumentation Frameworks via Clustering. | Zeynep G. Saribatur, Johannes P. Wallner |
| 2020 | ECAI | Abstraction for ASP Planning. | Zeynep G. Saribatur |
| 2020 | ECAI | Explaining Non-Acceptability in Abstract Argumentation. | Zeynep G. Saribatur, Johannes P. Wallner, Stefan Woltran |
| 2020 | KR | A Semantic Perspective on Omission Abstraction in ASP. | Zeynep G. Saribatur, Thomas Eiter |
| 2019 | JELIA | Abstraction for Non-ground Answer Set Programs. | Zeynep G. Saribatur, Peter Schller, Thomas Eiter |
| 2018 | KR | Omission-Based Abstraction for Answer Set Programs. | Zeynep G. Saribatur, Thomas Eiter |
| 2017 | EPIA | Reactive Maintenance Policies over Equalized States in Dynamic Environments. | Zeynep G. Saribatur, Chitta Baral, Thomas Eiter |
| 2016 | IJCAI | Reactive Policy Checking for Action Languages. | Zeynep G. Saribatur |
| 2016 | JELIA | Reactive Policies with Planning for Action Languages. | Zeynep G. Saribatur, Thomas Eiter |
| 2015 | ICRA | Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. | Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur |
| 2015 | LPNMR | Diagnostic Reasoning for Robotics Using Action Languages. | Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur |
| 2014 | AAAI | Coordination of Multiple Teams of Robots for an Optimal Global Plan. | Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu |
| 2014 | IROS | Cognitive factories with multiple teams of heterogeneous robots: Hybrid reasoning for optimal feasible global plans. | Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu |