Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories.

Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Browse the full IJCAI paper archive.