3 papers
cs.AI2026
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…
cs.AI2025
ASP-FZN: A Translation-based Constraint Answer Set Solver
Thomas Eiter, Tobias Geibinger, Tobias Kaminski +2
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the s…
cs.AI2025
Why this and not that? A Logic-based Framework for Contrastive Explanations
Tobias Geibinger, Reijo Jaakkola, Antti Kuusisto +2
We define several canonical problems related to contrastive explanations, each answering a question of the form ''Why P but not Q?''. The problems compute causes for both P and Q,…