Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski. Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories. In Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024. pages 3688-3696, ijcai.org, 2024. [doi]
Abstract is missing.