Proceedings

Jean-Marie Lagniez

Univ. Artois , CNRS , CRIL , France

22 papers in the IJCAI proceedings

IJCAI 2026

Efficient Minimization of Decision-DNNF Circuits via Semantic Hashing and Provenance Tracking
with Armin Biere, Emmanuel Lonca
doi:10.24963/ijcai.2026/420
Details PDF
gDMC: A Generic Distributed Model Counting Framework via Work-Stealing
with Zhenghang Xu, Minghao Yin, Junping Zhou
doi:10.24963/ijcai.2026/268
Details PDF

IJCAI 2025

Circuit-Aware d-DNNF Compilation
with Vincent Derkinderen
doi:10.24963/ijcai.2025/496
Details PDF

IJCAI 2024

A Top-Down Tree Model Counter for Quantified Boolean Formulas
with Florent Capelli, Andreas Plank, Martina Seidl
doi:10.24963/ijcai.2024/205
Details PDF
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories
with Gilles Audemard, Pierre Marquis, Nicolas Szczepanski
doi:10.24963/ijcai.2024/408
Details PDF
On the Computation of Example-Based Abductive Explanations for Random Forests
with Gilles Audemard, Pierre Marquis, Nicolas Szczepanski
doi:10.24963/ijcai.2024/407
Details PDF
PyXAI: An XAI Library for Tree-Based Models
with Gilles Audemard, Pierre Marquis, Nicolas Szczepanski
doi:10.24963/ijcai.2024/989
Details PDF

IJCAI 2023

Computing Abductive Explanations for Boosted Regression Trees
with Gilles Audemard, Steve Bellart, Pierre Marquis
doi:10.24963/ijcai.2023/382
Details PDF

IJCAI 2022

On Preferred Abductive Explanations for Decision Trees and Random Forests
with Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Pierre Marquis
doi:10.24963/ijcai.2022/91
Details PDF

IJCAI 2020

On Computational Aspects of Iterated Belief Change
with Nicolas Schwind, Sebastien Konieczny, Pierre Marquis
doi:10.24963/ijcai.2020/245
Details PDF

IJCAI 2019

What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario
with Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
doi:10.24963/ijcai.2019/258
Details PDF

IJCAI 2018

Boosting MCSes Enumeration
with Éric Grégoire, Yacine Izza
doi:10.24963/ijcai.2018/182
Details PDF
DMC: A Distributed Model Counter
with Pierre Marquis, Nicolas Szczepanski
doi:10.24963/ijcai.2018/185
Details PDF

IJCAI 2017

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
with Daniel Le Berre, Tiago de Lima, Valentin Montmirail
doi:10.24963/ijcai.2017/94
Details PDF
An Improved Decision-DNNF Compiler
with Pierre Marquis
doi:10.24963/ijcai.2017/93
Details PDF

IJCAI 2016

Improving Model Counting by Leveraging Definability
with Emmanuel Lonca, Pierre Marquis
Details PDF
On Consensus Extraction
with Éric Grégoire, Sébastien Konieczny
Details PDF

IJCAI 2015

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
with Frédéric Koriche, Pierre Marquis, Samuel Thomas
Details PDF

IJCAI 2013

Just-In-Time Compilation of Knowledge Bases
with Gilles Audemard, Laurent Simon
Details PDF
Knowledge Compilation for Model Counting: Affine Decision Trees
with Frédéric Koriche, Pierre Marquis, Samuel Thomas
Details PDF
Preserving Partial Solutions While Relaxing Constraint Networks
with Éric Grégoire, Bertrand Mazure
Details PDF
Preserving Partial Solutions While Relaxing Constraint Networks
with Éric Grégoire, Bertrand Mazure
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards