2 papers
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.LO2025
A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
Carlos Aguilera-Ventura, Xinghan Liu, Emiliano Lorini +1
We present a computationally grounded semantics for counterfactual conditionals in which i) the state in a model is decomposed into two elements: a propositional valuation and a ca…