| 2026 | KR | A Rectification-Based Approach for Distilling Boosted Trees into Decision Trees. | Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski |
| 2024 | ECAI | Designing an XAI Interface for Tree-Based ML Models. | Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski |
| 2023 | ECAI | Rectifying Binary Classifiers. | Sylvie Coste-Marquis, Pierre Marquis |
| 2021 | IJCAI | On Belief Change for Multi-Label Classifier Encodings. | Sylvie Coste-Marquis, Pierre Marquis |
| 2015 | IJCAI | Extension Enforcement in Abstract Argumentation as an Optimization Problem. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | JELIA | A Translation-Based Approach for Revision of Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2014 | KR | On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses. | Sylvie Coste-Marquis, Sbastien Konieczny, Jean-Guy Mailly, Pierre Marquis |
| 2012 | COMMA | Selecting Extensions in Weighted Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
| 2012 | KR | Weighted Attacks in Argumentation Frameworks. | Sylvie Coste-Marquis, Sbastien Konieczny, Pierre Marquis, Mohand Akli Ouali |
| 2008 | JELIA | Recovering Consistency by Forgetting Inconsistency. | Sylvie Coste-Marquis, Pierre Marquis |
| 2006 | KR | Constrained Argumentation Frameworks. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2006 | KR | Representing Policies for Quantified Boolean Formulae. | Sylvie Coste-Marquis, Hlne Fargier, Jrme Lang, Daniel Le Berre, Pierre Marquis |
| 2005 | AAAI | Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae. | Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis |
| 2005 | AAAI | Merging Argumentation Systems. | Sylvie Coste-Marquis, Caroline Devred, Sbastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis |
| 2005 | ECSQARU | Symmetric Argumentation Frameworks. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2005 | ICTAI | Prudent Semantics for Argumentation Frameworks. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2005 | LPAR | Inference from Controversial Arguments. | Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2005 | SAT | A Branching Heuristics for Quantified Renamable Horn Formulas. | Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe |
| 2004 | ECAI | A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. | Sylvie Coste-Marquis, Pierre Marquis |
| 2004 | KR | Expressive Power and Succinctness of Propositional Languages for Preference Representation. | Sylvie Coste-Marquis, Jrme Lang, Paolo Liberatore, Pierre Marquis |
| 2002 | KR | Complexity Results for Paraconsistent Inference Relations. | Sylvie Coste-Marquis, Pierre Marquis |
| 2000 | ECAI | Compiling Stratified Belief Bases. | Sylvie Coste-Marquis, Pierre Marquis |
| 1999 | IJCAI | Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. | Sylvie Coste-Marquis, Pierre Marquis |
| 1994 | ECAI | Hypothetical Reasoning for Automatic Recognition of Continuous Speech. | Sylvie Coste-Marquis |
| 1994 | Interspeech | Interaction between most reliable acoustic cues and lexical analysis. | Sylvie Coste-Marquis |