default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPierre Marquis
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j41]Jean Lieber, Jean-Guy Mailly, Pierre Marquis
, Henri Prade, François Rollin:
Some thoughts about artificial stupidity and artificial dumbness. AI Commun. 37(3): 377-391 (2024)- [j40]Adnan Darwiche, Pierre Marquis:
Knowledge compilation. Ann. Math. Artif. Intell. 92(5): 1007-1011 (2024) - [c160]Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis:
BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change. AAAI 2024: 10696-10704 - [c159]Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski:
Designing an XAI Interface for Tree-Based ML Models. ECAI 2024: 1075-1082 - [c158]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis:
On the Computation of Contrastive Explanations for Boosted Regression Trees. ECAI 2024: 1083-1091 - [c157]Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri:
Rectifier pour mieux distiller. EGC 2024: 59-70 - [c156]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
On the Computation of Example-Based Abductive Explanations for Random Forests. IJCAI 2024: 3679-3687 - [c155]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories. IJCAI 2024: 3688-3696 - [c154]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
PyXAI: An XAI Library for Tree-Based Models. IJCAI 2024: 8601-8605 - [c153]Jean-Marie Lagniez, Pierre Marquis, Armin Biere:
Dynamic Blocked Clause Elimination for Projected Model Counting. SAT 2024: 21:1-21:17 - [e8]Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco:
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. 2024, ISBN 978-1-956792-05-8 [contents] - [i19]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. CoRR abs/2406.18930 (2024) - [i18]Jean-Marie Lagniez, Pierre Marquis, Armin Biere:
Dynamic Blocked Clause Elimination for Projected Model Counting. CoRR abs/2408.06199 (2024) - 2023
- [c152]Nicolas Schwind, Katsumi Inoue, Pierre Marquis:
Editing Boolean Classifiers: A Belief Change Perspective. AAAI 2023: 6516-6524 - [c151]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
Computing Abductive Explanations for Boosted Trees. AISTATS 2023: 4699-4711 - [c150]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
On Contrastive Explanations for Tree-Based Classifiers. ECAI 2023: 117-124 - [c149]Sylvie Coste-Marquis, Pierre Marquis:
Rectifying Binary Classifiers. ECAI 2023: 485-492 - [c148]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Sur les explications abductives préférées pour les arbres de décision et les forêts aléatoires. EGC 2023: 507-514 - [c147]Gilles Audemard, Steve Bellart, Louenas Bounia, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
PyXAI : calculer en Python des explications pour des modèles d'apprentissage supervisé. EGC 2023: 581-588 - [c146]Alexis de Colnet, Pierre Marquis:
On Translations between ML Models for XAI Purposes. IJCAI 2023: 3158-3166 - [c145]Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis:
Computing Abductive Explanations for Boosted Regression Trees. IJCAI 2023: 3432-3441 - [c144]Jean-Marie Lagniez, Pierre Marquis:
Boosting Definability Bipartition Computation Using SAT Witnesses. JELIA 2023: 697-711 - [e7]Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. 2023, ISBN 978-1-956792-02-7 [contents] - [i17]Alexis de Colnet, Pierre Marquis:
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. CoRR abs/2301.13328 (2023) - [i16]Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton:
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches. CoRR abs/2302.06867 (2023) - 2022
- [j39]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the explanatory power of Boolean decision trees. Data Knowl. Eng. 142: 102088 (2022) - [c143]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Trading Complexity for Sparsity in Random Forest Explanations. AAAI 2022: 5461-5469 - [c142]Pierre Marquis:
Rectifying Classifiers (Joint DL+NMR Invited Talk Abstract). Description Logics 2022 - [c141]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Les raisons majoritaires : des explications abductives pour les forêts aléatoires. EGC 2022: 123-134 - [c140]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Sur le pouvoir explicatif des arbres de décision. EGC 2022: 147-158 - [c139]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On Preferred Abductive Explanations for Decision Trees and Random Forests. IJCAI 2022: 643-650 - [c138]Alexis de Colnet, Pierre Marquis:
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. IJCAI 2022: 2583-2590 - [c137]Adnan Darwiche, Pierre Marquis:
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract). IJCAI 2022: 5718-5721 - [c136]Alexis de Colnet, Pierre Marquis:
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. ISAIM 2022 - [c135]Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin:
Quelques réflexions autour de la notion de bêtise artificielle. JIAF 2022: 50-60 - [c134]Pierre Marquis:
Rectifying Classifiers. NMR 2022: 2 - [i15]Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton:
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits. CoRR abs/2202.05938 (2022) - [i14]Sylvie Coste-Marquis, Pierre Marquis:
Rectifying Mono-Label Boolean Classifiers. CoRR abs/2206.08758 (2022) - [i13]Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
Computing Abductive Explanations for Boosted Trees. CoRR abs/2209.07740 (2022) - 2021
- [j38]Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis:
On the computation of probabilistic coalition structures. Auton. Agents Multi Agent Syst. 35(1): 14 (2021) - [j37]Adnan Darwiche, Pierre Marquis:
On Quantifying Literals in Boolean Logic and its Applications to Explainable AI. J. Artif. Intell. Res. 72: 285-328 (2021) - [c133]Florent Capelli, Jean-Marie Lagniez, Pierre Marquis:
Certifying Top-Down Decision-DNNF Compilers. AAAI 2021: 6244-6253 - [c132]Anis Gargouri, Sébastien Konieczny, Pierre Marquis, Srdjan Vesic:
On a Notion of Monotonic Support for Bipolar Argumentation Frameworks. AAMAS 2021: 546-554 - [c131]Sylvie Coste-Marquis, Pierre Marquis:
On Belief Change for Multi-Label Classifier Encodings. IJCAI 2021: 1829-1836 - [c130]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the Computational Intelligibility of Boolean Classifiers. KR 2021: 74-86 - [e6]Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph:
Graph Structures for Knowledge Representation and Reasoning - 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12640, Springer 2021, ISBN 978-3-030-72307-1 [contents] - [i12]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the Computational Intelligibility of Boolean Classifiers. CoRR abs/2104.06172 (2021) - [i11]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
On the Explanatory Power of Decision Trees. CoRR abs/2108.05266 (2021) - [i10]Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Trading Complexity for Sparsity in Random Forest Explanations. CoRR abs/2108.05276 (2021) - [i9]Adnan Darwiche, Pierre Marquis:
On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI. CoRR abs/2108.09876 (2021) - 2020
- [j36]Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis:
Definability for model counting. Artif. Intell. 281: 103229 (2020) - [c129]Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis, Valentin Montmirail:
Consolidating Modal Knowledge Bases. ECAI 2020: 648-655 - [c128]Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon:
On Irrelevant Literals in Pseudo-Boolean Constraint Learning. IJCAI 2020: 1148-1154 - [c127]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Belief Merging Operators as Maximum Likelihood Estimators. IJCAI 2020: 1763-1769 - [c126]Nicolas Schwind, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
On Computational Aspects of Iterated Belief Change. IJCAI 2020: 1770-1776 - [c125]Gilles Audemard, Frédéric Koriche, Pierre Marquis:
On Tractable XAI Queries based on Compiled Representations. KR 2020: 838-849 - [c124]Daniel Le Berre, Pierre Marquis, Romain Wallon:
On Weakening Strategies for PB Solvers. SAT 2020: 322-331 - [p2]Pierre Marquis, Odile Papini, Henri Prade:
Elements for a History of Artificial Intelligence. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 1-43 - [p1]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. A Guided Tour of Artificial Intelligence Research (1) (I) 2020: 487-518 - [e5]Pierre Marquis, Odile Papini, Henri Prade:
A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, Reasoning and Learning. Springer 2020, ISBN 978-3-030-06163-0 [contents] - [e4]Pierre Marquis, Odile Papini, Henri Prade:
A Guided Tour of Artificial Intelligence Research: Volume II: AI Algorithms. Springer 2020, ISBN 978-3-030-06166-1 [contents] - [e3]Pierre Marquis, Odile Papini, Henri Prade:
A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence. Springer 2020, ISBN 978-3-030-06169-2 [contents] - [i8]Daniel Le Berre, Pierre Marquis, Romain Wallon:
On Weakening Strategies for PB Solvers. CoRR abs/2005.04466 (2020) - [i7]Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon:
On Irrelevant Literals in Pseudo-Boolean Constraint Learning. CoRR abs/2012.04424 (2020)
2010 – 2019
- 2019
- [c123]Jean-Marie Lagniez, Pierre Marquis:
A Recursive Algorithm for Projected Model Counting. AAAI 2019: 1536-1543 - [c122]Sébastien Konieczny, Pierre Marquis, Srdjan Vesic:
Rational Inference Relations from Maximal Consistent Subsets Selection. IJCAI 2019: 1749-1755 - [c121]Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario. IJCAI 2019: 1865-1871 - 2018
- [j35]Nicolas Schwind, Sébastien Konieczny, Pierre Marquis:
Belief base rationalization for propositional merging. J. Log. Comput. 28(7): 1601-1634 (2018) - [c120]Nicolas Schwind, Pierre Marquis:
On Consensus in Belief Merging. AAAI 2018: 1949-1956 - [c119]Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski:
DMC: A Distributed Model Counter. IJCAI 2018: 1331-1338 - [c118]Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon:
Pseudo-Boolean Constraints from a Knowledge Representation Perspective. IJCAI 2018: 1891-1897 - [c117]Nicolas Schwind, Sébastien Konieczny, Pierre Marquis:
On Belief Promotion. KR 2018: 297-307 - [c116]Sébastien Konieczny, Pierre Marquis, Srdjan Vesic:
New Inference Relations from Maximal Consistent Subsets. KR 2018: 649-650 - [c115]Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis:
Probabilistic Coalition Structure Generation. KR 2018: 663-664 - [c114]Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis:
Robust Coalition Structure Generation. PRIMA 2018: 140-157 - [e2]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10775, Springer 2018, ISBN 978-3-319-78101-3 [contents] - 2017
- [j34]Thomas Caridroit, Sébastien Konieczny, Pierre Marquis:
Contraction in propositional logic. Int. J. Approx. Reason. 80: 428-442 (2017) - [j33]Jean-Marie Lagniez, Pierre Marquis:
On Preprocessing Techniques and Their Impact on Propositional Model Counting. J. Autom. Reason. 58(4): 413-481 (2017) - [c113]Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
SAT Encodings for Distance-Based Belief Merging Operators. AAAI 2017: 1163-1169 - [c112]Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou:
Defining and Evaluating Heuristics for the Compilation of Constraint Networks. CP 2017: 172-188 - [c111]Jean-Marie Lagniez, Pierre Marquis:
An Improved Decision-DNNF Compiler. IJCAI 2017: 667-673 - [c110]Sébastien Konieczny, Jean-Marie Lagniez, Pierre Marquis:
Boosting Distance-Based Revision Using SAT Encodings. LORI 2017: 480-496 - [i6]Adnan Darwiche, Pierre Marquis, Dan Suciu, Stefan Szeider:
Recent Trends in Knowledge Compilation (Dagstuhl Seminar 17381). Dagstuhl Reports 7(9): 62-85 (2017) - 2016
- [j32]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:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - [c109]Adnan Darwiche, João Marques-Silva, Pierre Marquis:
Preface: The Beyond NP Workshop. AAAI Workshop: Beyond NP 2016 - [c108]Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
An Improved CNF Encoding Scheme for Probabilistic Inference. ECAI 2016: 613-621 - [c107]Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis:
On Distances Between KD45n Kripke Models and Their Use for Belief Revision. ECAI 2016: 1053-1061 - [c106]Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis:
Fixed-Parameter Tractable Optimization Under DNNF Constraints. ECAI 2016: 1194-1202 - [c105]Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis:
Improving Model Counting by Leveraging Definability. IJCAI 2016: 751-757 - [c104]Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents?. IJCAI 2016: 1237-1243 - 2015
- [c103]Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis:
Belief Revision Games. AAAI 2015: 1590-1596 - [c102]Pierre Marquis:
Compile! AAAI 2015: 4112-4118 - [c101]Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis:
How to Form a Task-Oriented Robust Team. AAMAS 2015: 395-403 - [c100]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Belief Merging versus Judgment Aggregation. AAMAS 2015: 999-1007 - [c99]Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis:
Private Revision in a Multi-Agent Setting. AAMAS 2015: 1677-1678 - [c98]Sébastien Konieczny, Pierre Marquis, Srdjan Vesic:
On Supported Inference and Extension Selection in Abstract Argumentation Frameworks. ECSQARU 2015: 49-59 - [c97]Thomas Caridroit, Sébastien Konieczny, Tiago de Lima, Pierre Marquis:
Private Expansion and Revision in Multi-agent Settings. ECSQARU 2015: 175-185 - [c96]Thomas Caridroit, Sébastien Konieczny, Pierre Marquis:
Contraction in Propositional Logic. ECSQARU 2015: 186-196 - [c95]Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs. IJCAI 2015: 332-338 - [c94]Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
Extension Enforcement in Abstract Argumentation as an Optimization Problem. IJCAI 2015: 2876-2882 - [e1]Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton:
Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9501, Springer 2015, ISBN 978-3-319-28701-0 [contents] - 2014
- [j31]Pierre Marquis, Nicolas Schwind:
Lost in translation: Language independence in propositional logic - application to belief change. Artif. Intell. 206: 1-24 (2014) - [j30]Hélène Fargier, Pierre Marquis:
Disjunctive closures for knowledge compilation. Artif. Intell. 216: 129-162 (2014) - [j29]Hélène Fargier, Pierre Marquis, Nicolas Schmidt:
Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations. Rev. d'Intelligence Artif. 28(5): 571-592 (2014) - [c93]Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt:
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. AAAI 2014: 1049-1055 - [c92]Jean-Marie Lagniez, Pierre Marquis:
Preprocessing for Propositional Model Counting. AAAI 2014: 2688-2694 - [c91]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Counting votes for aggregating judgments. AAMAS 2014: 1177-1184 - [c90]Anicet Bart, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis:
Symmetry-Driven Decision Diagrams for Knowledge Compilation. ECAI 2014: 51-56 - [c89]Pierre Marquis, Odile Papini, Henri Prade:
Some Elements for a Prehistory of Artificial Intelligence in the Last Four Centuries. ECAI 2014: 609-614 - [c88]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Propositional Merging and Judgment Aggregation: Two Compatible Approaches? ECAI 2014: 1001-1002 - [c87]Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
A Translation-Based Approach for Revision of Argumentation Frameworks. JELIA 2014: 397-411 - [c86]Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis:
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. KR 2014 - [c85]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
On Egalitarian Belief Merging. KR 2014 - [i5]Daniel Le Berre, Emmanuel Lonca, Pierre Marquis:
On the Complexity of Optimization Problems based on Compiled NNF Representations. CoRR abs/1410.6690 (2014) - 2013
- [j28]Andreas Herzig, Jérôme Lang, Pierre Marquis:
Propositional Update Operators Based on Formula/Literal Dependence. ACM Trans. Comput. Log. 14(3): 24:1-24:31 (2013) - [c84]Daniel Le Berre, Pierre Marquis, Stéphanie Roussel:
Planning Personalised Museum Visits. ICAPS 2013 - [c83]Hélène Fargier, Pierre Marquis, Alexandre Niveau:
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. IJCAI 2013: 877-883 - [c82]Hélène Fargier, Pierre Marquis, Nicolas Schmidt:
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. IJCAI 2013: 884-890 - [c81]Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas:
Knowledge Compilation for Model Counting: Affine Decision Trees. IJCAI 2013: 947-953 - 2012
- [j27]Jérôme Lang, Pierre Marquis:
Introduction. Rev. d'Intelligence Artif. 26(1-2): 9-10 (2012) - [c80]Paul E. Dunne, Pierre Marquis, Michael J. Wooldridge:
Argument Aggregation: Basic Axioms and Complexity Results. COMMA 2012: 129-140 - [c79]Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali:
Selecting Extensions in Weighted Argumentation Frameworks. COMMA 2012: 342-349 - [c78]Lucas Bordeaux, Mikolás Janota, João Marques-Silva, Pierre Marquis:
On Unit-Refutation Complete Formulae with Existentially Quantified Variables. KR 2012 - [c77]Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali:
Weighted Attacks in Argumentation Frameworks. KR 2012 - [c76]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Compositional Belief Merging. KR 2012 - 2011
- [c75]Sébastien Konieczny, Pierre Marquis, Nicolas Schwind:
Belief Base Rationalization for Propositional Merging. IJCAI 2011: 951-956 - [c74]Pierre Marquis:
Existential Closures for Knowledge Compilation. IJCAI 2011: 996-1001 - [c73]Pierre Marquis, Nicolas Schwind:
Lost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging. IJCAI 2011: 1002-1007 - [i4]Adnan Darwiche, Pierre Marquis:
A Knowledge Compilation Map. CoRR abs/1106.1819 (2011) - [i3]Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Propositional Independence - Formula-Variable Independence and Forgetting. CoRR abs/1106.4578 (2011) - [i2]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
The Strategy-Proofness Landscape of Merging. CoRR abs/1110.2766 (2011) - 2010
- [j26]Jérôme Lang, Pierre Marquis:
Reasoning under inconsistency: A forgetting-based approach. Artif. Intell. 174(12-13): 799-823 (2010) - [j25]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Disjunctive merging: Quota and Gmin merging operators. Artif. Intell. 174(12-13): 824-849 (2010) - [c72]Meghyn Bienvenu, Hélène Fargier, Pierre Marquis:
Knowledge Compilation in the Modal Logic S5. AAAI 2010: 261-266 - [c71]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
The Epistemic View of Belief Merging: Can We Track the Truth?. ECAI 2010: 621-626 - [c70]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Majority Merging: from Boolean Spaces to Affine Spaces. ECAI 2010: 627-632 - [c69]Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis:
A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. KR 2010 - [c68]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
A Syntactical Approach to Qualitative Constraint Networks Merging. LPAR (Yogyakarta) 2010: 233-247
2000 – 2009
- 2009
- [j24]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Handling controversial arguments. J. Appl. Non Class. Logics 19(3): 311-369 (2009) - [j23]Pierre Marquis, Meltem Öztürk:
Representing interval orders by weighted bases: Some complexity results. Math. Soc. Sci. 57(3): 367-388 (2009) - [j22]Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Introspective forgetting. Synth. 169(2): 405-423 (2009) - [c67]Daniel Le Berre, Pierre Marquis, Meltem Öztürk:
Aggregating Interval Orders by Propositional Optimization. ADT 2009: 249-260 - [c66]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. COSIT 2009: 106-123 - [c65]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU 2009: 347-358 - [c64]Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Merging Qualitative Constraint Networks in a Piecewise Fashion. ICTAI 2009: 605-608 - [c63]Hélène Fargier, Pierre Marquis:
Knowledge Compilation Properties of Trees-of-BDDs, Revisited. IJCAI 2009: 772-777 - 2008
- [j21]Jérôme Lang, Pierre Marquis:
On propositional definability. Artif. Intell. 172(8-9): 991-1017 (2008) - [j20]Sébastien Konieczny, Pierre Marquis, Philippe Besnard:
Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008) - [c62]Hélène Fargier, Pierre Marquis:
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. AAAI 2008: 442-447 - [c61]Hans van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29 - [c60]Hélène Fargier, Pierre Marquis:
Extending the Knowledge Compilation Map: Closure Principles. ECAI 2008: 50-54 - [c59]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Propositional merging operators based on set-theoretic closeness. ECAI 2008: 737-738 - [c58]Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis:
A Model for Multiple Outcomes Games. ICTAI (1) 2008: 27-34 - [c57]Sylvie Coste-Marquis, Pierre Marquis:
Recovering Consistency by Forgetting Inconsistency. JELIA 2008: 113-125 - [c56]Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis:
Jeux Qualitatifs à Résultats Multiples (présentation courte). JFSMA 2008: 65-74 - [c55]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Conflict-Based Merging Operators. KR 2008: 348-357 - 2007
- [j19]Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis:
On the merging of Dung's argumentation systems. Artif. Intell. 171(10-15): 730-753 (2007) - [j18]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
The Strategy-Proofness Landscape of Merging. J. Artif. Intell. Res. 28: 49-105 (2007) - [j17]Olivier Gauwin, Sébastien Konieczny, Pierre Marquis:
Conciliation through Iterated Belief Merging. J. Log. Comput. 17(5): 909-937 (2007) - [c54]Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis:
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. ECSQARU 2007: 731-742 - [c53]Hélène Fargier, Pierre Marquis:
On Valued Negation Normal Form Formulas. IJCAI 2007: 360-365 - 2006
- [j16]Olivier Bailleux, Pierre Marquis:
Some Computational Aspects of distance-sat. J. Autom. Reason. 37(4): 231-260 (2006) - [j15]Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis:
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. J. Satisf. Boolean Model. Comput. 1(1): 61-88 (2006) - [c52]Hélène Fargier, Pierre Marquis:
On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. AAAI 2006: 42-47 - [c51]Philippe Besnard, Jérôme Lang, Pierre Marquis:
Variable Forgetting in Preference Relations over Propositional Domains. ECAI 2006: 763-764 - [c50]Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal:
Les ressources et la planification temporelle. INFORSID 2006: 515-529 - [c49]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Constrained Argumentation Frameworks. KR 2006: 112-122 - [c48]Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis:
Representing Policies for Quantified Boolean Formulae. KR 2006: 286-297 - 2005
- [c47]Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis:
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293 - [c46]Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis:
Merging Argumentation Systems. AAAI 2005: 614-619 - [c45]Sylvie Coste-Marquis, Pierre Marquis:
On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190 - [c44]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328 - [c43]Olivier Gauwin, Sébastien Konieczny, Pierre Marquis:
Conciliation and Consensus in Iterated Belief Merging. ECSQARU 2005: 514-526 - [c42]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572 - [c41]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Quota and Gmin Merging Operators. IJCAI 2005: 424-429 - [c40]Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Reasoning under inconsistency: the forgotten connective. IJCAI 2005: 484-489 - [c39]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
Inference from Controversial Arguments. LPAR 2005: 606-620 - 2004
- [j14]Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
DA2 merging operators. Artif. Intell. 157(1-2): 49-79 (2004) - [j13]Adnan Darwiche, Pierre Marquis:
Compiling propositional weighted bases. Artif. Intell. 157(1-2): 81-113 (2004) - [j12]Sylvie Coste-Marquis, Pierre Marquis:
On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004) - [c38]Sylvie Coste-Marquis, Pierre Marquis:
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI 2004: 803-807 - [c37]Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Expressive Power and Succinctness of Propositional Languages for Preference Representation. KR 2004: 203-212 - [c36]Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
On Merging Strategy-Proofness. KR 2004: 357-368 - 2003
- [j11]Pierre Marquis, Nadège Porquet:
Resource-Bounded Paraconsistent Inference. Ann. Math. Artif. Intell. 39(4): 349-384 (2003) - [j10]Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Propositional Independence: Formula-Variable Independence and Forgetting. J. Artif. Intell. Res. 18: 391-443 (2003) - [c35]Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Quantifying information and contradiction in propositional logic through test actions. IJCAI 2003: 106-111 - [c34]Andreas Herzig, Jérôme Lang, Pierre Marquis:
Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072 - [c33]Jérôme Lang, Fangzhen Lin, Pierre Marquis:
Causal Theories of Action: A Computational Core. IJCAI 2003: 1073-1078 - 2002
- [j9]Jérôme Amilhastre, Hélène Fargier, Pierre Marquis:
Consistency restoration and explanations in dynamic CSPs Application to configuration. Artif. Intell. 135(1-2): 199-234 (2002) - [j8]Jérôme Lang, Paolo Liberatore, Pierre Marquis:
Conditional independence in propositional logic. Artif. Intell. 141(1/2): 79-121 (2002) - [j7]Adnan Darwiche, Pierre Marquis:
A Knowledge Compilation Map. J. Artif. Intell. Res. 17: 229-264 (2002) - [c32]Sébastien Konieczny, Pierre Marquis:
Three-Valued Logics for Inconsistency Handling. JELIA 2002: 332-344 - [c31]Sylvie Coste-Marquis, Pierre Marquis:
Complexity Results for Paraconsistent Inference Relations. KR 2002: 61-72 - [c30]Sébastien Konieczny, Jérôme Lang, Pierre Marquis:
Distance Based Merging: A General Framework and some Complexity Results. KR 2002: 97-108 - [c29]Jérôme Lang, Pierre Marquis:
Resolving Inconsistencies by Variable Forgetting. KR 2002: 239-250 - [c28]Adnan Darwiche, Pierre Marquis:
Compilation of propositional weighted bases. NMR 2002: 6-14 - [i1]Adnan Darwiche, Pierre Marquis:
Compilation of Propositional Weighted Bases. CoRR cs.AI/0207045 (2002) - 2001
- [j6]Pierre Marquis, Nadège Porquet:
Computational Aspects of Quasi-Classical Entailment. J. Appl. Non Class. Logics 11(3-4): 295-312 (2001) - [j5]Sylvie Coste-Marquis, Pierre Marquis:
Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. 11(4): 579-607 (2001) - [j4]Jérôme Lang, Pierre Marquis:
Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. Stud Logica 67(2): 179-214 (2001) - [c27]Jérôme Lang, Pierre Marquis, Mary-Anne Williams:
Updating Epistemic States. Australian Joint Conference on Artificial Intelligence 2001: 297-308 - [c26]Pierre Marquis, Nadège Porquet:
Resource-bounded inference from inconsistent belief bases. IJCAI 2001: 103-108 - [c25]Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek:
Updates, actions, and planning. IJCAI 2001: 119-124 - [c24]Adnan Darwiche, Pierre Marquis:
A Perspective on Knowledge Compilation. IJCAI 2001: 175-182 - 2000
- [c23]Sylvie Coste-Marquis, Pierre Marquis:
Compiling Stratified Belief Bases. ECAI 2000: 23-27 - [c22]Hélène Fargier, Jérôme Lang, Pierre Marquis:
Propositional Logic and One-Stage Decision Making. KR 2000: 445-456 - [c21]Jérôme Lang, Pierre Marquis:
In search of the right extension. KR 2000: 625-636
1990 – 1999
- 1999
- [c20]Olivier Bailleux, Pierre Marquis:
DISTANCE-SAT: Complexity and Algorithms. AAAI/IAAI 1999: 642-647 - [c19]Sylvie Coste-Marquis, Pierre Marquis:
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI 1999: 24-29 - 1998
- [c18]Jérôme Lang, Pierre Marquis:
Two Forms of Dependence in Propositional Logic: Controllability and Definability. AAAI/IAAI 1998: 268-273 - [c17]Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais:
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA 1998: 115-128 - [c16]Nicolas Lachiche, Pierre Marquis:
Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation. ECML 1998: 268-279 - [c15]Jérôme Lang, Pierre Marquis:
Complexity Results for Independence and Definability in Propositional Logic. KR 1998: 356-367 - 1997
- [c14]Nicolas Lachiche, Pierre Marquis:
A Model for Generalization Based on Confirmatory Induction. ECML 1997: 154-161 - [c13]Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais:
Tractable Cover Compilations. IJCAI (1) 1997: 122-127 - 1996
- [j3]Éric Grégoire, Pierre Marquis:
Novelty in Deductive Databases. J. Log. Comput. 6(5): 683-708 (1996) - [c12]Pierre Marquis, Samira Sadaoui:
A New Algorithm for Computing Theory Prime Implicates Compilations. AAAI/IAAI, Vol. 1 1996: 504-509 - 1995
- [c11]Pierre Marquis:
Knowledge Compilation Using Theory Prime Implicates. IJCAI (1) 1995: 837-845 - 1994
- [c10]Pierre Marquis:
Possible Models Approach via Independency. ECAI 1994: 336-340 - [c9]Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton:
Assumption-Based Truth Maintenance in Precense of Temproal Assertions. ICTAI 1994: 492-498 - 1993
- [j2]Pierre Marquis:
Skeptical Abduction. Int. J. Artif. Intell. Tools 2(4): 511-540 (1993) - [j1]Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch:
Preferring diagnoses by abduction. IEEE Trans. Syst. Man Cybern. 23(3): 792-808 (1993) - [c8]Pierre Marquis:
On Metatheoretic Properties of Logic-Based Abductive Inference. ICTAI 1993: 444-445 - 1992
- [c7]Pierre Marquis:
Building up Inductive Generalizations from Facts. ECAI 1992: 446-450 - [c6]Anne Bonneau, François Charpillet, Sylvie Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis:
A Model for Hypothetical Reasoning Applied to Speech Recognition. ECAI 1992: 553-557 - 1991
- [c5]Pierre Marquis:
Extending abduction from propositional to first-order logic. FAIR 1991: 141-155 - [c4]Pierre Marquis:
Mechanizing skeptical abduction and its applications to artificial intelligence. ICTAI 1991: 300-307 - [c3]Pierre Marquis:
Novelty Revisited. ISMIS 1991: 550-559 - 1990
- [c2]Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch:
Deductive/Abductvie Diagnosis: The DA-Principles. ECAI 1990: 47-52 - [c1]Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch:
A New Diagnosis Approach by Deduction and Abduction. Expert Systems in Engineering 1990: 32-46
Coauthor Index
Sylvie Coste-Marquis
aka: Sylvie Coste
aka: Sylvie Coste
[c160] [c132] [c127] [c126] [c122] [c121] [j35] [c117] [c116] [j34] [c113] [c110] [c107] [c104] [c103] [c100] [c99] [c98] [c97] [c96] [c94] [c91] [c88] [c87] [c86] [c85] [c79] [c77] [c76] [c75] [i2] [j25] [c71] [c69] [j20] [c59] [c58] [c56] [c55] [j19] [j18] [j17] [c54] [c46] [c43] [c41] [c40] [j14] [c36] [c35] [c32] [c30]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
