Sylvie Coste-Marquis

	2009
22		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Handling controversial arguments. Journal of Applied Non-Classical Logics 19(3): 311-369 (2009)
	2008
21		Sylvie Coste-Marquis, Pierre Marquis: Recovering Consistency by Forgetting Inconsistency. JELIA 2008: 113-125
	2007
20		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)
	2006
19		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Constrained Argumentation Frameworks. KR 2006: 112-122
18		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
17		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
16		Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293
15		Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis: Merging Argumentation Systems. AAAI 2005: 614-619
14		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328
13		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572
12		Sylvie Coste-Marquis, Pierre Marquis: On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190
11		Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Inference from Controversial Arguments. LPAR 2005: 606-620
10		Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe: A Branching Heuristics for Quantified Renamable Horn Formulas. SAT 2005: 393-399
	2004
9		Sylvie Coste-Marquis, Pierre Marquis: A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI 2004: 803-807
8		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
7		Sylvie Coste-Marquis, Pierre Marquis: On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004)
	2002
6		Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Paraconsistent Inference Relations. KR 2002: 61-72
	2001
5		Sylvie Coste-Marquis, Pierre Marquis: Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. 11(4): 579-607 (2001)
	2000
4		Sylvie Coste-Marquis, Pierre Marquis: Compiling Stratified Belief Bases. ECAI 2000: 23-27
	1999
3		Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI 1999: 24-29
	1994
2		Sylvie Coste-Marquis: Hypothetical Reasoning for Automatic Recognition of Continuous Speech. ECAI 1994: 565-572
1		Sylvie Coste-Marquis: Interaction between most reliable acoustic cues and lexical analysis. ICSLP 1994

Coauthor Index

1	Daniel Le Berre	[10] [16] [17] [18]
2	Caroline Devred	[11] [13] [14] [15] [19] [20] [22]
3	Hélène Fargier	[18]
4	Sébastien Konieczny	[15] [20]
5	Marie-Christine Lagasquie-Schiex	[15] [20]
6	Jérôme Lang	[8] [18]
7	Florian Letombe	[10] [16] [17]
8	Paolo Liberatore	[8]
9	Pierre Marquis	[3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page