Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Sylvie Coste-Marquis
2010 – today
- 2012
[c19]Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali: Selecting Extensions in Weighted Argumentation Frameworks. COMMA 2012: 342-349- [c18]Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali: Weighted Attacks in Argumentation Frameworks. KR 2012
2000 – 2009
- 2009
- [j5]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Handling controversial arguments. Journal of Applied Non-Classical Logics 19(3): 311-369 (2009)
- 2008
- [c17]Sylvie Coste-Marquis, Pierre Marquis: Recovering Consistency by Forgetting Inconsistency. JELIA 2008: 113-125
- 2007
- [j4]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
- [j3]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)
- [c16]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Constrained Argumentation Frameworks. KR 2006: 112-122
- [c15]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
- 2005
- [c14]Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis: Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI 2005: 288-293
- [c13]Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis: Merging Argumentation Systems. AAAI 2005: 614-619
- [c12]Sylvie Coste-Marquis, Pierre Marquis: On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance 2005: 151-190
- [c11]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Symmetric Argumentation Frameworks. ECSQARU 2005: 317-328
- [c10]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Prudent Semantics for Argumentation Frameworks. ICTAI 2005: 568-572
- [c9]Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Inference from Controversial Arguments. LPAR 2005: 606-620
- [c8]Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe: A Branching Heuristics for Quantified Renamable Horn Formulas. SAT 2005: 393-399
- 2004
- [j2]Sylvie Coste-Marquis, Pierre Marquis: On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42(4): 399-442 (2004)
- [c7]Sylvie Coste-Marquis, Pierre Marquis: A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI 2004: 803-807
- [c6]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
- 2002
- [c5]Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Paraconsistent Inference Relations. KR 2002: 61-72
- 2001
- [j1]Sylvie Coste-Marquis, Pierre Marquis: Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. 11(4): 579-607 (2001)
- 2000
- [c4]
1990 – 1999
- 1999
- [c3]Sylvie Coste-Marquis, Pierre Marquis: Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI 1999: 24-29
- 1994
- [c2]Sylvie Coste-Marquis: Hypothetical Reasoning for Automatic Recognition of Continuous Speech. ECAI 1994: 565-572
- [c1]Sylvie Coste-Marquis: Interaction between most reliable acoustic cues and lexical analysis. ICSLP 1994
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-14 16:55 CET by the dblp team