Nicolas Szczepanski

abductive explanation (3) explainable ai (3) contrastive explanation (2) boosted tree (2) random forest (2) decision tree (2) heterogeneous computing (1) work stealing (1) tree-based model (1) propositional logic (1) model counting (1) coverage condition (1) domain theory (1) cegar algorithm (1) computational complexity (1) distributed computing (1) automated reasoning (1) polynomial time (1) local explanation (1)