Pierre Marquis

237 papers A* 81A 31B 11C 10Misc 2Journal 65Unranked 29
YearRankTypeTitle / Venue / Authors
2026 J jnl
Credal Concept Bottleneck Models: Structural Separation of Epistemic and Aleatoric Uncertainty.
CoRR
Tanmoy Mukherjee, Marius Kloft, Pierre Marquis, Zied Bouraoui
2025 J jnl
A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees.
CoRR
Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2025 A* conf
Iterated Belief Change as Learning.
IJCAI
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
2025 J jnl
Leveraging Association Rules for Better Predictions and Better Explanations.
CoRR
Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2025 J jnl
MODE: Multi-Objective Adaptive Coreset Selection.
CoRR
Tanmoy Mukherjee, Pierre Marquis, Zied Bouraoui
2025 — conf
Une interface XAI pour des modèles d'apprentissage automatique à base d'arbres.
EGC
Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2025 J jnl
Π-NeSy: A Possibilistic Neuro-Symbolic Approach.
CoRR
Ismaïl Baaj, Pierre Marquis
2024 A* conf
BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change.
AAAI
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis
2024 A* conf
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2024 A conf
Designing an XAI Interface for Tree-Based ML Models.
ECAI
Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2024 A conf
Dynamic Blocked Clause Elimination for Projected Model Counting.
SAT
Jean-Marie Lagniez, Pierre Marquis, Armin Biere
2024 J jnl
Dynamic Blocked Clause Elimination for Projected Model Counting.
CoRR
Jean-Marie Lagniez, Pierre Marquis, Armin Biere
2024 J jnl
Knowledge compilation.
Ann. Math. Artif. Intell.
Adnan Darwiche, Pierre Marquis
2024 A conf
On the Computation of Contrastive Explanations for Boosted Regression Trees.
ECAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis
2024 A* conf
On the Computation of Example-Based Abductive Explanations for Random Forests.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2024 A* ed.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024.
KR
Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco
2024 A* conf
PyXAI: An XAI Library for Tree-Based Models.
IJCAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2024 J jnl
Reasoning About Action and Change.
CoRR
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
2024 — conf
Rectifier pour mieux distiller.
EGC
Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri
2024 J jnl
Some thoughts about artificial stupidity and artificial dumbness.
AI Commun.
Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin
2023 B conf
Boosting Definability Bipartition Computation Using SAT Witnesses.
JELIA
Jean-Marie Lagniez, Pierre Marquis
2023 A* conf
Computing Abductive Explanations for Boosted Regression Trees.
IJCAI
Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis
2023 A conf
Computing Abductive Explanations for Boosted Trees.
AISTATS
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 A* conf
Editing Boolean Classifiers: A Belief Change Perspective.
AAAI
Nicolas Schwind, Katsumi Inoue, Pierre Marquis
2023 A conf
On Contrastive Explanations for Tree-Based Classifiers.
ECAI
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 A* conf
On Translations between ML Models for XAI Purposes.
IJCAI
Alexis de Colnet, Pierre Marquis
2023 J jnl
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
CoRR
Alexis de Colnet, Pierre Marquis
2023 A* ed.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023.
KR
Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
2023 — conf
PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2023 J jnl
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches.
CoRR
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
2023 A conf
Rectifying Binary Classifiers.
ECAI
Sylvie Coste-Marquis, Pierre Marquis
2023 — conf
Sur les explications abductives préférées pour les arbres de décision et les forêts aléatoires.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 J jnl
Computing Abductive Explanations for Boosted Trees.
CoRR
Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2022 — conf
Les raisons majoritaires : des explications abductives pour les forêts aléatoires.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 A* conf
On Preferred Abductive Explanations for Decision Trees and Random Forests.
IJCAI
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 A* conf
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract).
IJCAI
Adnan Darwiche, Pierre Marquis
2022 A* conf
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
IJCAI
Alexis de Colnet, Pierre Marquis
2022 Misc conf
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits.
ISAIM
Alexis de Colnet, Pierre Marquis
2022 J jnl
On the explanatory power of Boolean decision trees.
Data Knowl. Eng.
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 J jnl
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits.
CoRR
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
2022 — conf
Quelques réflexions autour de la notion de bêtise artificielle.
JIAF
Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin
2022 — conf
Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract).
Description Logics
Pierre Marquis
2022 — conf
Rectifying Classifiers.
NMR
Pierre Marquis
2022 J jnl
Rectifying Mono-Label Boolean Classifiers.
CoRR
Sylvie Coste-Marquis, Pierre Marquis
2022 — conf
Sur le pouvoir explicatif des arbres de décision.
EGC
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2022 A* conf
Trading Complexity for Sparsity in Random Forest Explanations.
AAAI
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 A* conf
Certifying Top-Down Decision-DNNF Compilers.
AAAI
Florent Capelli, Jean-Marie Lagniez, Pierre Marquis
2021 — ed.
Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
GKR
Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
2021 A* conf
On Belief Change for Multi-Label Classifier Encodings.
IJCAI
Sylvie Coste-Marquis, Pierre Marquis
2021 J jnl
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI.
CoRR
Adnan Darwiche, Pierre Marquis
2021 J jnl
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI.
J. Artif. Intell. Res.
Adnan Darwiche, Pierre Marquis
2021 A conf
On a Notion of Monotonic Support for Bipolar Argumentation Frameworks.
AAMAS
Anis Gargouri, Sébastien Konieczny, Pierre Marquis, Srdjan Vesic
2021 A* conf
On the Computational Intelligibility of Boolean Classifiers.
KR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
On the Computational Intelligibility of Boolean Classifiers.
CoRR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
On the Explanatory Power of Decision Trees.
CoRR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
On the computation of probabilistic coalition structures.
Auton. Agents Multi Agent Syst.
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
2021 J jnl
Trading Complexity for Sparsity in Random Forest Explanations.
CoRR
Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2020 — book
A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, Reasoning and Learning
A Guided Tour of Artificial Intelligence Research (1)
Pierre Marquis, Odile Papini, Henri Prade
2020 — book
A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms
A Guided Tour of Artificial Intelligence Research (2)
Pierre Marquis, Odile Papini, Henri Prade
2020 — book
A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence
A Guided Tour of Artificial Intelligence Research (3)
Pierre Marquis, Odile Papini, Henri Prade
2020 A* conf
Belief Merging Operators as Maximum Likelihood Estimators.
IJCAI
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2020 A conf
Consolidating Modal Knowledge Bases.
ECAI
Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail
2020 J jnl
Definability for model counting.
Artif. Intell.
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
2020 — ch.
Elements for a History of Artificial Intelligence.
A Guided Tour of Artificial Intelligence Research (1) (I)
Pierre Marquis, Odile Papini, Henri Prade
2020 A* conf
On Computational Aspects of Iterated Belief Change.
IJCAI
Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2020 A* conf
On Irrelevant Literals in Pseudo-Boolean Constraint Learning.
IJCAI
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
2020 J jnl
On Irrelevant Literals in Pseudo-Boolean Constraint Learning.
CoRR
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
2020 A* conf
On Tractable XAI Queries based on Compiled Representations.
KR
Gilles Audemard, Frédéric Koriche, Pierre Marquis
2020 A conf
On Weakening Strategies for PB Solvers.
SAT
Daniel Le Berre, Pierre Marquis, Romain Wallon
2020 J jnl
On Weakening Strategies for PB Solvers.
CoRR
Daniel Le Berre, Pierre Marquis, Romain Wallon
2020 — ch.
Reasoning About Action and Change.
A Guided Tour of Artificial Intelligence Research (1) (I)
Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis
2019 A* conf
A Recursive Algorithm for Projected Model Counting.
AAAI
Jean-Marie Lagniez, Pierre Marquis
2019 A* conf
Rational Inference Relations from Maximal Consistent Subsets Selection.
IJCAI
Sébastien Konieczny, Pierre Marquis, Srdjan Vesic
2019 A* conf
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario.
IJCAI
Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2018 J jnl
Belief base rationalization for propositional merging.
J. Log. Comput.
Nicolas Schwind, Sébastien Konieczny, Pierre Marquis
2018 A* conf
DMC: A Distributed Model Counter.
IJCAI
Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
2018 — ed.
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
GKR
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
2018 A* conf
New Inference Relations from Maximal Consistent Subsets.
KR
Sébastien Konieczny, Pierre Marquis, Srdjan Vesic
2018 A* conf
On Belief Promotion.
KR
Nicolas Schwind, Sébastien Konieczny, Pierre Marquis
2018 A* conf
On Consensus in Belief Merging.
AAAI
Nicolas Schwind, Pierre Marquis
2018 A* conf
Probabilistic Coalition Structure Generation.
KR
Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
2018 A* conf
Pseudo-Boolean Constraints from a Knowledge Representation Perspective.
IJCAI
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
2018 B conf
Robust Coalition Structure Generation.
PRIMA
Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
2017 A* conf
An Improved Decision-DNNF Compiler.
IJCAI
Jean-Marie Lagniez, Pierre Marquis
2017 — conf
Boosting Distance-Based Revision Using SAT Encodings.
LORI
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2017 J jnl
Contraction in propositional logic.
Int. J. Approx. Reason.
Thomas Caridroit, Sébastien Konieczny, Pierre Marquis
2017 A conf
Defining and Evaluating Heuristics for the Compilation of Constraint Networks.
CP
Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou
2017 J jnl
On Preprocessing Techniques and Their Impact on Propositional Model Counting.
J. Autom. Reason.
Jean-Marie Lagniez, Pierre Marquis
2017 J jnl
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381).
Dagstuhl Reports
Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider
2017 A* conf
SAT Encodings for Distance-Based Belief Merging Operators.
AAAI
Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
2016 A conf
An Improved CNF Encoding Scheme for Probabilistic Inference.
ECAI
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2016 A conf
Fixed-Parameter Tractable Optimization Under DNNF Constraints.
ECAI
Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
2016 A* conf
Improving Model Counting by Leveraging Definability.
IJCAI
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
2016 A* conf
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?.
IJCAI
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
2016 A conf
On Distances Between KD45n Kripke Models and Their Use for Belief Revision.
ECAI
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2016 — conf
Preface: The Beyond NP Workshop.
AAAI Workshop: Beyond NP
Adnan Darwiche, João Marques-Silva, Pierre Marquis
2016 J jnl
Reports of the 2016 AAAI Workshop Program.
AI Mag.
Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang
2015 A conf
Belief Merging versus Judgment Aggregation.
AAMAS
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2015 A* conf
Belief Revision Games.
AAAI
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
2015 A* conf
Compile!
AAAI
Pierre Marquis
2015 A* conf
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs.
IJCAI
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
2015 C conf
Contraction in Propositional Logic.
ECSQARU
Thomas Caridroit, Sébastien Konieczny, Pierre Marquis
2015 A* conf
Extension Enforcement in Abstract Argumentation as an Optimization Problem.
IJCAI
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2015 — ed.
Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers
GKR
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
2015 A conf
How to Form a Task-Oriented Robust Team.
AAMAS
Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis
2015 C conf
On Supported Inference and Extension Selection in Abstract Argumentation Frameworks.
ECSQARU
Sébastien Konieczny, Pierre Marquis, Srdjan Vesic
2015 C conf
Private Expansion and Revision in Multi-agent Settings.
ECSQARU
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2015 A conf
Private Revision in a Multi-Agent Setting.
AAMAS
Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis
2014 A* conf
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams.
AAAI
Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt
2014 B conf
A Translation-Based Approach for Revision of Argumentation Frameworks.
JELIA
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2014 J jnl
Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations.
Rev. d'Intelligence Artif.
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
2014 A conf
Counting votes for aggregating judgments.
AAMAS
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2014 J jnl
Disjunctive closures for knowledge compilation.
Artif. Intell.
Hélène Fargier, Pierre Marquis
2014 J jnl
Lost in translation: Language independence in propositional logic - application to belief change.
Artif. Intell.
Pierre Marquis, Nicolas Schwind
2014 A* conf
On Egalitarian Belief Merging.
KR
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2014 J jnl
On the Complexity of Optimization Problems based on Compiled NNF Representations.
CoRR
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
2014 A* conf
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses.
KR
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2014 A* conf
Preprocessing for Propositional Model Counting.
AAAI
Jean-Marie Lagniez, Pierre Marquis
2014 A conf
Propositional Merging and Judgment Aggregation: Two Compatible Approaches?
ECAI
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2014 A conf
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries.
ECAI
Pierre Marquis, Odile Papini, Henri Prade
2014 A conf
Symmetry-Driven Decision Diagrams for Knowledge Compilation.
ECAI
Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
2013 A* conf
Knowledge Compilation for Model Counting: Affine Decision Trees.
IJCAI
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
2013 A* conf
Planning Personalised Museum Visits.
ICAPS
Daniel Le Berre, Pierre Marquis, Stéphanie Roussel
2013 J jnl
Propositional Update Operators Based on Formula/Literal Dependence.
ACM Trans. Comput. Log.
Andreas Herzig, Jérôme Lang, Pierre Marquis
2013 A* conf
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues.
IJCAI
Hélène Fargier, Pierre Marquis, Nicolas Schmidt
2013 A* conf
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages.
IJCAI
Hélène Fargier, Pierre Marquis, Alexandre Niveau
2012 C conf
Argument Aggregation: Basic Axioms and Complexity Results.
COMMA
Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge
2012 A* conf
Compositional Belief Merging.
KR
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2012 J jnl
Introduction.
Rev. d'Intelligence Artif.
Jérôme Lang, Pierre Marquis
2012 A* conf
On Unit-Refutation Complete Formulae with Existentially Quantified Variables.
KR
Lucas Bordeaux, Mikolás Janota, João Marques-Silva, Pierre Marquis
2012 C conf
Selecting Extensions in Weighted Argumentation Frameworks.
COMMA
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
2012 A* conf
Weighted Attacks in Argumentation Frameworks.
KR
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
2011 J jnl
A Knowledge Compilation Map
CoRR
Adnan Darwiche, Pierre Marquis
2011 A* conf
Belief Base Rationalization for Propositional Merging.
IJCAI
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind
2011 A* conf
Existential Closures for Knowledge Compilation.
IJCAI
Pierre Marquis
2011 A* conf
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging.
IJCAI
Pierre Marquis, Nicolas Schwind
2011 J jnl
Propositional Independence - Formula-Variable Independence and Forgetting
CoRR
Jérôme Lang, Paolo Liberatore, Pierre Marquis
2011 J jnl
The Strategy-Proofness Landscape of Merging
CoRR
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2010 A* conf
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance.
KR
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
2010 — conf
A Syntactical Approach to Qualitative Constraint Networks Merging.
LPAR (Yogyakarta)
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2010 J jnl
Disjunctive merging: Quota and Gmin merging operators.
Artif. Intell.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2010 A* conf
Knowledge Compilation in the Modal Logic S5.
AAAI
Meghyn Bienvenu, Hélène Fargier, Pierre Marquis
2010 A conf
Majority Merging: from Boolean Spaces to Affine Spaces.
ECAI
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2010 J jnl
Reasoning under inconsistency: A forgetting-based approach.
Artif. Intell.
Jérôme Lang, Pierre Marquis
2010 A conf
The Epistemic View of Belief Merging: Can We Track the Truth?.
ECAI
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2009 — conf
Aggregating Interval Orders by Propositional Optimization.
ADT
Daniel Le Berre, Pierre Marquis, Meltem Öztürk
2009 J jnl
Handling controversial arguments.
J. Appl. Non Class. Logics
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2009 J jnl
Introspective forgetting.
Synth.
Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
2009 A* conf
Knowledge Compilation Properties of Trees-of-BDDs, Revisited.
IJCAI
Hélène Fargier, Pierre Marquis
2009 — conf
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms.
COSIT
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2009 B conf
Merging Qualitative Constraint Networks in a Piecewise Fashion.
ICTAI
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2009 C conf
Merging Qualitative Constraints Networks Using Propositional Logic.
ECSQARU
Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind
2009 J jnl
Representing interval orders by weighted bases: Some complexity results.
Math. Soc. Sci.
Pierre Marquis, Meltem Öztürk
2008 — conf
A Model for Multiple Outcomes Games.
ICTAI (1)
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
2008 J jnl
Bipolarity in bilattice logics.
Int. J. Intell. Syst.
Sébastien Konieczny, Pierre Marquis, Philippe Besnard
2008 A* conf
Conflict-Based Merging Operators.
KR
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2008 A conf
Extending the Knowledge Compilation Map: Closure Principles.
ECAI
Hélène Fargier, Pierre Marquis
2008 A* conf
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond.
AAAI
Hélène Fargier, Pierre Marquis
2008 — conf
Introspective Forgetting.
Australasian Conference on Artificial Intelligence
Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
2008 — conf
Jeux Qualitatifs à Résultats Multiples (présentation courte).
JFSMA
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
2008 J jnl
On propositional definability.
Artif. Intell.
Jérôme Lang, Pierre Marquis
2008 A conf
Propositional merging operators based on set-theoretic closeness.
ECAI
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2008 B conf
Recovering Consistency by Forgetting Inconsistency.
JELIA
Sylvie Coste-Marquis, Pierre Marquis
2007 J jnl
Conciliation through Iterated Belief Merging.
J. Log. Comput.
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
2007 C conf
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach.
ECSQARU
Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis
2007 A* conf
On Valued Negation Normal Form Formulas.
IJCAI
Hélène Fargier, Pierre Marquis
2007 J jnl
On the merging of Dung's argumentation systems.
Artif. Intell.
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
2007 J jnl
The Strategy-Proofness Landscape of Merging.
J. Artif. Intell. Res.
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2006 J jnl
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.
J. Satisf. Boolean Model. Comput.
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
2006 A* conf
Constrained Argumentation Frameworks.
KR
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2006 — conf
Les ressources et la planification temporelle.
INFORSID
Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal
2006 A* conf
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.
AAAI
Hélène Fargier, Pierre Marquis
2006 A* conf
Representing Policies for Quantified Boolean Formulae.
KR
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
2006 J jnl
Some Computational Aspects of distance-sat.
J. Autom. Reason.
Olivier Bailleux, Pierre Marquis
2006 A conf
Variable Forgetting in Preference Relations over Propositional Domains.
ECAI
Philippe Besnard, Jérôme Lang, Pierre Marquis
2005 C conf
Conciliation and Consensus in Iterated Belief Merging.
ECSQARU
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis
2005 B conf
Inference from Controversial Arguments.
LPAR
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2005 A* conf
Merging Argumentation Systems.
AAAI
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
2005 — conf
On the Complexity of Paraconsistent Inference Relations.
Inconsistency Tolerance
Sylvie Coste-Marquis, Pierre Marquis
2005 A* conf
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.
AAAI
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
2005 B conf
Prudent Semantics for Argumentation Frameworks.
ICTAI
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2005 A* conf
Quota and Gmin Merging Operators.
IJCAI
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2005 A* conf
Reasoning under inconsistency: the forgotten connective.
IJCAI
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
2005 C conf
Symmetric Argumentation Frameworks.
ECSQARU
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2004 A conf
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.
ECAI
Sylvie Coste-Marquis, Pierre Marquis
2004 J jnl
Compiling propositional weighted bases.
Artif. Intell.
Adnan Darwiche, Pierre Marquis
2004 J jnl
DA
Artif. Intell.
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
2004 A* conf
Expressive Power and Succinctness of Propositional Languages for Preference Representation.
KR
Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
2004 A* conf
On Merging Strategy-Proofness.
KR
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
2004 J jnl
On Stratified Belief Base Compilation.
Ann. Math. Artif. Intell.
Sylvie Coste-Marquis, Pierre Marquis
2003 A* conf
Action representation and partially observable planning using epistemic logic.
IJCAI
Andreas Herzig, Jérôme Lang, Pierre Marquis
2003 A* conf
Causal Theories of Action: A Computational Core.
IJCAI
Jérôme Lang, Fangzhen Lin, Pierre Marquis
2003 J jnl
Propositional Independence: Formula-Variable Independence and Forgetting.
J. Artif. Intell. Res.
Jérôme Lang, Paolo Liberatore, Pierre Marquis
2003 A* conf
Quantifying information and contradiction in propositional logic through test actions.
IJCAI
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
2003 J jnl
Resource-Bounded Paraconsistent Inference.
Ann. Math. Artif. Intell.
Pierre Marquis, Nadège Porquet
2002 J jnl
A Knowledge Compilation Map.
J. Artif. Intell. Res.
Adnan Darwiche, Pierre Marquis
2002 J jnl
Compilation of Propositional Weighted Bases
CoRR
Adnan Darwiche, Pierre Marquis
2002 — conf
Compilation of propositional weighted bases.
NMR
Adnan Darwiche, Pierre Marquis
2002 A* conf
Complexity Results for Paraconsistent Inference Relations.
KR
Sylvie Coste-Marquis, Pierre Marquis
2002 J jnl
Conditional independence in propositional logic.
Artif. Intell.
Jérôme Lang, Paolo Liberatore, Pierre Marquis
2002 J jnl
Consistency restoration and explanations in dynamic CSPs Application to configuration.
Artif. Intell.
Jérôme Amilhastre, Hélène Fargier, Pierre Marquis
2002 A* conf
Distance Based Merging: A General Framework and some Complexity Results.
KR
Sébastien Konieczny, Jérôme Lang, Pierre Marquis
2002 A* conf
Resolving Inconsistencies by Variable Forgetting.
KR
Jérôme Lang, Pierre Marquis
2002 B conf
Three-Valued Logics for Inconsistency Handling.
JELIA
Sébastien Konieczny, Pierre Marquis
2001 A* conf
A Perspective on Knowledge Compilation.
IJCAI
Adnan Darwiche, Pierre Marquis
2001 J jnl
Computational Aspects of Quasi-Classical Entailment.
J. Appl. Non Class. Logics
Pierre Marquis, Nadège Porquet
2001 J jnl
Knowledge Compilation for Closed World Reasoning and Circumscription.
J. Log. Comput.
Sylvie Coste-Marquis, Pierre Marquis
2001 J jnl
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions.
Stud Logica
Jérôme Lang, Pierre Marquis
2001 A* conf
Resource-bounded inference from inconsistent belief bases.
IJCAI
Pierre Marquis, Nadège Porquet
2001 A* conf
Updates, actions, and planning.
IJCAI
Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
2001 — conf
Updating Epistemic States.
Australian Joint Conference on Artificial Intelligence
Jérôme Lang, Pierre Marquis, Mary-Anne Williams
2000 A conf
Compiling Stratified Belief Bases.
ECAI
Sylvie Coste-Marquis, Pierre Marquis
2000 A* conf
In search of the right extension.
KR
Jérôme Lang, Pierre Marquis
2000 A* conf
Propositional Logic and One-Stage Decision Making.
KR
Hélène Fargier, Jérôme Lang, Pierre Marquis
1999 A* conf
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.
IJCAI
Sylvie Coste-Marquis, Pierre Marquis
1999 — conf
DISTANCE-SAT: Complexity and Algorithms.
AAAI/IAAI
Olivier Bailleux, Pierre Marquis
1998 Misc conf
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach.
AIMSA
Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais
1998 A* conf
Complexity Results for Independence and Definability in Propositional Logic.
KR
Jérôme Lang, Pierre Marquis
1998 — conf
Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation.
ECML
Nicolas Lachiche, Pierre Marquis
1998 — conf
Two Forms of Dependence in Propositional Logic: Controllability and Definability.
AAAI/IAAI
Jérôme Lang, Pierre Marquis
1997 — conf
A Model for Generalization Based on Confirmatory Induction.
ECML
Nicolas Lachiche, Pierre Marquis
1997 — conf
Tractable Cover Compilations.
IJCAI (1)
Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
1996 — conf
A New Algorithm for Computing Theory Prime Implicates Compilations.
AAAI/IAAI, Vol. 1
Pierre Marquis, Samira Sadaoui
1996 J jnl
Novelty in Deductive Databases.
J. Log. Comput.
Éric Grégoire, Pierre Marquis
1995 A* conf
Knowledge Compilation Using Theory Prime Implicates.
IJCAI (1)
Pierre Marquis
1994 B conf
Assumption-Based Truth Maintenance in Precense of Temproal Assertions.
ICTAI
Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton
1994 A conf
Possible Models Approach via Independency.
ECAI
Pierre Marquis
1993 B conf
On Metatheoretic Properties of Logic-Based Abductive Inference.
ICTAI
Pierre Marquis
1993 J jnl
Preferring diagnoses by abduction.
IEEE Trans. Syst. Man Cybern.
Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
1993 J jnl
Skeptical Abduction.
Int. J. Artif. Intell. Tools
Pierre Marquis
1992 A conf
A Model for Hypothetical Reasoning Applied to Speech Recognition.
ECAI
Anne Bonneau, François Charpillet, Sylvie Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis
1992 A conf
Building up Inductive Generalizations from Facts.
ECAI
Pierre Marquis
1991 — conf
Extending abduction from propositional to first-order logic.
FAIR
Pierre Marquis
1991 B conf
Mechanizing skeptical abduction and its applications to artificial intelligence.
ICTAI
Pierre Marquis
1991 C conf
Novelty Revisited.
ISMIS
Pierre Marquis
1990 — conf
A New Diagnosis Approach by Deduction and Abduction.
Expert Systems in Engineering
Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch
1990 A conf
Deductive/Abductvie Diagnosis: The DA-Principles.
ECAI
Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch