dblp.uni-trier.dewww.uni-trier.de

Pierre Marquis Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
85EEDaniel Le Berre, Pierre Marquis, Meltem Öztürk: Aggregating Interval Orders by Propositional Optimization. ADT 2009: 249-260
84EEJean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. COSIT 2009: 106-123
83EEJean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU 2009: 347-358
82EEHélène Fargier, Pierre Marquis: Knowledge Compilation Properties of Trees-of-BDDs, Revisited. IJCAI 2009: 772-777
81EEPierre Marquis, Meltem Öztürk: Representing interval orders by weighted bases: Some complexity results. Mathematical Social Sciences 57(3): 367-388 (2009)
2008
80 Hélène Fargier, Pierre Marquis: Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. AAAI 2008: 442-447
79EEHans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29
78EEHélène Fargier, Pierre Marquis: Extending the Knowledge Compilation Map: Closure Principles. ECAI 2008: 50-54
77EEPatricia Everaere, Sébastien Konieczny, Pierre Marquis: Propositional merging operators based on set-theoretic closeness. ECAI 2008: 737-738
76EERamzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: A Model for Multiple Outcomes Games. ICTAI (1) 2008: 27-34
75EESylvie Coste-Marquis, Pierre Marquis: Recovering Consistency by Forgetting Inconsistency. JELIA 2008: 113-125
74 Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Conflict-Based Merging Operators. KR 2008: 348-357
73EEJérôme Lang, Pierre Marquis: On propositional definability. Artif. Intell. 172(8-9): 991-1017 (2008)
72EESébastien Konieczny, Pierre Marquis, Philippe Besnard: Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008)
2007
71EERamzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. ECSQARU 2007: 731-742
70EEHélène Fargier, Pierre Marquis: On Valued Negation Normal Form Formulas. IJCAI 2007: 360-365
69EESylvie 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)
68EEPatricia Everaere, Sébastien Konieczny, Pierre Marquis: The Strategy-Proofness Landscape of Merging. J. Artif. Intell. Res. (JAIR) 28: 49-105 (2007)
67EEOlivier Gauwin, Sébastien Konieczny, Pierre Marquis: Conciliation through Iterated Belief Merging. J. Log. Comput. 17(5): 909-937 (2007)
2006
66 Hélène Fargier, Pierre Marquis: On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae. AAAI 2006
65 Philippe Besnard, Jérôme Lang, Pierre Marquis: Variable Forgetting in Preference Relations over Propositional Domains. ECAI 2006: 763-764
64 Zied Loukil, Abdelmajid Ben Hamadou, Pierre Marquis, Vincent Vidal: Les ressources et la planification temporelle. INFORSID 2006: 515-529
63 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Constrained Argumentation Frameworks. KR 2006: 112-122
62 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
61EEOlivier Bailleux, Pierre Marquis: Some Computational Aspects of distance-sat. J. Autom. Reasoning 37(4): 231-260 (2006)
60EESylvie 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)
2005
59 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293
58 Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis: Merging Argumentation Systems. AAAI 2005: 614-619
57EESylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328
56EEOlivier Gauwin, Sébastien Konieczny, Pierre Marquis: Conciliation and Consensus in Iterated Belief Merging. ECSQARU 2005: 514-526
55EESylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572
54EEPatricia Everaere, Sébastien Konieczny, Pierre Marquis: Quota and Gmin Merging Operators. IJCAI 2005: 424-429
53EESébastien Konieczny, Jérôme Lang, Pierre Marquis: Reasoning under inconsistency: the forgotten connective. IJCAI 2005: 484-489
52EESylvie Coste-Marquis, Pierre Marquis: On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190
51EESylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Inference from Controversial Arguments. LPAR 2005: 606-620
2004
50 Sylvie Coste-Marquis, Pierre Marquis: A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI 2004: 803-807
49 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
48 Patricia Everaere, Sébastien Konieczny, Pierre Marquis: On Merging Strategy-Proofness. KR 2004: 357-368
47EESylvie Coste-Marquis, Pierre Marquis: On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004)
46EESébastien Konieczny, Jérôme Lang, Pierre Marquis: DA2 merging operators. Artif. Intell. 157(1-2): 49-79 (2004)
45EEAdnan Darwiche, Pierre Marquis: Compiling propositional weighted bases. Artif. Intell. 157(1-2): 81-113 (2004)
2003
44 Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Quantifying information and contradiction in propositional logic through test actions. IJCAI 2003: 106-111
43 Andreas Herzig, Jérôme Lang, Pierre Marquis: Action representation and partially observable planning using epistemic logic. IJCAI 2003: 1067-1072
42 Jérôme Lang, Fangzhen Lin, Pierre Marquis: Causal Theories of Action: A Computational Core. IJCAI 2003: 1073-1078
41 Pierre Marquis, Nadège Porquet: Resource-Bounded Paraconsistent Inference. Ann. Math. Artif. Intell. 39(4): 349-384 (2003)
40EEJérôme Lang, Paolo Liberatore, Pierre Marquis: Propositional Independence: Formula-Variable Independence and Forgetting. J. Artif. Intell. Res. (JAIR) 18: 391-443 (2003)
2002
39EESébastien Konieczny, Pierre Marquis: Three-Valued Logics for Inconsistency Handling. JELIA 2002: 332-344
38 Jérôme Lang, Pierre Marquis: Resolving Inconsistencies by Variable Forgetting. KR 2002: 239-250
37 Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Paraconsistent Inference Relations. KR 2002: 61-72
36 Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Distance Based Merging: A General Framework and some Complexity Results. KR 2002: 97-108
35 Adnan Darwiche, Pierre Marquis: Compilation of propositional weighted bases. NMR 2002: 6-14
34EEJé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)
33EEJérôme Lang, Paolo Liberatore, Pierre Marquis: Conditional independence in propositional logic. Artif. Intell. 141(1/2): 79-121 (2002)
32EEAdnan Darwiche, Pierre Marquis: Compilation of Propositional Weighted Bases CoRR cs.AI/0207045: (2002)
31EEAdnan Darwiche, Pierre Marquis: A Knowledge Compilation Map. J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002)
2001
30EEJérôme Lang, Pierre Marquis, Mary-Anne Williams: Updating Epistemic States. Australian Joint Conference on Artificial Intelligence 2001: 297-308
29 Pierre Marquis, Nadège Porquet: Resource-bounded inference from inconsistent belief bases. IJCAI 2001: 103-108
28 Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek: Updates, actions, and planning. IJCAI 2001: 119-124
27 Adnan Darwiche, Pierre Marquis: A Perspective on Knowledge Compilation. IJCAI 2001: 175-182
26EESylvie Coste-Marquis, Pierre Marquis: Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. 11(4): 579-607 (2001)
25 Pierre Marquis, Nadège Porquet: Computational Aspects of Quasi-Classical Entailment. Journal of Applied Non-Classical Logics 11(3-4): 295-312 (2001)
24 Jérôme Lang, Pierre Marquis: Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions. Studia Logica 67(2): 179-214 (2001)
2000
23 Sylvie Coste-Marquis, Pierre Marquis: Compiling Stratified Belief Bases. ECAI 2000: 23-27
22 Hélène Fargier, Jérôme Lang, Pierre Marquis: Propositional Logic and One-Stage Decision Making. KR 2000: 445-456
21 Jérôme Lang, Pierre Marquis: In search of the right extension. KR 2000: 625-636
1999
20 Olivier Bailleux, Pierre Marquis: DISTANCE-SAT: Complexity and Algorithms. AAAI/IAAI 1999: 642-647
19 Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI 1999: 24-29
1998
18 Jérôme Lang, Pierre Marquis: Two Forms of Dependence in Propositional Logic: Controllability and Definability. AAAI/IAAI 1998: 268-273
17EEBrigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais: Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA 1998: 115-128
16EENicolas Lachiche, Pierre Marquis: Scope Classification: An Instance-Based Learning Algorithm with a Rule-Based Characterisation. ECML 1998: 268-279
15 Jérôme Lang, Pierre Marquis: Complexity Results for Independence and Definability in Propositional Logic. KR 1998: 356-367
1997
14EENicolas Lachiche, Pierre Marquis: A Model for Generalization Based on Confirmatory Induction. ECML 1997: 154-161
13 Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais: Tractable Cover Compilations. IJCAI (1) 1997: 122-127
1996
12 Pierre Marquis, Samira Sadaoui: A New Algorithm for Computing Theory Prime Implicates Compilations. AAAI/IAAI, Vol. 1 1996: 504-509
11 Éric Grégoire, Pierre Marquis: Novelty in Deductive Databases. J. Log. Comput. 6(5): 683-708 (1996)
1995
10 Pierre Marquis: Knowledge Compilation Using Theory Prime Implicates. IJCAI (1) 1995: 837-845
1994
9 Pierre Marquis: Possible Models Approach via Independency. ECAI 1994: 336-340
8 Maroua Bouzid, François Charpillet, Pierre Marquis, Jean Paul Haton: Assumption-Based Truth Maintenance in Precense of Temproal Assertions. ICTAI 1994: 492-498
1993
7 Pierre Marquis: On Metatheoretic Properties of Logic-Based Abductive Inference. ICTAI 1993: 444-445
1992
6 Pierre Marquis: Building up Inductive Generalizations from Facts. ECAI 1992: 446-450
5 Anne Bonneau, François Charpillet, S. Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis: A Model for Hypothetical Reasoning Applied to Speech Recognition. ECAI 1992: 553-557
1991
4 Pierre Marquis: Extending abduction from propositional to first-order logic. FAIR 1991: 141-155
3EEPierre Marquis: Novelty Revisited. ISMIS 1991: 550-559
1990
2 Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch: Deductive/Abductvie Diagnosis: The DA-Principles. ECAI 1990: 47-52
1EEBé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

