Deductive/Abductvie Diagnosis: The DA-Principles. - Béchir el Ayeb; Pierre Marquis; Michaël Rusinowitch (ECAI, 1990)

A New Diagnosis Approach by Deduction and Abduction. - Béchir el Ayeb; Pierre Marquis; Michaël Rusinowitch (Expert Systems in Engineering, 1990)

Extending abduction from propositional to first-order logic. - Pierre Marquis (FAIR, 1991)

Mechanizing skeptical abduction and its applications to artificial intelligence. - Pierre Marquis (ICTAI, 1991)

Novelty Revisited. - Pierre Marquis (ISMIS, 1991)

A Model for Hypothetical Reasoning Applied to Speech Recognition. - Anne Bonneau; François Charpillet; Sylvie Coste; Jean Paul Haton; Yves Laprie; Pierre Marquis (ECAI, 1992)

Building up Inductive Generalizations from Facts. - Pierre Marquis (ECAI, 1992)

On Metatheoretic Properties of Logic-Based Abductive Inference. - Pierre Marquis (ICTAI, 1993)

Skeptical Abduction. - Pierre Marquis (Int. J. Artif. Intell. Tools, 1993)

Preferring diagnoses by abduction. - Béchir el Ayeb; Pierre Marquis; Michaël Rusinowitch (IEEE Trans. Syst. Man Cybern., 1993)

Possible Models Approach via Independency. - Pierre Marquis (ECAI, 1994)

Assumption-Based Truth Maintenance in Precense of Temproal Assertions. - Maroua Bouzid; François Charpillet; Pierre Marquis; Jean Paul Haton (ICTAI, 1994)

Knowledge Compilation Using Theory Prime Implicates. - Pierre Marquis (IJCAI (1), 1995)

A New Algorithm for Computing Theory Prime Implicates Compilations. - Pierre Marquis; Samira Sadaoui (AAAI/IAAI, Vol. 1, 1996)

Novelty in Deductive Databases. - Éric Grégoire; Pierre Marquis (J. Log. Comput., 1996)

A Model for Generalization Based on Confirmatory Induction. - Nicolas Lachiche; Pierre Marquis (ECML, 1997)

Tractable Cover Compilations. - Yacine Boufkhad; Éric Grégoire; Pierre Marquis; Bertrand Mazure; Lakhdar Sais (IJCAI (1), 1997)

Two Forms of Dependence in Propositional Logic: Controllability and Definability. - Jérôme Lang; Pierre Marquis (AAAI/IAAI, 1998)

Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. - Brigitte Bessant; Éric Grégoire; Pierre Marquis; Lakhdar Sais (AIMSA, 1998)

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

Complexity Results for Independence and Definability in Propositional Logic. - Jérôme Lang; Pierre Marquis (KR, 1998)

DISTANCE-SAT: Complexity and Algorithms. - Olivier Bailleux; Pierre Marquis (AAAI/IAAI, 1999)

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

Compiling Stratified Belief Bases. - Sylvie Coste-Marquis; Pierre Marquis (ECAI, 2000)

Propositional Logic and One-Stage Decision Making. - Hélène Fargier; Jérôme Lang; Pierre Marquis (KR, 2000)

In search of the right extension. - Jérôme Lang; Pierre Marquis (KR, 2000)

Updating Epistemic States. - Jérôme Lang; Pierre Marquis; Mary-Anne Williams (Australian Joint Conference on Artificial Intelligence, 2001)

A Perspective on Knowledge Compilation. - Adnan Darwiche; Pierre Marquis (IJCAI, 2001)

Updates, actions, and planning. - Andreas Herzig; Jérôme Lang; Pierre Marquis; Thomas Polacsek (IJCAI, 2001)

Resource-bounded inference from inconsistent belief bases. - Pierre Marquis; Nadège Porquet (IJCAI, 2001)

Computational Aspects of Quasi-Classical Entailment. - Pierre Marquis; Nadège Porquet (J. Appl. Non Class. Logics, 2001)

Knowledge Compilation for Closed World Reasoning and Circumscription. - Sylvie Coste-Marquis; Pierre Marquis (J. Log. Comput., 2001)

Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. - Jérôme Lang; Pierre Marquis (Stud Logica, 2001)

