Pierre Marquis

Paul E. Dunne, Pierre Marquis, Michael Wooldridge: Argument Aggregation: Basic Axioms and Complexity Results. COMMA 2012: 129-140

Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali: Selecting Extensions in Weighted Argumentation Frameworks. COMMA 2012: 342-349

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

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

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Compositional Belief Merging. KR 2012

Sébastien Konieczny, Pierre Marquis, Nicolas Schwind: Belief Base Rationalization for Propositional Merging. IJCAI 2011: 951-956

Pierre Marquis: Existential Closures for Knowledge Compilation. IJCAI 2011: 996-1001

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

Adnan Darwiche, Pierre Marquis: A Knowledge Compilation Map. CoRR abs/1106.1819 (2011)

Jérôme Lang, Paolo Liberatore, Pierre Marquis: Propositional Independence - Formula-Variable Independence and Forgetting. CoRR abs/1106.4578 (2011)

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: The Strategy-Proofness Landscape of Merging. CoRR abs/1110.2766 (2011)

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

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Disjunctive merging: Quota and Gmin merging operators. Artif. Intell. 174(12-13): 824-849 (2010)

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

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

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

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

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

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Handling controversial arguments. Journal of Applied Non-Classical Logics 19(3): 311-369 (2009)

Pierre Marquis, Meltem Öztürk: Representing interval orders by weighted bases: Some complexity results. Mathematical Social Sciences 57(3): 367-388 (2009)

Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective forgetting. Synthese 169(2): 405-423 (2009)

Daniel Le Berre, Pierre Marquis, Meltem Öztürk: Aggregating Interval Orders by Propositional Optimization. ADT 2009: 249-260

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

Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU 2009: 347-358

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

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

Jérôme Lang, Pierre Marquis: On propositional definability. Artif. Intell. 172(8-9): 991-1017 (2008)

Sébastien Konieczny, Pierre Marquis, Philippe Besnard: Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008)

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

Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29

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

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Propositional merging operators based on set-theoretic closeness. ECAI 2008: 737-738

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

Sylvie Coste-Marquis, Pierre Marquis: Recovering Consistency by Forgetting Inconsistency. JELIA 2008: 113-125

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

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Conflict-Based Merging Operators. KR 2008: 348-357

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)

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

Olivier Gauwin, Sébastien Konieczny, Pierre Marquis: Conciliation through Iterated Belief Merging. J. Log. Comput. 17(5): 909-937 (2007)

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

Hélène Fargier, Pierre Marquis: On Valued Negation Normal Form Formulas. IJCAI 2007: 360-365

Olivier Bailleux, Pierre Marquis: Some Computational Aspects of distance-sat. J. Autom. Reasoning 37(4): 231-260 (2006)

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. JSAT 1(1): 61-88 (2006)

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

Philippe Besnard, Jérôme Lang, Pierre Marquis: Variable Forgetting in Preference Relations over Propositional Domains. ECAI 2006: 763-764

Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal: Les ressources et la planification temporelle. INFORSID 2006: 515-529

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Constrained Argumentation Frameworks. KR 2006: 112-122

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

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

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

Sylvie Coste-Marquis, Pierre Marquis: On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328

Olivier Gauwin, Sébastien Konieczny, Pierre Marquis: Conciliation and Consensus in Iterated Belief Merging. ECSQARU 2005: 514-526

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Quota and Gmin Merging Operators. IJCAI 2005: 424-429

Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Reasoning under inconsistency: the forgotten connective. IJCAI 2005: 484-489

Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Inference from Controversial Arguments. LPAR 2005: 606-620

Sébastien Konieczny, Jérôme Lang, Pierre Marquis: DA² merging operators. Artif. Intell. 157(1-2): 49-79 (2004)

Adnan Darwiche, Pierre Marquis: Compiling propositional weighted bases. Artif. Intell. 157(1-2): 81-113 (2004)

Sylvie Coste-Marquis, Pierre Marquis: On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004)

Sylvie Coste-Marquis, Pierre Marquis: A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI 2004: 803-807

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

Patricia Everaere, Sébastien Konieczny, Pierre Marquis: On Merging Strategy-Proofness. KR 2004: 357-368

Pierre Marquis, Nadège Porquet: Resource-Bounded Paraconsistent Inference. Ann. Math. Artif. Intell. 39(4): 349-384 (2003)

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

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

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

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

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)

Jérôme Lang, Paolo Liberatore, Pierre Marquis: Conditional independence in propositional logic. Artif. Intell. 141(1/2): 79-121 (2002)

Adnan Darwiche, Pierre Marquis: A Knowledge Compilation Map. J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002)

Sébastien Konieczny, Pierre Marquis: Three-Valued Logics for Inconsistency Handling. JELIA 2002: 332-344

Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Paraconsistent Inference Relations. KR 2002: 61-72

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

Jérôme Lang, Pierre Marquis: Resolving Inconsistencies by Variable Forgetting. KR 2002: 239-250

Adnan Darwiche, Pierre Marquis: Compilation of propositional weighted bases. NMR 2002: 6-14

Adnan Darwiche, Pierre Marquis: Compilation of Propositional Weighted Bases. CoRR cs.AI/0207045 (2002)

Pierre Marquis, Nadège Porquet: Computational Aspects of Quasi-Classical Entailment. Journal of Applied Non-Classical Logics 11(3-4): 295-312 (2001)

Sylvie Coste-Marquis, Pierre Marquis: Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. 11(4): 579-607 (2001)

Jérôme Lang, Pierre Marquis: Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. Studia Logica 67(2): 179-214 (2001)

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

Pierre Marquis, Nadège Porquet: Resource-bounded inference from inconsistent belief bases. IJCAI 2001: 103-108

Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek: Updates, actions, and planning. IJCAI 2001: 119-124

Adnan Darwiche, Pierre Marquis: A Perspective on Knowledge Compilation. IJCAI 2001: 175-182

Sylvie Coste-Marquis, Pierre Marquis: Compiling Stratified Belief Bases. ECAI 2000: 23-27

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

Jérôme Lang, Pierre Marquis: In search of the right extension. KR 2000: 625-636

Olivier Bailleux, Pierre Marquis: DISTANCE-SAT: Complexity and Algorithms. AAAI/IAAI 1999: 642-647

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

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

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

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

Jérôme Lang, Pierre Marquis: Complexity Results for Independence and Definability in Propositional Logic. KR 1998: 356-367

Nicolas Lachiche, Pierre Marquis: A Model for Generalization Based on Confirmatory Induction. ECML 1997: 154-161

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

Éric Grégoire, Pierre Marquis: Novelty in Deductive Databases. J. Log. Comput. 6(5): 683-708 (1996)

Pierre Marquis, Samira Sadaoui: A New Algorithm for Computing Theory Prime Implicates Compilations. AAAI/IAAI, Vol. 1 1996: 504-509

Pierre Marquis: Knowledge Compilation Using Theory Prime Implicates. IJCAI (1) 1995: 837-845

Pierre Marquis: Possible Models Approach via Independency. ECAI 1994: 336-340

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

Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch: Preferring diagnoses by abduction. IEEE Transactions on Systems, Man, and Cybernetics 23(3): 792-808 (1993)

Pierre Marquis: On Metatheoretic Properties of Logic-Based Abductive Inference. ICTAI 1993: 444-445

Pierre Marquis: Building up Inductive Generalizations from Facts. ECAI 1992: 446-450

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

Pierre Marquis: Extending abduction from propositional to first-order logic. FAIR 1991: 141-155

Pierre Marquis: Novelty Revisited. ISMIS 1991: 550-559

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

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