Stop the war!Остановите войну!
for scientists:
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
[j40]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)- [c154]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 - [c153]Jean-Marie Lagniez, Pierre Marquis, Armin Biere:
Dynamic Blocked Clause Elimination for Projected Model Counting. SAT 2024: 21:1-21:17 - [i18]Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis:
Reasoning About Action and Change. CoRR abs/2406.18930 (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]