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

Audemard et al. "Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories." International Joint Conference on Artificial Intelligence, 2024.

[Audemard et al. "Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/audemard2024ijcai-deriving/)

@inproceedings{audemard2024ijcai-deriving,
  title     = {{Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories}},
  author    = {Audemard, Gilles and Lagniez, Jean-Marie and Marquis, Pierre and Szczepanski, Nicolas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {3688-3696},
  url       = {https://mlanthology.org/ijcai/2024/audemard2024ijcai-deriving/}
}