Zeynep G. Saribatur

39 papers A* 11A 5B 4Misc 2Journal 13Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An XAI View on Explainable ASP: Methods, Systems, and Perspectives. CoRR Thomas Eiter, Tobias Geibinger, Zeynep G. Saribatur
2026	J	`jnl`	The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding. CoRR Zeynep G. Saribatur, Johannes Langer, Ute Schmid
2025	A	`conf`	A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs. ECAI Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran
2025	Misc	`conf`	Towards Observing the Effect of Abstraction on Understandability of Explanations in Answer Set Programming. KI Zeynep G. Saribatur, Johannes Langer, Anna Magdalena Thaler, Ute Schmid
2024	B	`conf`	A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation. LPNMR Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner
2024	A*	`conf`	A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. AAAI Zeynep G. Saribatur, Stefan Woltran
2024	A	`conf`	Abstracting Assumptions in Structured Argumentation. AAMAS Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner
2024	A*	`conf`	Abstraction in Assumption-based Argumentation. KR Iosif Apostolakis, Zeynep G. Saribatur, Johannes P. Wallner
2024	J	`jnl`	Aligning Generalisation Between Humans and Machines. CoRR Filip Ilievski, Barbara Hammer, Frank van Harmelen, Benjamin Paassen, Sascha Saralajew, Ute Schmid, Michael Biehl, Marianna Bolognesi, Xin Luna Dong, Kiril Gashteovski, Pascal Hitzler, Giuseppe Marra, Pasquale Minervini, Martin Mundt, Axel-Cyrille Ngonga Ngomo, Alessandro Oltramari, Gabriella Pasi, Zeynep G. Saribatur, Luciano Serafini, John Shawe-Taylor, Vered Shwartz, Gabriella Skitalinskaya, Clemens Stachl, Gido M. van de Ven, Thomas Villmann
2024	A*	`conf`	On Abstracting over the Irrelevant in Answer Set Programming. KR Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite
2024	—	`ed.`	Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), Dallas, TX, USA, October 12th and 13th, 2024. ICLP Workshops Joaquín Arias, Damiano Azzolini, Kinjal Basu, Verónica Dahl, Markus Hecher, Francesco Pacenza, Zeynep G. Saribatur, Sarat Chandra Varanasi
2023	J	`jnl`	A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming. CoRR Zeynep G. Saribatur, Stefan Woltran
2023	A*	`conf`	Foundations for Projecting Away the Irrelevant in ASP Programs. KR Zeynep G. Saribatur, Stefan Woltran
2023	—	`ed.`	Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. ICLP Workshops Joaquín Arias, Sotiris Batsakis, Wolfgang Faber, Gopal Gupta, Francesco Pacenza, Emmanuel Papadakis, Livio Robaldo, Kilian Rückschloß, Elmer Salazar, Zeynep G. Saribatur, Ilias Tachmazidis, Felix Weitkämper, Adam Z. Wyner
2022	A*	`conf`	Abstraction for Non-Ground Answer Set Programs (Extended Abstract). IJCAI Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2021	J	`jnl`	Abstraction for non-ground answer set programs. Artif. Intell. Zeynep G. Saribatur, Thomas Eiter, Peter Schüller
2021	A*	`conf`	Existential Abstraction on Argumentation Frameworks via Clustering. KR Zeynep G. Saribatur, Johannes P. Wallner
2021	J	`jnl`	Omission-Based Abstraction for Answer Set Programs. Theory Pract. Log. Program. Zeynep G. Saribatur, Thomas Eiter
2021	J	`jnl`	Omission-based Abstraction for Answer Set Programs - ERRATUM. Theory Pract. Log. Program. Zeynep G. Saribatur, Thomas Eiter
2020	A*	`conf`	A Semantic Perspective on Omission Abstraction in ASP. KR Zeynep G. Saribatur, Thomas Eiter
2020	A	`conf`	Abstraction for ASP Planning. ECAI Zeynep G. Saribatur
2020	A	`conf`	Explaining Non-Acceptability in Abstract Argumentation. ECAI Zeynep G. Saribatur, Johannes P. Wallner, Stefan Woltran
2020	J	`jnl`	Omission-based Abstraction for Answer Set Programs. CoRR Zeynep G. Saribatur, Thomas Eiter
2019	B	`conf`	Abstraction for Non-ground Answer Set Programs. JELIA Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
2019	J	`jnl`	Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems. CoRR Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
2019	J	`jnl`	Finding optimal feasible global plans for multiple teams of heterogeneous robots using hybrid reasoning: an application to cognitive factories. Auton. Robots Zeynep G. Saribatur, Volkan Patoglu, Esra Erdem
2018	A*	`conf`	Omission-Based Abstraction for Answer Set Programs. KR Zeynep G. Saribatur, Thomas Eiter
2018	J	`jnl`	Towards Abstraction in ASP with an Application on Reasoning about Agent Policies. CoRR Zeynep G. Saribatur, Thomas Eiter
2017	Misc	`conf`	Reactive Maintenance Policies over Equalized States in Dynamic Environments. EPIA Zeynep G. Saribatur, Chitta Baral, Thomas Eiter
2016	B	`conf`	Reactive Policies with Planning for Action Languages. JELIA Zeynep G. Saribatur, Thomas Eiter
2016	J	`jnl`	Reactive Policies with Planning for Action Languages. CoRR Zeynep G. Saribatur, Thomas Eiter
2016	A*	`conf`	Reactive Policy Checking for Action Languages. IJCAI Zeynep G. Saribatur
2015	B	`conf`	Diagnostic Reasoning for Robotics Using Action Languages. LPNMR Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur
2015	A*	`conf`	Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. ICRA Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur
2014	A	`conf`	Cognitive factories with multiple teams of heterogeneous robots: Hybrid reasoning for optimal feasible global plans. IROS Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu
2014	A*	`conf`	Coordination of Multiple Teams of Robots for an Optimal Global Plan. AAAI Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu
2014	—	`conf`	Hybrid Reasoning for Teams of Heterogeneous Robots: Finding an Optimal Feasible Global Plan. AAAI Spring Symposia Zeynep G. Saribatur, Esra Erdem, Volkan Patoglu
2013	—	`conf`	Finding optimal decoupled plans for multiple teams of robots in cognitive factories. SIU Zeynep G. Saribatur, Peter Schüller, Volkan Patoglu, Esra Erdem
2013	J	`jnl`	Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. Theory Pract. Log. Program. Esra Erdem, Volkan Patoglu, Zeynep G. Saribatur, Peter Schüller, Tansel Uras