Lagniez, Jean-Marie

31 publications

IJCAI 2025 Circuit-Aware D-DNNF Compilation Vincent Derkinderen, Jean-Marie Lagniez

UAI 2025 Probabilistic Explanations for Regression Models Frédéric Koriche, Jean-Marie Lagniez, Chi Tran

IJCAI 2024 A Top-Down Tree Model Counter for Quantified Boolean Formulas Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl

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

ECML-PKDD 2024 Learning Model Agnostic Explanations via Constraint Programming Frédéric Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran

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

IJCAI 2023 Computing Abductive Explanations for Boosted Regression Trees Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis

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

IJCAI 2022 On Preferred Abductive Explanations for Decision Trees and Random Forests Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

AAAI 2022 Trading Complexity for Sparsity in Random Forest Explanations Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

AAAI 2021 Certifying Top-Down Decision-DNNF Compilers Florent Capelli, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2020 On Computational Aspects of Iterated Belief Change Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

AAAI 2019 A Recursive Algorithm for Projected Model Counting Jean-Marie Lagniez, Pierre Marquis

IJCAI 2019 What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2018 Boosting MCSes Enumeration Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

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

IJCAI 2017 A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

AAAI 2017 A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem Thomas Caridroit, Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail

IJCAI 2017 An Improved Decision-DNNF Compiler Jean-Marie Lagniez, Pierre Marquis

AAAI 2017 SAT Encodings for Distance-Based Belief Merging Operators Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2016 Improving Model Counting by Leveraging Definability Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

IJCAI 2016 On Consensus Extraction Éric Grégoire, Sébastien Konieczny, Jean-Marie Lagniez

AAAI 2016 On the Extraction of One Maximal Information Subset That Does Not Conflict with Multiple Contexts Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

IJCAI 2015 Compiling Constraint Networks into Multivalued Decomposable Decision Graphs Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas

AAAI 2015 On Computing Maximal Subsets of Clauses That Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts Philippe Besnard, Éric Grégoire, Jean-Marie Lagniez

AAAI 2014 An Experimentally Efficient Method for (MSS, CoMSS) Partitioning Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure

AAAI 2014 Preprocessing for Propositional Model Counting Jean-Marie Lagniez, Pierre Marquis

IJCAI 2013 Just-in-Time Compilation of Knowledge Bases Gilles Audemard, Jean-Marie Lagniez, Laurent Simon

IJCAI 2013 Knowledge Compilation for Model Counting: Affine Decision Trees Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas

IJCAI 2013 Preserving Partial Solutions While Relaxing Constraint Networks Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure