11 citations · 19 across the 12 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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,…
cs.AI2022
Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +2
We conceptualize explainability in terms of logic and formula size, giving a number of related definitions of explainability in a very general setting. Our main interest is the so-…