Proceedings

Pierre Marquis

Univ. Artois , CNRS , CRIL , Lens , France; Institut Universitaire de France , France

42 papers in the IJCAI proceedings

IJCAI 2026

Computing Coverage-Based Prime Implicant Explanations for Tree-Based Models
with Gilles Audemard, Sylvie Coste-Marquis, Mehdi Sabiri, Nicolas Szczepanski
doi:10.24963/ijcai.2026/461
Details PDF

IJCAI 2025

Iterated Belief Change as Learning
with Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny
doi:10.24963/ijcai.2025/520
Details PDF

IJCAI 2024

Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories
with Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski
doi:10.24963/ijcai.2024/408
Details PDF
On the Computation of Example-Based Abductive Explanations for Random Forests
with Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski
doi:10.24963/ijcai.2024/407
Details PDF
PyXAI: An XAI Library for Tree-Based Models
with Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski
doi:10.24963/ijcai.2024/989
Details PDF

IJCAI 2023

Computing Abductive Explanations for Boosted Regression Trees
with Gilles Audemard, Steve Bellart, Jean-Marie Lagniez
doi:10.24963/ijcai.2023/382
Details PDF
On Translations between ML Models for XAI Purposes
with Alexis de Colnet
doi:10.24963/ijcai.2023/352
Details PDF

IJCAI 2022

On Preferred Abductive Explanations for Decision Trees and Random Forests
with Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez
doi:10.24963/ijcai.2022/91
Details PDF
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract)
with Adnan Darwiche
doi:10.24963/ijcai.2022/797
Details PDF
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits
with Alexis de Colnet
doi:10.24963/ijcai.2022/358
Details PDF

IJCAI 2021

On Belief Change for Multi-Label Classifier Encodings
with Sylvie Coste-Marquis
doi:10.24963/ijcai.2021/252
Details PDF

IJCAI 2020

Belief Merging Operators as Maximum Likelihood Estimators
with Patricia Everaere, Sebastien Konieczny
doi:10.24963/ijcai.2020/244
Details PDF
On Computational Aspects of Iterated Belief Change
with Nicolas Schwind, Sebastien Konieczny, Jean-Marie Lagniez
doi:10.24963/ijcai.2020/245
Details PDF
On Irrelevant Literals in Pseudo-Boolean Constraint Learning
with Daniel Le Berre, Stefan Mengel, Romain Wallon
doi:10.24963/ijcai.2020/160
Details PDF

IJCAI 2019

Rational Inference Relations from Maximal Consistent Subsets Selection
with Sébastien Konieczny, Srdjan Vesic
doi:10.24963/ijcai.2019/242
Details PDF
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario
with Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez
doi:10.24963/ijcai.2019/258
Details PDF

IJCAI 2018

DMC: A Distributed Model Counter
with Jean-Marie Lagniez, Nicolas Szczepanski
doi:10.24963/ijcai.2018/185
Details PDF
Pseudo-Boolean Constraints from a Knowledge Representation Perspective
with Daniel Le Berre, Stefan Mengel, Romain Wallon
doi:10.24963/ijcai.2018/261
Details PDF

IJCAI 2017

An Improved Decision-DNNF Compiler
with Jean-Marie Lagniez
doi:10.24963/ijcai.2017/93
Details PDF

IJCAI 2016

Improving Model Counting by Leveraging Definability
with Jean-Marie Lagniez, Emmanuel Lonca
Details PDF
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?
with Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny
Details PDF

IJCAI 2015

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
with Frédéric Koriche, Jean-Marie Lagniez, Samuel Thomas
Details PDF
Extension Enforcement in Abstract Argumentation as an Optimization Problem
with Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly
Details PDF

IJCAI 2013

Knowledge Compilation for Model Counting: Affine Decision Trees
with Frédéric Koriche, Jean-Marie Lagniez, Samuel Thomas
Details PDF
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues
with Hélène Fargier, Nicolas Schmidt
Details PDF
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages
with Hélène Fargier, Alexandre Niveau
Details PDF

IJCAI 2011

Belief Base Rationalization for Propositional Merging
with Sébastien Konieczny, Nicolas Schwind
doi:10.5591/978-1-57735-516-8/IJCAI11-164
Details PDF
Existential Closures for Knowledge Compilation
doi:10.5591/978-1-57735-516-8/IJCAI11-171
Details PDF
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
with Nicolas Schwind
doi:10.5591/978-1-57735-516-8/IJCAI11-172
Details PDF

IJCAI 2009

Knowledge Compilation Properties of Trees-of-BDDs, Revisited
with Hélène Fargier
Details PDF

IJCAI 2007

On Valued Negation Normal Form Formulas
with Hélène Fargier
Details PDF

IJCAI 2005

Quota and Gmin Merging Operators
with Patricia Everaere, Sébastien Konieczny
Details PDF
Reasoning under inconsistency: the forgotten connective
with Sébastien Konieczny, Jérôme Lang
Details PDF

IJCAI 2003

Action representation and partially observable planning using epistemic logic
with Andreas Herzig, Jérôme Lang
Details PDF
Causal Theories of Action: A Computational Core
with Jérôme Lang, Fangzhen Lin
Details PDF
Quantifying information and contradiction in propositional logic through test actions
with Sébastien Konieczny, Jérôme Lang
Details PDF

IJCAI 2001

A Perspective on Knowledge Compilation
with Adnan Darwiche
Details PDF
Resource-bounded inference from inconsistent belief bases
with Nadège Porquet
Details PDF
Updates, actions, and planning
with Andreas Herzig, Jérôme Lang, Thomas Polacsek
Details PDF

IJCAI 1999

Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases
with Sylvie Coste-Marquis
Details PDF

IJCAI 1997

Tractable Cover Compilations
with Yacine Boufkhad, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
Details PDF

IJCAI 1995

Knowledge Compilation Using Theory Prime Implicates
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards