OnComputingProbabilisticExplanations forDecisionTrees