Coste-Marquis, Sylvie

5 publications

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

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

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

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

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