A Model for Hypothetical Reasoning Applied to Speech Recognition. - Anne Bonneau; François Charpillet; Sylvie Coste; Jean Paul Haton; Yves Laprie; Pierre Marquis (ECAI, 1992)

Two level acoustic cues for consistent stop identification. - Anne Bonneau; Sylvie Coste; Linda Djezzar; Yves Laprie (ICSLP, 1992)

Hypothetical Reasoning for Automatic Recognition of Continuous Speech. - Sylvie Coste-Marquis (ECAI, 1994)

Interaction between most reliable acoustic cues and lexical analysis. - Sylvie Coste-Marquis (ICSLP, 1994)

Using decision trees to construct optimal acoustic cues. - Sandrine Robbe; Anne Bonneau; Sylvie Coste; Yves Laprie (ICSLP, 1996)

Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. - Sylvie Coste-Marquis; Pierre Marquis (IJCAI, 1999)

Compiling Stratified Belief Bases. - Sylvie Coste-Marquis; Pierre Marquis (ECAI, 2000)

Knowledge Compilation for Closed World Reasoning and Circumscription. - Sylvie Coste-Marquis; Pierre Marquis (J. Log. Comput., 2001)

Complexity Results for Paraconsistent Inference Relations. - Sylvie Coste-Marquis; Pierre Marquis (KR, 2002)

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. - Sylvie Coste-Marquis; Pierre Marquis (ECAI, 2004)

Expressive Power and Succinctness of Propositional Languages for Preference Representation. - Sylvie Coste-Marquis; Jérôme Lang; Paolo Liberatore; Pierre Marquis (KR, 2004)

On Stratified Belief Base Compilation. - Sylvie Coste-Marquis; Pierre Marquis (Ann. Math. Artif. Intell., 2004)

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. - Sylvie Coste-Marquis; Daniel Le Berre; Florian Letombe; Pierre Marquis (AAAI, 2005)

Merging Argumentation Systems. - Sylvie Coste-Marquis; Caroline Devred; Sébastien Konieczny; Marie-Christine Lagasquie-Schiex; Pierre Marquis (AAAI, 2005)

On the Complexity of Paraconsistent Inference Relations. - Sylvie Coste-Marquis; Pierre Marquis (Inconsistency Tolerance, 2005)

Symmetric Argumentation Frameworks. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (ECSQARU, 2005)

Prudent Semantics for Argumentation Frameworks. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (ICTAI, 2005)

Inference from Controversial Arguments. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (LPAR, 2005)

A Branching Heuristics for Quantified Renamable Horn Formulas. - Sylvie Coste-Marquis; Daniel Le Berre; Florian Letombe (SAT, 2005)

Constrained Argumentation Frameworks. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (KR, 2006)

Representing Policies for Quantified Boolean Formulae. - Sylvie Coste-Marquis; Hélène Fargier; Jérôme Lang; Daniel Le Berre; Pierre Marquis (KR, 2006)

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. - Sylvie Coste-Marquis; Daniel Le Berre; Florian Letombe; Pierre Marquis (J. Satisf. Boolean Model. Comput., 2006)

On the merging of Dung's argumentation systems. - Sylvie Coste-Marquis; Caroline Devred; Sébastien Konieczny; Marie-Christine Lagasquie-Schiex; Pierre Marquis (Artif. Intell., 2007)

Recovering Consistency by Forgetting Inconsistency. - Sylvie Coste-Marquis; Pierre Marquis (JELIA, 2008)

Handling controversial arguments. - Sylvie Coste-Marquis; Caroline Devred; Pierre Marquis (J. Appl. Non Class. Logics, 2009)

Selecting Extensions in Weighted Argumentation Frameworks. - Sylvie Coste-Marquis; Sébastien Konieczny; Pierre Marquis; Mohand Akli Ouali (COMMA, 2012)

Weighted Attacks in Argumentation Frameworks. - Sylvie Coste-Marquis; Sébastien Konieczny; Pierre Marquis; Mohand Akli Ouali (KR, 2012)

A Translation-Based Approach for Revision of Argumentation Frameworks. - Sylvie Coste-Marquis; Sébastien Konieczny; Jean-Guy Mailly; Pierre Marquis (JELIA, 2014)

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. - Sylvie Coste-Marquis; Sébastien Konieczny; Jean-Guy Mailly; Pierre Marquis (KR, 2014)

Extension Enforcement in Abstract Argumentation as an Optimization Problem. - Sylvie Coste-Marquis; Sébastien Konieczny; Jean-Guy Mailly; Pierre Marquis (IJCAI, 2015)

On Belief Change for Multi-Label Classifier Encodings. - Sylvie Coste-Marquis; Pierre Marquis (IJCAI, 2021)

Rectifying Mono-Label Boolean Classifiers. - Sylvie Coste-Marquis; Pierre Marquis (CoRR, 2022)

Rectifying Binary Classifiers. - Sylvie Coste-Marquis; Pierre Marquis (ECAI, 2023)

Designing an XAI Interface for Tree-Based ML Models. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri; Nicolas Szczepanski (ECAI, 2024)

Rectifier pour mieux distiller. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri (EGC, 2024)

Une interface XAI pour des modèles d'apprentissage automatique à base d'arbres. - Gilles Audemard; Sylvie Coste-Marquis; Pierre Marquis; Mehdi Sabiri; Nicolas Szczepanski (EGC, 2025)