Pierre Marquis

	2011
102		Pierre Marquis, Nicolas Schwind: Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging. IJCAI 2011: 1002-1007
101		Sébastien Konieczny, Pierre Marquis, Nicolas Schwind: Belief Base Rationalization for Propositional Merging. IJCAI 2011: 951-956
100		Pierre Marquis: Existential Closures for Knowledge Compilation. IJCAI 2011: 996-1001
99		Adnan Darwiche, Pierre Marquis: A Knowledge Compilation Map CoRR abs/1106.1819: (2011)
98		Jérôme Lang, Paolo Liberatore, Pierre Marquis: Propositional Independence - Formula-Variable Independence and Forgetting CoRR abs/1106.4578: (2011)
97		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: The Strategy-Proofness Landscape of Merging CoRR abs/1110.2766: (2011)
	2010
96		Meghyn Bienvenu, Hélène Fargier, Pierre Marquis: Knowledge Compilation in the Modal Logic S5. AAAI 2010
95		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: The Epistemic View of Belief Merging: Can We Track the Truth?. ECAI 2010: 621-626
94		Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Majority Merging: from Boolean Spaces to Affine Spaces. ECAI 2010: 627-632
93		Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: A Characterization of Optimality Criteria for Decision Making under Complete Ignorance. KR 2010
92		Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: A Syntactical Approach to Qualitative Constraint Networks Merging. LPAR (Yogyakarta) 2010: 233-247
91		Jérôme Lang, Pierre Marquis: Reasoning under inconsistency: A forgetting-based approach. Artif. Intell. 174(12-13): 799-823 (2010)
90		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Disjunctive merging: Quota and Gmin merging operators. Artif. Intell. 174(12-13): 824-849 (2010)
	2009
89		Daniel Le Berre, Pierre Marquis, Meltem Öztürk: Aggregating Interval Orders by Propositional Optimization. ADT 2009: 249-260
88		Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms. COSIT 2009: 106-123
87		Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Merging Qualitative Constraints Networks Using Propositional Logic. ECSQARU 2009: 347-358
86		Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind: Merging Qualitative Constraint Networks in a Piecewise Fashion. ICTAI 2009: 605-608
85		Hélène Fargier, Pierre Marquis: Knowledge Compilation Properties of Trees-of-BDDs, Revisited. IJCAI 2009: 772-777
84		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Handling controversial arguments. Journal of Applied Non-Classical Logics 19(3): 311-369 (2009)
83		Pierre Marquis, Meltem Öztürk: Representing interval orders by weighted bases: Some complexity results. Mathematical Social Sciences 57(3): 367-388 (2009)
82		Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective forgetting. Synthese 169(2): 405-423 (2009)
	2008
81		Hélène Fargier, Pierre Marquis: Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond. AAAI 2008: 442-447
80		Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29
79		Hélène Fargier, Pierre Marquis: Extending the Knowledge Compilation Map: Closure Principles. ECAI 2008: 50-54
78		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Propositional merging operators based on set-theoretic closeness. ECAI 2008: 737-738
77		Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: A Model for Multiple Outcomes Games. ICTAI (1) 2008: 27-34
76		Sylvie Coste-Marquis, Pierre Marquis: Recovering Consistency by Forgetting Inconsistency. JELIA 2008: 113-125
75		Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: Jeux Qualitatifs à Résultats Multiples (présentation courte). JFSMA 2008: 65-74
74		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Conflict-Based Merging Operators. KR 2008: 348-357
73		Jérôme Lang, Pierre Marquis: On propositional definability. Artif. Intell. 172(8-9): 991-1017 (2008)
72		Sébastien Konieczny, Pierre Marquis, Philippe Besnard: Bipolarity in bilattice logics. Int. J. Intell. Syst. 23(10): 1046-1061 (2008)
	2007
71		Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis: Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach. ECSQARU 2007: 731-742
70		Hélène Fargier, Pierre Marquis: On Valued Negation Normal Form Formulas. IJCAI 2007: 360-365
69		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)
68		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: The Strategy-Proofness Landscape of Merging. J. Artif. Intell. Res. (JAIR) 28: 49-105 (2007)
67		Olivier 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: 42-47
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
61		Olivier Bailleux, Pierre Marquis: Some Computational Aspects of distance-sat. J. Autom. Reasoning 37(4): 231-260 (2006)
60		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)
	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
57		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328
56		Olivier Gauwin, Sébastien Konieczny, Pierre Marquis: Conciliation and Consensus in Iterated Belief Merging. ECSQARU 2005: 514-526
55		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572
54		Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Quota and Gmin Merging Operators. IJCAI 2005: 424-429
53		Sébastien Konieczny, Jérôme Lang, Pierre Marquis: Reasoning under inconsistency: the forgotten connective. IJCAI 2005: 484-489
52		Sylvie Coste-Marquis, Pierre Marquis: On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190
51		Sylvie 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
47		Sylvie Coste-Marquis, Pierre Marquis: On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004)
46		Sébastien Konieczny, Jérôme Lang, Pierre Marquis: DA2 merging operators. Artif. Intell. 157(1-2): 49-79 (2004)
45		Adnan 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)
40		Jérôme Lang, Paolo Liberatore, Pierre Marquis: Propositional Independence: Formula-Variable Independence and Forgetting. J. Artif. Intell. Res. (JAIR) 18: 391-443 (2003)
	2002
39		Sé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
34		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)
33		Jérôme Lang, Paolo Liberatore, Pierre Marquis: Conditional independence in propositional logic. Artif. Intell. 141(1/2): 79-121 (2002)
32		Adnan Darwiche, Pierre Marquis: Compilation of Propositional Weighted Bases CoRR cs.AI/0207045: (2002)
31		Adnan Darwiche, Pierre Marquis: A Knowledge Compilation Map. J. Artif. Intell. Res. (JAIR) 17: 229-264 (2002)
	2001
30		Jé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
26		Sylvie 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
17		Brigitte Bessant, Éric Grégoire, Pierre Marquis, Lakhdar Sais: Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach. AIMSA 1998: 115-128
16		Nicolas 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
14		Nicolas 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, Sylvie 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
3		Pierre 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
1		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

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

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page