TY - RPRT TI - Why this and not that? A Logic-based Framework for Contrastive Explanations AU - Tobias Geibinger AU - Reijo Jaakkola AU - Antti Kuusisto AU - Xinghan Liu AU - Miikka Vilander PY - 2025 UR - https://arxiv.org/abs/2507.08454 ID - 2507.08454 ER -