| 2026 | ACL | Explanation Quality Assessment as Ranking with Listwise Rewards. | Thomas Bailleux, Tanmoy Mukherjee, Emmanuel Lonca, Pierre Marquis, Zied Bouraoui |
| 2026 | ACL | Credal Concept Bottleneck Models for Epistemic-Aleatoric Uncertainty Decomposition. | Tanmoy Mukherjee, Thomas Bailleux, Pierre Marquis, Zied Bouraoui |
| 2026 | AIME | Predicting Critical Deterioration of Patients in Emergency Units Using Administrative Health Data. | Clment Lens, Bilal Majed, Pierre Marquis, Karim Tabia, Romain Wallon |
| 2026 | KR | A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees. | Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski |
| 2025 | IJCAI | Iterated Belief Change as Learning. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Pierre Marquis |
| 2024 | AAAI | BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Pierre Marquis |
| 2024 | ECAI | Designing an XAI Interface for Tree-Based ML Models. | Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski |
| 2024 | ECAI | On the Computation of Contrastive Explanations for Boosted Regression Trees. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis |
| 2024 | IJCAI | On the Computation of Example-Based Abductive Explanations for Random Forests. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2024 | IJCAI | Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2024 | IJCAI | PyXAI: An XAI Library for Tree-Based Models. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2024 | SAT | Dynamic Blocked Clause Elimination for Projected Model Counting. | Jean-Marie Lagniez, Pierre Marquis, Armin Biere |
| 2023 | AAAI | Editing Boolean Classifiers: A Belief Change Perspective. | Nicolas Schwind, Katsumi Inoue, Pierre Marquis |
| 2023 | AISTATS | Computing Abductive Explanations for Boosted Trees. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2023 | ECAI | On Contrastive Explanations for Tree-Based Classifiers. | Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2023 | ECAI | Rectifying Binary Classifiers. | Sylvie Coste-Marquis, Pierre Marquis |
| 2023 | IJCAI | Computing Abductive Explanations for Boosted Regression Trees. | Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis |
| 2023 | IJCAI | On Translations between ML Models for XAI Purposes. | Alexis de Colnet, Pierre Marquis |
| 2023 | JELIA | Boosting Definability Bipartition Computation Using SAT Witnesses. | Jean-Marie Lagniez, Pierre Marquis |
| 2022 | AAAI | Trading Complexity for Sparsity in Random Forest Explanations. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2022 | IJCAI | On Preferred Abductive Explanations for Decision Trees and Random Forests. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2022 | IJCAI | On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. | Alexis de Colnet, Pierre Marquis |
| 2022 | IJCAI | On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). | Adnan Darwiche, Pierre Marquis |
| 2022 | ISAIM | On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. | Alexis de Colnet, Pierre Marquis |
| 2021 | AAAI | Certifying Top-Down Decision-DNNF Compilers. | Florent Capelli, Jean-Marie Lagniez, Pierre Marquis |
| 2021 | IJCAI | On Belief Change for Multi-Label Classifier Encodings. | Sylvie Coste-Marquis, Pierre Marquis |
| 2021 | KR | On the Computational Intelligibility of Boolean Classifiers. | Gilles Audemard, Steve Bellart, Louenas Bounia, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2020 | ECAI | Consolidating Modal Knowledge Bases. | Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail |
| 2020 | IJCAI | On Irrelevant Literals in Pseudo-Boolean Constraint Learning. | Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon |
| 2020 | IJCAI | Belief Merging Operators as Maximum Likelihood Estimators. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2020 | IJCAI | On Computational Aspects of Iterated Belief Change. | Nicolas Schwind, Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2020 | KR | On Tractable XAI Queries based on Compiled Representations. | Gilles Audemard, Frdric Koriche, Pierre Marquis |
| 2020 | SAT | On Weakening Strategies for PB Solvers. | Daniel Le Berre, Pierre Marquis, Romain Wallon |
| 2019 | AAAI | A Recursive Algorithm for Projected Model Counting. | Jean-Marie Lagniez, Pierre Marquis |
| 2019 | IJCAI | Rational Inference Relations from Maximal Consistent Subsets Selection. | Sbastien Konieczny, Pierre Marquis, Srdjan Vesic |
| 2019 | IJCAI | What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. | Nicolas Schwind, Katsumi Inoue, Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2018 | AAAI | On Consensus in Belief Merging. | Nicolas Schwind, Pierre Marquis |
| 2018 | IJCAI | Pseudo-Boolean Constraints from a Knowledge Representation Perspective. | Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon |
| 2018 | IJCAI | DMC: A Distributed Model Counter. | Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski |
| 2018 | KR | New Inference Relations from Maximal Consistent Subsets. | Sbastien Konieczny, Pierre Marquis, Srdjan Vesic |
| 2018 | KR | On Belief Promotion. | Nicolas Schwind, Sbastien Konieczny, Pierre Marquis |
| 2018 | KR | Probabilistic Coalition Structure Generation. | Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis |
| 2018 | PRIMA | Robust Coalition Structure Generation. | Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis |
| 2017 | AAAI | SAT Encodings for Distance-Based Belief Merging Operators. | Sbastien Konieczny, Jean-Marie Lagniez, Pierre Marquis |
| 2017 | CP | Defining and Evaluating Heuristics for the Compilation of Constraint Networks. | Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou |
| 2017 | IJCAI | An Improved Decision-DNNF Compiler. | Jean-Marie Lagniez, Pierre Marquis |
| 2016 | AAAI | Preface: The Beyond NP Workshop. | Adnan Darwiche, Joo Marques-Silva, Pierre Marquis |
| 2016 | ECAI | An Improved CNF Encoding Scheme for Probabilistic Inference. | Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2016 | ECAI | On Distances Between KD45n Kripke Models and Their Use for Belief Revision. | Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis |
| 2016 | ECAI | Fixed-Parameter Tractable Optimization Under DNNF Constraints. | Frdric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis |
| 2016 | IJCAI | Improving Model Counting by Leveraging Definability. | Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis |
| 2016 | IJCAI | Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. | Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sbastien Konieczny, Pierre Marquis |
| 2015 | AAAI | Compile! | Pierre Marquis |
| 2015 | AAAI | Belief Revision Games. | Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sbastien Konieczny, Pierre Marquis |
| 2015 | ECSQARU | Private Expansion and Revision in Multi-agent Settings. | Thomas Caridroit, Sbastien Konieczny, Tiago de Lima, Pierre Marquis |
| 2015 | ECSQARU | Contraction in Propositional Logic. | Thomas Caridroit, Sbastien Konieczny, Pierre Marquis |
| 2015 | ECSQARU | On Supported Inference and Extension Selection in Abstract Argumentation Frameworks. | Sbastien Konieczny, Pierre Marquis, Srdjan Vesic |
| 2015 | IJCAI | Extension Enforcement in Abstract Argumentation as an Optimization Problem. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2015 | IJCAI | Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. | Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| 2014 | AAAI | A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. | Hlne Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt |
| 2014 | AAAI | Preprocessing for Propositional Model Counting. | Jean-Marie Lagniez, Pierre Marquis |
| 2014 | ECAI | Symmetry-Driven Decision Diagrams for Knowledge Compilation. | Anicet Bart, Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis |
| 2014 | ECAI | Propositional Merging and Judgment Aggregation: Two Compatible Approaches? | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2014 | ECAI | Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries. | Pierre Marquis, Odile Papini, Henri Prade |
| 2014 | JELIA | A Translation-Based Approach for Revision of Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | KR | On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | KR | On Egalitarian Belief Merging. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2013 | IJCAI | Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. | Hlne Fargier, Pierre Marquis, Alexandre Niveau |
| 2013 | IJCAI | Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. | Hlne Fargier, Pierre Marquis, Nicolas Schmidt |
| 2013 | IJCAI | Knowledge Compilation for Model Counting: Affine Decision Trees. | Frdric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas |
| 2012 | COMMA | Selecting Extensions in Weighted Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
| 2012 | COMMA | Argument Aggregation: Basic Axioms and Complexity Results. | Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge |
| 2012 | KR | On Unit-Refutation Complete Formulae with Existentially Quantified Variables. | Lucas Bordeaux, Mikols Janota, Joo Marques-Silva, Pierre Marquis |
| 2012 | KR | Weighted Attacks in Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
| 2012 | KR | Compositional Belief Merging. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2011 | IJCAI | Belief Base Rationalization for Propositional Merging. | Sbastien Konieczny, Pierre Marquis, Nicolas Schwind |
| 2011 | IJCAI | Existential Closures for Knowledge Compilation. | Pierre Marquis |
| 2011 | IJCAI | Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. | Pierre Marquis, Nicolas Schwind |
| 2010 | AAAI | Knowledge Compilation in the Modal Logic S5. | Meghyn Bienvenu, Hlne Fargier, Pierre Marquis |
| 2010 | ECAI | Majority Merging: from Boolean Spaces to Affine Spaces. | Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
| 2010 | ECAI | The Epistemic View of Belief Merging: Can We Track the Truth?. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2010 | KR | A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. | Ramzi Ben Larbi, Sbastien Konieczny, Pierre Marquis |
| 2010 | LPAR | A Syntactical Approach to Qualitative Constraint Networks Merging. | Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
| 2009 | ECSQARU | Merging Qualitative Constraints Networks Using Propositional Logic. | Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
| 2009 | IJCAI | Knowledge Compilation Properties of Trees-of-BDDs, Revisited. | Hlne Fargier, Pierre Marquis |
| 2009 | ICTAI | Merging Qualitative Constraint Networks in a Piecewise Fashion. | Jean-Franois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind |
| 2008 | AAAI | Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. | Hlne Fargier, Pierre Marquis |
| 2008 | ECAI | Propositional merging operators based on set-theoretic closeness. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2008 | ECAI | Extending the Knowledge Compilation Map: Closure Principles. | Hlne Fargier, Pierre Marquis |
| 2008 | ICTAI | A Model for Multiple Outcomes Games. | Ramzi Ben Larbi, Sbastien Konieczny, Pierre Marquis |
| 2008 | JELIA | Recovering Consistency by Forgetting Inconsistency. | Sylvie Coste-Marquis, Pierre Marquis |
| 2008 | KR | Conflict-Based Merging Operators. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2007 | ECSQARU | Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. | Ramzi Ben Larbi, Sbastien Konieczny, Pierre Marquis |
| 2007 | IJCAI | On Valued Negation Normal Form Formulas. | Hlne Fargier, Pierre Marquis |
| 2006 | AAAI | On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. | Hlne Fargier, Pierre Marquis |
| 2006 | ECAI | Variable Forgetting in Preference Relations over Propositional Domains. | Philippe Besnard, Jrme Lang, Pierre Marquis |
| 2006 | KR | Constrained Argumentation Frameworks. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2006 | KR | Representing Policies for Quantified Boolean Formulae. | Sylvie Coste-Marquis, Hlne Fargier, Jrme Lang, Daniel Le Berre, Pierre Marquis |
| 2005 | AAAI | Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. | Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis |
| 2005 | AAAI | Merging Argumentation Systems. | Sylvie Coste-Marquis, Caroline Devred, Sbastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis |
| 2005 | ECSQARU | Symmetric Argumentation Frameworks. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2005 | ECSQARU | Conciliation and Consensus in Iterated Belief Merging. | Olivier Gauwin, Sbastien Konieczny, Pierre Marquis |
| 2005 | IJCAI | Quota and Gmin Merging Operators. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2005 | IJCAI | Reasoning under inconsistency: the forgotten connective. | Sbastien Konieczny, Jrme Lang, Pierre Marquis |
| 2005 | ICTAI | Prudent Semantics for Argumentation Frameworks. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2005 | LPAR | Inference from Controversial Arguments. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2004 | ECAI | A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. | Sylvie Coste-Marquis, Pierre Marquis |
| 2004 | KR | Expressive Power and Succinctness of Propositional Languages for Preference Representation. | Sylvie Coste-Marquis, Jrme Lang, Paolo Liberatore, Pierre Marquis |
| 2004 | KR | On Merging Strategy-Proofness. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |
| 2003 | IJCAI | Action representation and partially observable planning using epistemic logic. | Andreas Herzig, Jrme Lang, Pierre Marquis |
| 2003 | IJCAI | Quantifying information and contradiction in propositional logic through test actions. | Sbastien Konieczny, Jrme Lang, Pierre Marquis |
| 2003 | IJCAI | Causal Theories of Action: A Computational Core. | Jrme Lang, Fangzhen Lin, Pierre Marquis |
| 2002 | JELIA | Three-Valued Logics for Inconsistency Handling. | Sbastien Konieczny, Pierre Marquis |
| 2002 | KR | Complexity Results for Paraconsistent Inference Relations. | Sylvie Coste-Marquis, Pierre Marquis |
| 2002 | KR | Distance Based Merging: A General Framework and some Complexity Results. | Sbastien Konieczny, Jrme Lang, Pierre Marquis |
| 2002 | KR | Resolving Inconsistencies by Variable Forgetting. | Jrme Lang, Pierre Marquis |
| 2001 | IJCAI | A Perspective on Knowledge Compilation. | Adnan Darwiche, Pierre Marquis |
| 2001 | IJCAI | Updates, actions, and planning. | Andreas Herzig, Jrme Lang, Pierre Marquis, Thomas Polacsek |
| 2001 | IJCAI | Resource-bounded inference from inconsistent belief bases. | Pierre Marquis, Nadge Porquet |
| 2000 | ECAI | Compiling Stratified Belief Bases. | Sylvie Coste-Marquis, Pierre Marquis |
| 2000 | KR | Propositional Logic and One-Stage Decision Making. | Hlne Fargier, Jrme Lang, Pierre Marquis |
| 2000 | KR | In search of the right extension. | Jrme Lang, Pierre Marquis |
| 1999 | AAAI | DISTANCE-SAT: Complexity and Algorithms. | Olivier Bailleux, Pierre Marquis |
| 1999 | IJCAI | Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. | Sylvie Coste-Marquis, Pierre Marquis |
| 1998 | AAAI | Two Forms of Dependence in Propositional Logic: Controllability and Definability. | Jrme Lang, Pierre Marquis |
| 1998 | AIMSA | Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. | Brigitte Bessant, ric Grgoire, Pierre Marquis, Lakhdar Sais |
| 1998 | KR | Complexity Results for Independence and Definability in Propositional Logic. | Jrme Lang, Pierre Marquis |
| 1997 | IJCAI | Tractable Cover Compilations. | Yacine Boufkhad, ric Grgoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais |
| 1996 | AAAI | A New Algorithm for Computing Theory Prime Implicates Compilations. | Pierre Marquis, Samira Sadaoui |
| 1995 | IJCAI | Knowledge Compilation Using Theory Prime Implicates. | Pierre Marquis |
| 1994 | ECAI | Possible Models Approach via Independency. | Pierre Marquis |
| 1994 | ICTAI | Assumption-Based Truth Maintenance in Precense of Temproal Assertions. | Maroua Bouzid, Franois Charpillet, Pierre Marquis, Jean Paul Haton |
| 1993 | ICTAI | On Metatheoretic Properties of Logic-Based Abductive Inference. | Pierre Marquis |
| 1992 | ECAI | A Model for Hypothetical Reasoning Applied to Speech Recognition. | Anne Bonneau, Franois Charpillet, Sylvie Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis |
| 1992 | ECAI | Building up Inductive Generalizations from Facts. | Pierre Marquis |
| 1991 | ICTAI | Mechanizing skeptical abduction and its applications to artificial intelligence. | Pierre Marquis |
| 1991 | ISMIS | Novelty Revisited. | Pierre Marquis |
| 1990 | ECAI | Deductive/Abductvie Diagnosis: The DA-Principles. | Bchir el Ayeb, Pierre Marquis, Michal Rusinowitch |