1Jérôme Amilhastre [34]
2Béchir el Ayeb [1] [2]
3Olivier Bailleux [20] [61]
4Daniel Le Berre [59] [60] [62] [85]
5Philippe Besnard [65] [72]
6Brigitte Bessant [17]
7Anne Bonneau [5]
8Yacine Boufkhad [13]
9Maroua Bouzid [8]
10François Charpillet [5] [8]
11Jean-François Condotta [83] [84]
12S. Coste [5]
13Sylvie Coste-Marquis [19] [23] [26] [37] [47] [49] [50] [51] [52] [55] [57] [58] [59] [60] [62] [63] [69] [75]
14Adnan Darwiche [27] [31] [32] [35] [45]
15Caroline Devred [51] [55] [57] [58] [63] [69]
16Hans P. van Ditmarsch [79]
17Patricia Everaere [48] [54] [68] [74] [77]
18Hélène Fargier [22] [34] [62] [66] [70] [78] [80] [82]
19Olivier Gauwin [56] [67]
20Éric Grégoire [11] [13] [17]
21Abdelmajid Ben Hamadou [64]
22Jean Paul Haton [5] [8]
23Andreas Herzig [28] [43] [79]
24Souhila Kaci [83] [84]
25Sébastien Konieczny [36] [39] [44] [46] [48] [53] [54] [56] [58] [67] [68] [69] [71] [72] [74] [76] [77]
26Nicolas Lachiche [14] [16]
27Marie-Christine Lagasquie-Schiex [58] [69]
28Jérôme Lang [15] [18] [21] [22] [24] [28] [30] [33] [36] [38] [40] [42] [43] [44] [46] [49] [53] [62] [65] [73] [79]
29Yves Laprie [5]
30Ramzi Ben Larbi [71] [76]
31Florian Letombe [59] [60]
32Paolo Liberatore [33] [40] [49]
33Fangzhen Lin [42]
34Zied Loukil [64]
35Bertrand Mazure [13]
36Meltem Öztürk [81] [85]
37Thomas Polacsek [28]
38Nadège Porquet [25] [29] [41]
39Michaël Rusinowitch [1] [2]
40Samira Sadaoui [12]
41Lakhdar Sais [13] [17]
42Nicolas Schwind [83] [84]
43Vincent Vidal [64]
44Mary-Anne Williams [30]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)