Model Reconciliation via Cost-Optimal Explanations in Probabilistic Logic Programming | Read Paper on Bytez