Three-Valued Logics for Inconsistency Handling. - Sébastien Konieczny; Pierre Marquis (JELIA, 2002)

Complexity Results for Paraconsistent Inference Relations. - Sylvie Coste-Marquis; Pierre Marquis (KR, 2002)

Distance Based Merging: A General Framework and some Complexity Results. - Sébastien Konieczny; Jérôme Lang; Pierre Marquis (KR, 2002)

Resolving Inconsistencies by Variable Forgetting. - Jérôme Lang; Pierre Marquis (KR, 2002)

Compilation of propositional weighted bases. - Adnan Darwiche; Pierre Marquis (NMR, 2002)

Consistency restoration and explanations in dynamic CSPs Application to configuration. - Jérôme Amilhastre; Hélène Fargier; Pierre Marquis (Artif. Intell., 2002)

Conditional independence in propositional logic. - Jérôme Lang; Paolo Liberatore; Pierre Marquis (Artif. Intell., 2002)

A Knowledge Compilation Map. - Adnan Darwiche; Pierre Marquis (J. Artif. Intell. Res., 2002)

Action representation and partially observable planning using epistemic logic. - Andreas Herzig; Jérôme Lang; Pierre Marquis (IJCAI, 2003)

Quantifying information and contradiction in propositional logic through test actions. - Sébastien Konieczny; Jérôme Lang; Pierre Marquis (IJCAI, 2003)

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

Resource-Bounded Paraconsistent Inference. - Pierre Marquis; Nadège Porquet (Ann. Math. Artif. Intell., 2003)

Propositional Independence: Formula-Variable Independence and Forgetting. - Jérôme Lang; Paolo Liberatore; Pierre Marquis (J. Artif. Intell. Res., 2003)

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. - Sylvie Coste-Marquis; Pierre Marquis (ECAI, 2004)

Expressive Power and Succinctness of Propositional Languages for Preference Representation. - Sylvie Coste-Marquis; Jérôme Lang; Paolo Liberatore; Pierre Marquis (KR, 2004)

On Merging Strategy-Proofness. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (KR, 2004)

Compiling propositional weighted bases. - Adnan Darwiche; Pierre Marquis (Artif. Intell., 2004)

DA2 merging operators. - Sébastien Konieczny; Jérôme Lang; Pierre Marquis (Artif. Intell., 2004)

On Stratified Belief Base Compilation. - Sylvie Coste-Marquis; Pierre Marquis (Ann. Math. Artif. Intell., 2004)

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

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

On the Complexity of Paraconsistent Inference Relations. - Sylvie Coste-Marquis; Pierre Marquis (Inconsistency Tolerance, 2005)

Symmetric Argumentation Frameworks. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (ECSQARU, 2005)

Conciliation and Consensus in Iterated Belief Merging. - Olivier Gauwin; Sébastien Konieczny; Pierre Marquis (ECSQARU, 2005)

Prudent Semantics for Argumentation Frameworks. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (ICTAI, 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, 2005)

Inference from Controversial Arguments. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (LPAR, 2005)

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

Variable Forgetting in Preference Relations over Propositional Domains. - Philippe Besnard; Jérôme Lang; Pierre Marquis (ECAI, 2006)

Les ressources et la planification temporelle. - Zied Loukil; Abdelmajid Ben Hamadou; Pierre Marquis; Vincent Vidal 001 (INFORSID, 2006)

Constrained Argumentation Frameworks. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (KR, 2006)

Representing Policies for Quantified Boolean Formulae. - Sylvie Coste-Marquis; Hélène Fargier; Jérôme Lang; Daniel Le Berre; Pierre Marquis (KR, 2006)

Some Computational Aspects of distance-sat. - Olivier Bailleux; Pierre Marquis (J. Autom. Reason., 2006)

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. - Sylvie Coste-Marquis; Daniel Le Berre; Florian Letombe; Pierre Marquis (J. Satisf. Boolean Model. Comput., 2006)

Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. - Ramzi Ben Larbi; Sébastien Konieczny; Pierre Marquis (ECSQARU, 2007)

On Valued Negation Normal Form Formulas. - Hélène Fargier; Pierre Marquis (IJCAI, 2007)

On the merging of Dung's argumentation systems. - Sylvie Coste-Marquis; Caroline Devred; Sébastien Konieczny; Marie-Christine Lagasquie-Schiex; Pierre Marquis (Artif. Intell., 2007)

The Strategy-Proofness Landscape of Merging. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (J. Artif. Intell. Res., 2007)

Conciliation through Iterated Belief Merging. - Olivier Gauwin; Sébastien Konieczny; Pierre Marquis (J. Log. Comput., 2007)

Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. - Hélène Fargier; Pierre Marquis (AAAI, 2008)

Introspective Forgetting. - Hans van Ditmarsch; Andreas Herzig; Jérôme Lang; Pierre Marquis (Australasian Conference on Artificial Intelligence, 2008)

Propositional merging operators based on set-theoretic closeness. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (ECAI, 2008)

Extending the Knowledge Compilation Map: Closure Principles. - Hélène Fargier; Pierre Marquis (ECAI, 2008)

A Model for Multiple Outcomes Games. - Ramzi Ben Larbi; Sébastien Konieczny; Pierre Marquis (ICTAI (1), 2008)

Recovering Consistency by Forgetting Inconsistency. - Sylvie Coste-Marquis; Pierre Marquis (JELIA, 2008)

Jeux Qualitatifs à Résultats Multiples (présentation courte). - Ramzi Ben Larbi; Sébastien Konieczny; Pierre Marquis (JFSMA, 2008)

Conflict-Based Merging Operators. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (KR, 2008)

On propositional definability. - Jérôme Lang; Pierre Marquis (Artif. Intell., 2008)

Bipolarity in bilattice logics. - Sébastien Konieczny; Pierre Marquis; Philippe Besnard (Int. J. Intell. Syst., 2008)

Aggregating Interval Orders by Propositional Optimization. - Daniel Le Berre; Pierre Marquis; Meltem Öztürk (ADT, 2009)

Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. - Jean-François Condotta; Souhila Kaci; Pierre Marquis; Nicolas Schwind (COSIT, 2009)

Merging Qualitative Constraints Networks Using Propositional Logic. - Jean-François Condotta; Souhila Kaci; Pierre Marquis; Nicolas Schwind (ECSQARU, 2009)

Merging Qualitative Constraint Networks in a Piecewise Fashion. - Jean-François Condotta; Souhila Kaci; Pierre Marquis; Nicolas Schwind (ICTAI, 2009)

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

Handling controversial arguments. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (J. Appl. Non Class. Logics, 2009)

Representing interval orders by weighted bases: Some complexity results. - Pierre Marquis; Meltem Öztürk (Math. Soc. Sci., 2009)

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

Majority Merging: from Boolean Spaces to Affine Spaces. - Jean-François Condotta; Souhila Kaci; Pierre Marquis; Nicolas Schwind (ECAI, 2010)

The Epistemic View of Belief Merging: Can We Track the Truth?. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (ECAI, 2010)

A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. - Ramzi Ben Larbi; Sébastien Konieczny; Pierre Marquis (KR, 2010)

A Syntactical Approach to Qualitative Constraint Networks Merging. - Jean-François Condotta; Souhila Kaci; Pierre Marquis; Nicolas Schwind (LPAR (Yogyakarta), 2010)

Disjunctive merging: Quota and Gmin merging operators. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (Artif. Intell., 2010)

Reasoning under inconsistency: A forgetting-based approach. - Jérôme Lang; Pierre Marquis (Artif. Intell., 2010)

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 (IJCAI, 2011)

Selecting Extensions in Weighted Argumentation Frameworks. - Sylvie Coste-Marquis; Sébastien Konieczny; Pierre Marquis; Mohand Akli Ouali (COMMA, 2012)

Argument Aggregation: Basic Axioms and Complexity Results. - Paul E. Dunne; Pierre Marquis; Michael J. Wooldridge (COMMA, 2012)

On Unit-Refutation Complete Formulae with Existentially Quantified Variables. - Lucas Bordeaux; Mikolás Janota; João Marques-Silva 001; Pierre Marquis (KR, 2012)

Weighted Attacks in Argumentation Frameworks. - Sylvie Coste-Marquis; Sébastien Konieczny; Pierre Marquis; Mohand Akli Ouali (KR, 2012)

