Jean-Marie Lagniez
23 papers · 2013–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
🏃 Academic Marathon (12) 🌍 Conference Polyglot (4) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)
🐝
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
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