Jean-Marie Lagniez

23 papers · 2013–2025 · 4 conferences · across top CS/AI conferences

Achievements

🏃 Academic Marathon (12) 🗺️ Taxonomy Completionist (21) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13) 🌍 Conference Polyglot (4) 🤝 Dynamic Duo (16) 🧬 Topic Evolution 🏆 Keyword Champion (2) 🚀 Conference Pioneer 🗃️ Keyword Collector (61) ❓ The Questioner 🔥 Unstoppable (11) 💎 Century Club (23)

Conferences

IJCAI (18) AAAI (3) AISTATS (1) UAI (1)

Top co-authors

Pierre Marquis (16) Gilles Audemard (8) Frédéric Koriche (5) Nicolas Szczepanski (5) Steve Bellart (3) Sébastien Konieczny (2) Nicolas Schwind (2) Florent Capelli (2) Éric Grégoire (2) Louènas Bounia (2)

Keywords

abductive explanation (5) random forest (4) explainable ai (4) decision tree (4) knowledge compilation (3) computational complexity (3) model counting (3) belief revision (2) contrastive explanation (2) recursive algorithm (2) propositional logic (2) boosted tree (2) discrete mathematics (1) tree models (1) feature importance (1) interpretable machine learning (1) variable elimination (1) model explanation (1) automated reasoning (1) local explanation (1)

Papers

Circuit-Aware d-DNNF Compilation IJCAI 2025

Probabilistic Explanations for Regression Models UAI 2025

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

A Top-Down Tree Model Counter for Quantified Boolean Formulas IJCAI 2024

PyXAI: An XAI Library for Tree-Based Models IJCAI 2024

On the Computation of Example-Based Abductive Explanations for Random Forests IJCAI 2024

Computing Abductive Explanations for Boosted Trees AISTATS 2023

Computing Abductive Explanations for Boosted Regression Trees IJCAI 2023

On Preferred Abductive Explanations for Decision Trees and Random Forests IJCAI 2022

Trading Complexity for Sparsity in Random Forest Explanations AAAI 2022

Certifying Top-Down Decision-DNNF Compilers AAAI 2021

On Computational Aspects of Iterated Belief Change IJCAI 2020

A Recursive Algorithm for Projected Model Counting AAAI 2019

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario IJCAI 2019

DMC: A Distributed Model Counter IJCAI 2018

Boosting MCSes Enumeration IJCAI 2018

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017

An Improved Decision-DNNF Compiler IJCAI 2017

Improving Model Counting by Leveraging Definability IJCAI 2016

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs IJCAI 2015

Knowledge Compilation for Model Counting: Affine Decision Trees IJCAI 2013

Preserving Partial Solutions while Relaxing Constraint Networks IJCAI 2013

Just-in-Time Compilation of Knowledge Bases IJCAI 2013