Jean-Marie Lagniez
24 papers · 2013–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
🗺️ Taxonomy Completionist (24) 🏃 Academic Marathon · Half 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🏆
Keyword Champion
(2)
🧭
Keyword Pioneer
🧬
Topic Evolution
🤝
Dynamic Duo
(16)
🔥
Unstoppable · Silver
💎
Century Club · Bronze
🚀
Conference Pioneer
🗃️
Keyword Collector
(71)
❓
The Questioner
Venues
Top co-authors
Research topics
Artificial Intelligence
(11)
Machine Learning
(11)
Core AI
(10)
Mathematics & Optimization
(5)
Core Methods
(5)
Optimization & Theory
(5)
Computer Science
(3)
Foundations
(3)
Optimization
(3)
Application Areas
(2)
Mathematics
(2)
Knowledge & Reasoning
(1)
Bayesian & Probabilistic · Machine Learning
(1)
Bayesian & Probabilistic · Artificial Intelligence
(1)
Reasoning
(1)
Keywords
abductive explanation
(5)
random forest
(4)
explainable ai
(4)
decision tree
(4)
computational complexity
(3)
model counting
(3)
knowledge compilation
(3)
belief revision
(2)
boolean circuit
(2)
recursive algorithm
(2)
boosted tree
(2)
propositional logic
(2)
contrastive explanation
(2)
enumeration algorithm
(2)
variable elimination
(1)
mixed integer programming
(1)
automated reasoning
(1)
explanation generation
(1)
knowledge representation
(1)
abstraction refinement
(1)
Papers
Efficient Confidence Set Enumeration for Multi-label Conformal Classification
UAI 2026
Circuit-Aware d-DNNF Compilation
IJCAI 2025
Probabilistic Explanations for Regression Models
UAI 2025
A Top-Down Tree Model Counter for Quantified Boolean Formulas
IJCAI 2024
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories
IJCAI 2024
On the Computation of Example-Based Abductive Explanations for Random Forests
IJCAI 2024
PyXAI: An XAI Library for Tree-Based Models
IJCAI 2024
Computing Abductive Explanations for Boosted Regression Trees
IJCAI 2023
Computing Abductive Explanations for Boosted Trees
AISTATS 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
Boosting MCSes Enumeration
IJCAI 2018
DMC: A Distributed Model Counter
IJCAI 2018
An Improved Decision-DNNF Compiler
IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
IJCAI 2017
Improving Model Counting by Leveraging Definability
IJCAI 2016
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
IJCAI 2015
Just-in-Time Compilation of Knowledge Bases
IJCAI 2013
Knowledge Compilation for Model Counting: Affine Decision Trees
IJCAI 2013
Preserving Partial Solutions while Relaxing Constraint Networks
IJCAI 2013