Marquis, Pierre

67 publications

IJCAI 2025 Iterated Belief Change as Learning Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

AAAI 2024 BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

IJCAI 2024 Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2024 On the Computation of Example-Based Abductive Explanations for Random Forests Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2024 PyXAI: An XAI Library for Tree-Based Models Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

IJCAI 2023 Computing Abductive Explanations for Boosted Regression Trees Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis

AISTATS 2023 Computing Abductive Explanations for Boosted Trees Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

AAAI 2023 Editing Boolean Classifiers: A Belief Change Perspective Nicolas Schwind, Katsumi Inoue, Pierre Marquis

IJCAI 2023 On Translations Between ML Models for XAI Purposes Alexis de Colnet, Pierre Marquis

IJCAI 2022 On Preferred Abductive Explanations for Decision Trees and Random Forests Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2022 On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI (Extended Abstract) Adnan Darwiche, Pierre Marquis

IJCAI 2022 On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits Alexis de Colnet, Pierre Marquis

AAAI 2022 Trading Complexity for Sparsity in Random Forest Explanations Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis

AAAI 2021 Certifying Top-Down Decision-DNNF Compilers Florent Capelli, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2021 On Belief Change for Multi-Label Classifier Encodings Sylvie Coste-Marquis, Pierre Marquis

JAIR 2021 On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI Adnan Darwiche, Pierre Marquis

IJCAI 2020 Belief Merging Operators as Maximum Likelihood Estimators Patricia Everaere, Sébastien Konieczny, Pierre Marquis

IJCAI 2020 On Computational Aspects of Iterated Belief Change Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2020 On Irrelevant Literals in Pseudo-Boolean Constraint Learning Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

AAAI 2019 A Recursive Algorithm for Projected Model Counting Jean-Marie Lagniez, Pierre Marquis

IJCAI 2019 Rational Inference Relations from Maximal Consistent Subsets Selection Sébastien Konieczny, Pierre Marquis, Srdjan Vesic

IJCAI 2019 What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2018 DMC: A Distributed Model Counter Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

AAAI 2018 On Consensus in Belief Merging Nicolas Schwind, Pierre Marquis

IJCAI 2018 Pseudo-Boolean Constraints from a Knowledge Representation Perspective Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

IJCAI 2017 An Improved Decision-DNNF Compiler Jean-Marie Lagniez, Pierre Marquis

AAAI 2017 SAT Encodings for Distance-Based Belief Merging Operators Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis

IJCAI 2016 Improving Model Counting by Leveraging Definability Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

IJCAI 2016 Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

AAAI 2015 Belief Revision Games Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

AAAI 2015 Compile! Pierre Marquis

IJCAI 2015 Compiling Constraint Networks into Multivalued Decomposable Decision Graphs Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas

IJCAI 2015 Extension Enforcement in Abstract Argumentation as an Optimization Problem Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis

AAAI 2014 A Knowledge Compilation mAP for Ordered Real-Valued Decision Diagrams Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt

AAAI 2014 Preprocessing for Propositional Model Counting Jean-Marie Lagniez, Pierre Marquis

IJCAI 2013 Knowledge Compilation for Model Counting: Affine Decision Trees Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas

IJCAI 2013 Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues Hélène Fargier, Pierre Marquis, Nicolas Schmidt

IJCAI 2013 Towards a Knowledge Compilation mAP for Heterogeneous Representation Languages Hélène Fargier, Pierre Marquis, Alexandre Niveau

IJCAI 2011 Belief Base Rationalization for Propositional Merging Sébastien Konieczny, Pierre Marquis, Nicolas Schwind

IJCAI 2011 Existential Closures for Knowledge Compilation Pierre Marquis

IJCAI 2011 Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging Pierre Marquis, Nicolas Schwind

AAAI 2010 Knowledge Compilation in the Modal Logic S5 Meghyn Bienvenu, Hélène Fargier, Pierre Marquis

IJCAI 2009 Knowledge Compilation Properties of Trees-of-BDDs, Revisited Hélène Fargier, Pierre Marquis

AAAI 2008 Extending the Knowledge Compilation mAP: Krom, Horn, Affine and Beyond Hélène Fargier, Pierre Marquis

IJCAI 2007 On Valued Negation Normal Form Formulas Hélène Fargier, Pierre Marquis

JAIR 2007 The Strategy-Proofness Landscape of Merging Patricia Everaere, Sébastien Konieczny, Pierre Marquis

AAAI 2006 On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae Hélène Fargier, Pierre Marquis

AAAI 2005 Merging Argumentation Systems Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis

AAAI 2005 Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis

IJCAI 2005 Quota and Gmin Merging Operators Patricia Everaere, Sébastien Konieczny, Pierre Marquis

IJCAI 2005 Reasoning Under Inconsistency: The Forgotten Connective Sébastien Konieczny, Jérôme Lang, Pierre Marquis

IJCAI 2003 Action Representation and Partially Observable Planning Using Epistemic Logic Andreas Herzig, Jérôme Lang, Pierre Marquis

IJCAI 2003 Causal Theories of Action: A Computational Core Jérôme Lang, Fangzhen Lin, Pierre Marquis

JAIR 2003 Propositional Independence: Formula-Variable Independence and Forgetting Jérôme Lang, Paolo Liberatore, Pierre Marquis

IJCAI 2003 Quantifying Information and Contradiction in Propositional Logic Through Test Actions Sébastien Konieczny, Jérôme Lang, Pierre Marquis

JAIR 2002 A Knowledge Compilation mAP Adnan Darwiche, Pierre Marquis

IJCAI 2001 A Perspective on Knowledge Compilation Adnan Darwiche, Pierre Marquis

IJCAI 2001 Resource-Bounded Inference from Inconsistent Belief Bases Pierre Marquis, Nadège Porquet

IJCAI 2001 Updates, Actions, and Planning Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek

IJCAI 1999 Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases Sylvie Coste-Marquis, Pierre Marquis

AAAI 1999 DISTANCE-SAT: Complexity and Algorithms Olivier Bailleux, Pierre Marquis

ECML-PKDD 1998 Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation Nicolas Lachiche, Pierre Marquis

AAAI 1998 Two Forms of Dependence in Propositional Logic: Controllability and Definability Jérôme Lang, Pierre Marquis

ECML-PKDD 1997 A Model for Generalization Based on Confirmatory Induction Nicolas Lachiche, Pierre Marquis

IJCAI 1997 Tractable Cover Compilations Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais

AAAI 1996 A New Algorithm for Computing Theory Prime Implicates Compilations Pierre Marquis, Samira Sadaoui

IJCAI 1995 Knowledge Compilation Using Theory Prime Implicates Pierre Marquis