Sylvie Coste-Marquis

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 4

Top Topics

Argumentation Frameworks

Training Samples

Binary Classifiers

Top Venues

Publications

Sylvie Coste-Marquis, Pierre Marquis
Rectifying Binary Classifiers. ECAI (2023)
Sylvie Coste-Marquis, Pierre Marquis
Rectifying Mono-Label Boolean Classifiers. CoRR (2022)
Sylvie Coste-Marquis, Pierre Marquis
On Belief Change for Multi-Label Classifier Encodings. IJCAI (2021)
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
Extension Enforcement in Abstract Argumentation as an Optimization Problem. IJCAI (2015)
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
A Translation-Based Approach for Revision of Argumentation Frameworks. JELIA (2014)
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. KR (2014)
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
Weighted Attacks in Argumentation Frameworks. KR (2012)
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
Selecting Extensions in Weighted Argumentation Frameworks. COMMA (2012)
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Handling controversial arguments. J. Appl. Non Class. Logics 19 (3) (2009)
Sylvie Coste-Marquis, Pierre Marquis
Recovering Consistency by Forgetting Inconsistency. JELIA (2008)
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) (2007)
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. J. Satisf. Boolean Model. Comput. 1 (1) (2006)
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Constrained Argumentation Frameworks. KR (2006)
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
Representing Policies for Quantified Boolean Formulae. KR (2006)
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
Merging Argumentation Systems. AAAI (2005)
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe
A Branching Heuristics for Quantified Renamable Horn Formulas. SAT (2005)
Sylvie Coste-Marquis, Pierre Marquis
On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance (2005)
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI (2005)
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Prudent Semantics for Argumentation Frameworks. ICTAI (2005)
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Inference from Controversial Arguments. LPAR (2005)
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
Symmetric Argumentation Frameworks. ECSQARU (2005)
Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
Expressive Power and Succinctness of Propositional Languages for Preference Representation. KR (2004)
Sylvie Coste-Marquis, Pierre Marquis
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI (2004)
Sylvie Coste-Marquis, Pierre Marquis
On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. 42 (4) (2004)
Sylvie Coste-Marquis, Pierre Marquis
Complexity Results for Paraconsistent Inference Relations. KR (2002)
Sylvie Coste-Marquis, Pierre Marquis
Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. 11 (4) (2001)
Sylvie Coste-Marquis, Pierre Marquis
Compiling Stratified Belief Bases. ECAI (2000)
Sylvie Coste-Marquis, Pierre Marquis
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI (1999)
Sylvie Coste-Marquis
Hypothetical Reasoning for Automatic Recognition of Continuous Speech. ECAI (1994)
Sylvie Coste-Marquis
Interaction between most reliable acoustic cues and lexical analysis. ICSLP (1994)