Paper on a model reconciliation explanations in probabilistic logic programs accepted at the NeurIPS 2025!