Gilles Audemard

Univ. Artois & CNRS , CRIL , Lens , France

11 papers in the IJCAI proceedings

IJCAI 2026

Compact Modeling in Constraint Programming with Hybrid Tables

with Christophe Lecoutre, Mouny Samy Modeliar, Nicolas Paris, Nicolas Szczepanski

doi:10.24963/ijcai.2026/255

Details PDF

Computing Coverage-Based Prime Implicant Explanations for Tree-Based Models

with Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski

doi:10.24963/ijcai.2026/461

Details PDF

IJCAI 2024

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

with Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

doi:10.24963/ijcai.2024/408

Details PDF

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

with Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

doi:10.24963/ijcai.2024/407

Details PDF

PyXAI: An XAI Library for Tree-Based Models

with Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

doi:10.24963/ijcai.2024/989

Details PDF

IJCAI 2023

Computing Abductive Explanations for Boosted Regression Trees

with Steve Bellart, Jean-Marie Lagniez, Pierre Marquis

doi:10.24963/ijcai.2023/382

Details PDF

IJCAI 2022

On Preferred Abductive Explanations for Decision Trees and Random Forests

with Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis

doi:10.24963/ijcai.2022/91

Details PDF

IJCAI 2013

Just-In-Time Compilation of Knowledge Bases

with Jean-Marie Lagniez, Laurent Simon

Details PDF

IJCAI 2009

Predicting Learnt Clauses Quality in Modern SAT Solvers

with Laurent Simon

Details PDF

IJCAI 2007

GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability

with Laurent Simon

Details PDF

Symmetry Breaking in Quantified Boolean Formulae

with Saïd Jabbour, Lakhdar Sais

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings