2022
Tractable Explanations for d-DNNF Classifiers
AAAI 2022technical
Compilation into propositional languages finds a growing number of practical uses, including in constraint programming, diagnosis and machine learning (ML), among others. One concrete example is the use of propositional languages as classifiers, and one natural question is how to explain the predict…