Sylvie Coste-Marquis

35 papers A* 11A 6B 4C 2Journal 8Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees. CoRR Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2025	J	`jnl`	Leveraging Association Rules for Better Predictions and Better Explanations. CoRR Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2025	—	`conf`	Une interface XAI pour des modèles d'apprentissage automatique à base d'arbres. EGC Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2024	A	`conf`	Designing an XAI Interface for Tree-Based ML Models. ECAI Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
2024	—	`conf`	Rectifier pour mieux distiller. EGC Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri
2023	A	`conf`	Rectifying Binary Classifiers. ECAI Sylvie Coste-Marquis, Pierre Marquis
2022	J	`jnl`	Rectifying Mono-Label Boolean Classifiers. CoRR Sylvie Coste-Marquis, Pierre Marquis
2021	A*	`conf`	On Belief Change for Multi-Label Classifier Encodings. IJCAI Sylvie Coste-Marquis, Pierre Marquis
2015	A*	`conf`	Extension Enforcement in Abstract Argumentation as an Optimization Problem. IJCAI Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2014	B	`conf`	A Translation-Based Approach for Revision of Argumentation Frameworks. JELIA Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2014	A*	`conf`	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. KR Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
2012	C	`conf`	Selecting Extensions in Weighted Argumentation Frameworks. COMMA Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
2012	A*	`conf`	Weighted Attacks in Argumentation Frameworks. KR Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
2009	J	`jnl`	Handling controversial arguments. J. Appl. Non Class. Logics Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2008	B	`conf`	Recovering Consistency by Forgetting Inconsistency. JELIA Sylvie Coste-Marquis, Pierre Marquis
2007	J	`jnl`	On the merging of Dung's argumentation systems. Artif. Intell. Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
2006	J	`jnl`	Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. J. Satisf. Boolean Model. Comput. Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
2006	A*	`conf`	Constrained Argumentation Frameworks. KR Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2006	A*	`conf`	Representing Policies for Quantified Boolean Formulae. KR Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis
2005	A	`conf`	A Branching Heuristics for Quantified Renamable Horn Formulas. SAT Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe
2005	B	`conf`	Inference from Controversial Arguments. LPAR Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2005	A*	`conf`	Merging Argumentation Systems. AAAI Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
2005	—	`conf`	On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance Sylvie Coste-Marquis, Pierre Marquis
2005	A*	`conf`	Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. AAAI Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
2005	B	`conf`	Prudent Semantics for Argumentation Frameworks. ICTAI Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2005	C	`conf`	Symmetric Argumentation Frameworks. ECSQARU Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis
2004	A	`conf`	A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. ECAI Sylvie Coste-Marquis, Pierre Marquis
2004	A*	`conf`	Expressive Power and Succinctness of Propositional Languages for Preference Representation. KR Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
2004	J	`jnl`	On Stratified Belief Base Compilation. Ann. Math. Artif. Intell. Sylvie Coste-Marquis, Pierre Marquis
2002	A*	`conf`	Complexity Results for Paraconsistent Inference Relations. KR Sylvie Coste-Marquis, Pierre Marquis
2001	J	`jnl`	Knowledge Compilation for Closed World Reasoning and Circumscription. J. Log. Comput. Sylvie Coste-Marquis, Pierre Marquis
2000	A	`conf`	Compiling Stratified Belief Bases. ECAI Sylvie Coste-Marquis, Pierre Marquis
1999	A*	`conf`	Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. IJCAI Sylvie Coste-Marquis, Pierre Marquis
1994	A	`conf`	Hypothetical Reasoning for Automatic Recognition of Continuous Speech. ECAI Sylvie Coste-Marquis
1994	—	`conf`	Interaction between most reliable acoustic cues and lexical analysis. ICSLP Sylvie Coste-Marquis