Szczepanski, Nicolas

5 publications

IJCAI 2024 Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2024 On the Computation of Example-Based Abductive Explanations for Random Forests Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2024 PyXAI: An XAI Library for Tree-Based Models Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

AISTATS 2023 Computing Abductive Explanations for Boosted Trees Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2018 DMC: A Distributed Model Counter Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski