On Computing Probabilistic Explanations for Decision Trees Marcelo Arenas 1,2,4, Miguel Romero