Compositional Belief Merging. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (KR, 2012)

Introduction. - Jérôme Lang; Pierre Marquis (Rev. d'Intelligence Artif., 2012)

Planning Personalised Museum Visits. - Daniel Le Berre; Pierre Marquis; Stéphanie Roussel 001 (ICAPS, 2013)

Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. - Hélène Fargier; Pierre Marquis; Alexandre Niveau (IJCAI, 2013)

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

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

Propositional Update Operators Based on Formula/Literal Dependence. - Andreas Herzig; Jérôme Lang; Pierre Marquis (ACM Trans. Comput. Log., 2013)

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 (AAAI, 2014)

Counting votes for aggregating judgments. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (AAMAS, 2014)

Symmetry-Driven Decision Diagrams for Knowledge Compilation. - Anicet Bart; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (ECAI, 2014)

Propositional Merging and Judgment Aggregation: Two Compatible Approaches? - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (ECAI, 2014)

Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries. - Pierre Marquis; Odile Papini; Henri Prade (ECAI, 2014)

A Translation-Based Approach for Revision of Argumentation Frameworks. - Sylvie Coste-Marquis; Sébastien Konieczny; Jean-Guy Mailly; Pierre Marquis (JELIA, 2014)

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. - Sylvie Coste-Marquis; Sébastien Konieczny; Jean-Guy Mailly; Pierre Marquis (KR, 2014)

On Egalitarian Belief Merging. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (KR, 2014)

Disjunctive closures for knowledge compilation. - Hélène Fargier; Pierre Marquis (Artif. Intell., 2014)

Lost in translation: Language independence in propositional logic - application to belief change. - Pierre Marquis; Nicolas Schwind (Artif. Intell., 2014)

On the Complexity of Optimization Problems based on Compiled NNF Representations. - Daniel Le Berre; Emmanuel Lonca; Pierre Marquis (CoRR, 2014)

Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations. - Hélène Fargier; Pierre Marquis; Nicolas Schmidt (Rev. d'Intelligence Artif., 2014)

Compile! - Pierre Marquis (AAAI, 2015)

Belief Revision Games. - Nicolas Schwind; Katsumi Inoue; Gauvain Bourgne; Sébastien Konieczny; Pierre Marquis (AAAI, 2015)

Private Revision in a Multi-Agent Setting. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (AAMAS, 2015)

Belief Merging versus Judgment Aggregation. - Patricia Everaere; Sébastien Konieczny; Pierre Marquis (AAMAS, 2015)

How to Form a Task-Oriented Robust Team. - Tenda Okimoto; Nicolas Schwind; Maxime Clement; Tony Ribeiro; Katsumi Inoue; Pierre Marquis (AAMAS, 2015)

Private Expansion and Revision in Multi-agent Settings. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (ECSQARU, 2015)

Contraction in Propositional Logic. - Thomas Caridroit; Sébastien Konieczny; Pierre Marquis (ECSQARU, 2015)

On Supported Inference and Extension Selection in Abstract Argumentation Frameworks. - Sébastien Konieczny; Pierre Marquis; Srdjan Vesic (ECSQARU, 2015)

Extension Enforcement in Abstract Argumentation as an Optimization Problem. - Sylvie Coste-Marquis; Sébastien Konieczny; Jean-Guy Mailly; 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)

Preface: The Beyond NP Workshop. - Adnan Darwiche; João Marques-Silva 001; Pierre Marquis (AAAI Workshop: Beyond NP, 2016)

An Improved CNF Encoding Scheme for Probabilistic Inference. - Anicet Bart; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (ECAI, 2016)

On Distances Between KD45n Kripke Models and Their Use for Belief Revision. - Thomas Caridroit; Sébastien Konieczny; Tiago de Lima; Pierre Marquis (ECAI, 2016)

Fixed-Parameter Tractable Optimization Under DNNF Constraints. - Frédéric Koriche; Daniel Le Berre; Emmanuel Lonca; Pierre Marquis (ECAI, 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 (IJCAI, 2016)

Reports of the 2016 AAAI Workshop Program. - Stefano V. Albrecht; Bruno Bouchard 001; John S. Brownstein; David L. Buckeridge; Cornelia Caragea; Kevin M. Carter 001; Adnan Darwiche; Blaz Fortuna; Yannick Francillette; Sébastien Gaboury; C. Lee Giles; Marko Grobelnik; et al. (AI Mag., 2016)

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

Defining and Evaluating Heuristics for the Compilation of Constraint Networks. - Jean-Marie Lagniez; Pierre Marquis; Anastasia Paparrizou (CP, 2017)

An Improved Decision-DNNF Compiler. - Jean-Marie Lagniez; Pierre Marquis (IJCAI, 2017)

Boosting Distance-Based Revision Using SAT Encodings. - Sébastien Konieczny; Jean-Marie Lagniez; Pierre Marquis (LORI, 2017)

Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). - Adnan Darwiche; Pierre Marquis; Dan Suciu; Stefan Szeider (Dagstuhl Reports, 2017)

On Preprocessing Techniques and Their Impact on Propositional Model Counting. - Jean-Marie Lagniez; Pierre Marquis (J. Autom. Reason., 2017)

On Consensus in Belief Merging. - Nicolas Schwind; Pierre Marquis (AAAI, 2018)

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

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

New Inference Relations from Maximal Consistent Subsets. - Sébastien Konieczny; Pierre Marquis; Srdjan Vesic (KR, 2018)

On Belief Promotion. - Nicolas Schwind; Sébastien Konieczny; Pierre Marquis (KR, 2018)

Probabilistic Coalition Structure Generation. - Nicolas Schwind; Tenda Okimoto; Katsumi Inoue; Katsutoshi Hirayama; Jean-Marie Lagniez; Pierre Marquis (KR, 2018)

Robust Coalition Structure Generation. - Tenda Okimoto; Nicolas Schwind; Emir Demirovic; Katsumi Inoue; Pierre Marquis (PRIMA, 2018)

A Recursive Algorithm for Projected Model Counting. - Jean-Marie Lagniez; Pierre Marquis (AAAI, 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, 2019)

Elements for a History of Artificial Intelligence. - Pierre Marquis; Odile Papini; Henri Prade (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Reasoning About Action and Change. - Florence Dupin de Saint-Cyr; Andreas Herzig; Jérôme Lang; Pierre Marquis (A Guided Tour of Artificial Intelligence Research (1) (I), 2020)

Consolidating Modal Knowledge Bases. - Zied Bouraoui; Jean-Marie Lagniez; Pierre Marquis; Valentin Montmirail (ECAI, 2020)

On Irrelevant Literals in Pseudo-Boolean Constraint Learning. - Daniel Le Berre; Pierre Marquis; Stefan Mengel; Romain Wallon (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 Tractable XAI Queries based on Compiled Representations. - Gilles Audemard; Frédéric Koriche; Pierre Marquis (KR, 2020)

On Weakening Strategies for PB Solvers. - Daniel Le Berre; Pierre Marquis; Romain Wallon (SAT, 2020)

Definability for model counting. - Jean-Marie Lagniez; Emmanuel Lonca; Pierre Marquis (Artif. Intell., 2020)

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

On a Notion of Monotonic Support for Bipolar Argumentation Frameworks. - Anis Gargouri; Sébastien Konieczny; Pierre Marquis; Srdjan Vesic (AAMAS, 2021)

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

On the Computational Intelligibility of Boolean Classifiers. - Gilles Audemard; Steve Bellart; Louenas Bounia; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (KR, 2021)

On the computation of probabilistic coalition structures. - Nicolas Schwind; Tenda Okimoto; Katsumi Inoue; Katsutoshi Hirayama; Jean-Marie Lagniez; Pierre Marquis (Auton. Agents Multi Agent Syst., 2021)

On the Explanatory Power of Decision Trees. - Gilles Audemard; Steve Bellart; Louenas Bounia; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (CoRR, 2021)

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. - Adnan Darwiche; Pierre Marquis (J. Artif. Intell. Res., 2021)

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

Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract). - Pierre Marquis (Description Logics, 2022)

Les raisons majoritaires : des explications abductives pour les forêts aléatoires. - Gilles Audemard; Steve Bellart; Louenas Bounia; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (EGC, 2022)

Sur le pouvoir explicatif des arbres de décision. - Gilles Audemard; Steve Bellart; Louenas Bounia; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (EGC, 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 (ISAIM, 2022)

Quelques réflexions autour de la notion de bêtise artificielle. - Jean Lieber; Jean-Guy Mailly; Pierre Marquis; Henri Prade; François Rollin (JIAF, 2022)

Rectifying Classifiers. - Pierre Marquis (NMR, 2022)

Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits. - Pierre Bourhis; Laurence Duchien; Jérémie Dusart; Emmanuel Lonca; Pierre Marquis; Clément Quinton (CoRR, 2022)

Rectifying Mono-Label Boolean Classifiers. - Sylvie Coste-Marquis; Pierre Marquis (CoRR, 2022)

On the explanatory power of Boolean decision trees. - Gilles Audemard; Steve Bellart; Louenas Bounia; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (Data Knowl. Eng., 2022)

Editing Boolean Classifiers: A Belief Change Perspective. - Nicolas Schwind; Katsumi Inoue; Pierre Marquis (AAAI, 2023)

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

On Contrastive Explanations for Tree-Based Classifiers. - Gilles Audemard; Jean-Marie Lagniez; Pierre Marquis; Nicolas Szczepanski (ECAI, 2023)

Rectifying Binary Classifiers. - Sylvie Coste-Marquis; Pierre Marquis (ECAI, 2023)

Sur les explications abductives préférées pour les arbres de décision et les forêts aléatoires. - Gilles Audemard; Steve Bellart; Louenas Bounia; Frédéric Koriche; Jean-Marie Lagniez; Pierre Marquis (EGC, 2023)

PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé. - Gilles Audemard; Steve Bellart; Louenas Bounia; Jean-Marie Lagniez; Pierre Marquis; Nicolas Szczepanski (EGC, 2023)

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

On Translations between ML Models for XAI Purposes. - Alexis de Colnet; Pierre Marquis (IJCAI, 2023)

Boosting Definability Bipartition Computation Using SAT Witnesses. - Jean-Marie Lagniez; Pierre Marquis (JELIA, 2023)

Reasoning on Feature Models: Compilation-Based vs. Direct Approaches. - Pierre Bourhis; Laurence Duchien; Jérémie Dusart; Emmanuel Lonca; Pierre Marquis; Clément Quinton (CoRR, 2023)

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

Designing an XAI Interface for Tree-Based ML Models. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri; Nicolas Szczepanski (ECAI, 2024)

On the Computation of Contrastive Explanations for Boosted Regression Trees. - Gilles Audemard; Jean-Marie Lagniez; Pierre Marquis (ECAI, 2024)

Rectifier pour mieux distiller. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri (EGC, 2024)

On the Computation of Example-Based Abductive Explanations for Random Forests. - Gilles Audemard; Jean-Marie Lagniez; Pierre Marquis; Nicolas Szczepanski (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)

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

Dynamic Blocked Clause Elimination for Projected Model Counting. - Jean-Marie Lagniez; Pierre Marquis; Armin Biere (SAT, 2024)

Some thoughts about artificial stupidity and artificial dumbness. - Jean Lieber; Jean-Guy Mailly; Pierre Marquis; Henri Prade; François Rollin (AI Commun., 2024)

Reasoning About Action and Change. - Florence Dupin de Saint-Cyr; Andreas Herzig; Jérôme Lang; Pierre Marquis (CoRR, 2024)

Knowledge compilation. - Adnan Darwiche; Pierre Marquis (Ann. Math. Artif. Intell., 2024)

Une interface XAI pour des modèles d'apprentissage automatique à base d'arbres. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri; Nicolas Szczepanski (EGC, 2025)

Iterated Belief Change as Learning. - Nicolas Schwind; Katsumi Inoue; Sébastien Konieczny; Pierre Marquis (IJCAI, 2025)

Π-NeSy: A Possibilistic Neuro-Symbolic Approach. - Ismaïl Baaj; Pierre Marquis (CoRR, 2025)

A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri; Nicolas Szczepanski (CoRR, 2025)

Leveraging Association Rules for Better Predictions and Better Explanations. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri; Nicolas Szczepanski (CoRR, 2025)