Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming - Tang, Yinxu; Vasileiou, Stylianos Loukas; Derkinderen, Vincent; Yeoh, William (Advances in Neural Information Processing Systems, 2025)