15 citations · 24 across the 8 of their papers we have counts for
6 papers · 1 filter
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…
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…
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…