15 citations · 24 across the 8 of their papers we have counts for
8 papers
The Dual Role of Abstracting over the Irrelevant in Symbolic Explanations: Cognitive Effort vs. Understanding
Zeynep G. Saribatur, Johannes Langer, Ute Schmid
Explanations are central to human cognition, yet AI systems often produce outputs that are difficult to understand. While symbolic AI offers a transparent foundation for interpreta…
An XAI View on Explainable ASP: Methods, Systems, and Perspectives
Thomas Eiter, Tobias Geibinger, Zeynep G. Saribatur
Answer Set Programming (ASP) is a popular declarative reasoning and problem solving approach in symbolic AI. Its rule-based formalism makes it inherently attractive for explainable…
Aligning Generalisation Between Humans and Machines
Filip Ilievski, Barbara Hammer, Frank van Harmelen +22
Recent advances in AI -- including generative approaches -- have resulted in technology that can support humans in scientific discovery and forming decisions, but may also disrupt…
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
Zeynep G. Saribatur, Stefan Woltran
Answer Set Programming (ASP) is a prominent rule-based language for knowledge representation and reasoning with roots in logic programming and non-monotonic reasoning. The aim to c…
Omission-based Abstraction for Answer Set Programs
Zeynep G. Saribatur, Thomas Eiter
Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Progra…
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Thomas Eiter, Zeynep G. Saribatur, Peter Schüller
Humans are capable of abstracting away irrelevant details when studying problems. This is especially noticeable for problems over grid-cells, as humans are able to disregard certai…
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive. We consider abstraction as a means of o…
Reactive Policies with Planning for Action Languages
Zeynep G. Saribatur, Thomas Eiter
We describe a representation in a high-level transition system for policies that express a reactive behavior for the agent. We consider a target decision component that figures out…