S. Coste-Marquis and C. Devred and P. Marquis. Handling controversial arguments. Journal of Applied Non-Classical Logics (JANCL) 19:3, pp 311-370, 2009.
S. Coste-Marquis, C. Devred, S. Konieczny, M.-C. Lagasquie-Schiex and P. Marquis. On the merging of dung's argumentation systems. Artificial Intelligence Journal 171:730-753, 2007.
S. Coste-Marquis, Daniel Le Berre, Florian Letombe and Pierre Marquis. Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. Journal on Satisfiability, Boolean Modeling and Computation, vol. 1, pp 61-88, March 2006. [pdf]
S. Coste-Marquis and P. Marquis. On Stratified Belief Base Compilation Annals of Mathematics and Artificial Intelligence , 42(4):399-442, December 2004.
Coste-Marquis et P. Marquis. Knowledge Compilation for Circumscription and Closed-World Reasoning. Journal of Logic and Computation, vol. 11, n. 4, pages 579-607, August 2001.
S. Coste-Marquis. Formules booléennes quantifiées, Problème SAT : progrès et défis,chapitre 9, pages 243-267. Hermès, 2008.
S. Coste-Marquis and P. Marquis. On the Complexity of Paraconsistent Inference Relations. Inconsistency Tolerance, LNCS "state-of-the-art" subseries, Springer-Verlag, 3300:151-190, 2005.
A. Bonneau, F. Charpillet, S. Coste-Marquis, J.-P. Haton, Y. Laprie and P. Marquis. Towards a Multilevel Model for Hypothetical Reasoning in Continuous Speech Recognition. Levels in Speech Communication : Relations and Interactions, editor : C. Sorin, J. Mariani et H. Méloni, pages 225--238, Elsevier, 1995.
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. Extension Enforcement in Abstract Argumentation as an Optimization Problem Proc. of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15) pages 2876-2882, Buenos-Aires (Argentina), 2015. [pdf]
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. A Translation-Based Approach for Revision of Argumentation Frameworks Proc. of the 14\up{th} European Conference on Logics in Artificial Intelligence (JELIA'14) pages 397-411, Funchal, Madeira (Portugal), 2014. [pdf]
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. On the Revision of Argumentation Systems: Minimal Change of Argumentation Statuses Proc. of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14) pages 52-61, Vienna (Austria), 2014. [pdf]
S. Coste-Marquis, S. Konieczny, P. Marquis and M.-A. Ouali. Selecting Extensions in Weighted Argumentation Frameworks. Proc. of the 4th International Conference on Computational Models of Argument ( COMMA'12) pages 342-349, Vienna (Austria), 2012. [pdf]
S. Coste-Marquis, S. Konieczny, P. Marquis and M.-A. Ouali. Weighted attacks in argumentation frameworks. Proc. of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12) pages 593-597, Roma (Italy), 2012. [pdf]
S. Coste-Marquis and P. Marquis. Recovering consistency by forgetting inconsistency. In Proc. of the 11th European Conference on Logics in Artificial Intelligence (JELIA'08), LNCS, vol. 5293, pages 113-125, Dresden (Germany), 2008. [pdf]
S. Coste-Marquis, H. Fargier, J. Lang, D. le Berre and P. Marquis. Representing policies for quantified boolean formulae. In Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06) pages 286-296, Lake District (UK), 2006. [pdf]
S. Coste-Marquis, C. Devred, and P. Marquis. Constrained argumentation frameworks. In Proc. of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06) pages 112-122, Lake District (UK), 2006. [pdf]
Sylvie Coste-Marquis, Caroline Devred and Pierre Marquis. Inference from controversial arguments. In Proc. of the 12th International Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR'05), LNCS, vol. 3835, pages 606-620, Montego Bay (Jamaica), 2005. [pdf]
Sylvie Coste-Marquis, Caroline Devred and Pierre Marquis. Prudent Semantics for Argumentation Frameworks. In Proc. of the 17th IEEE International Conference on Tools with Artificial Intelligence ( ICTAI'05), pages 568-572 (short paper), Hong-Kong, 2005. [pdf]
S. Coste-Marquis, Daniel Le Berre, Florian Letombe and Pierre Marquis. Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae In Proc. of the 20th National Conference on Artificial Intelligence ( AAAI'05), pp 288-293, Pittsburgh (Pensylvania, USA), 2005 [pdf]
Sylvie Coste-Marquis, Caroline Devred, Sebastien Konieczny, Marie-Christine Lagasquie-Schiex and Pierre Marquis. Merging Argumentation Systems. In Proc. of the 20th National Conference on Artificial Intelligence ( AAAI'05), pp 614-619, Pittsburgh (Pennsylvania, USA), 2005. [pdf]
Sylvie Coste-Marquis, Caroline Devred and Pierre Marquis. Symmetric Argumentation Frameworks. In Proc. of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'05), LNCS, vol. 3571, pp 317-328, Barcelona, 2005. [pdf]
Sylvie Coste-Marquis, Daniel Le Berre and Florian Letombe. A Branching Heuristics for Quantified Renamable Horn Formulas, In Proc. of the 8th International Conference on Theory and Applications of Satisfiability Testing ( SAT'05), LNCS, vol. 3569, pp 393-399 (poster), St. Andrews (UK), 2005. [pdf]
S. Coste-Marquis and P. Marquis. A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning. In Proc. of the 16th European Conference on Artificial Intelligence ( ECAI'04 ) , pages 803-807, Valencia, Espagne, 2004. [pdf]
S. Coste-Marquis, J. Lang, P. Liberatore and P. Marquis. Expressive Power and Succinctness of Propositional Languages for Preference Representation. In Proc. of the 9th International Conference on Principles of Knowledge Representation and Reasoning ( KR'04 ) , pages 203-212, Whistler, Canada, 2004. [pdf]
S. Coste-Marquis and P. Marquis. Complexity results for paraconsistent inference relations. In Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning ( KR'02) , pages 61-72, Toulouse, France, 2002. [pdf]
S. Coste-Marquis et P. Marquis. Compiling Stratified Belief Bases. In Proc. of the Seventeenth European Conf. on Artificial Intelligence ( ECAI'00) , pages 23-27, Berlin, Allemagne, 2000. [pdf]
S. Coste-Marquis et P. Marquis. Complexity results for propositional closed world reasoning and circumscription from tractable knowledge bases. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence ( IJCAI'99) , pages 24--29, Stockholm (Suède), 1999. [pdf]
S. Coste-Marquis et P. Marquis. Characterizing Consistency-Based Diagnoses. In Proc. of the Fifth International Symposium on Artificial Intelligence and Mathematics (electronic proceedings : http://rutcor.rutgers.edu/~amai/aimath98/) , Fort Lauderdale (Florida, USA), 1998. [gzipped ps]
S. Robbe, A. Bonneau, S. Coste and Y. Laprie. Using decision trees to construct optimal acoustic cues. In Proc. of the 4th International Conference on Spoken Language Processing (ICSLP'96) , pages 137--140, Philadelphia (Pennsylvania, USA), 1996.
A. Bonneau, S. Coste-Marquis and Y. Laprie. Strong cues for identifying well-realized phonetic features. In Proc. of the XIII International Congress of Phonetic Sciences (ICPhS'95) vol. 4, pages 144--147, Stockholm (Sweden), 1995.
S. Coste-Marquis. Interaction between Most Reliable Acoustic Cues and Lexical Analysis. In Proc. of the 3rd International Conference on Spoken Language Processing (ICSLP'94), pages 2187--2190, Yokohama (Japan), 1994.
S. Coste-Marquis. Hypothetical Reasoning for Automatic Recognition of Continuous Speech. In Proc. of the 11th European Conference on Artificial Intelligence (ECAI'94) , pages 565-569, Amsterdam (Netherlands), 1994.
A. Bonneau, S. Coste, L. Djezzar and Y. Laprie. Two Level Acoustic Cues for Consistent Stop Identification. In Proc. of the 2nd International Conference on Spoken Language Processing (ICSLP'92), pages 511--514, Banff (Alberta, Canada), 1992.
A. Bonneau, F. Charpillet, S. Coste, J. -P. Haton, Y. Laprie and P. Marquis. An Overview of some Applications using Assumption-based reasoning. In Proc. of the ECAI'92 Workshop on Applications of Reason Maintenance Systems , Vienne (Autriche), 1992.
A. Bonneau, F. Charpillet, S. Coste, J. -P. Haton, Y. Laprie and P. Marquis. A Model for Hypothetical Reasoning Applied to Speech Recognition. In Proc. of the 10th European Conference on Artificial Intelligence (ECAI'92), pages 553--557, Vienne (Autriche), 1992.
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. Forçage d'extension en argumentation abstraite par optimisation booléenne. In Actes des 9ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'15), pages 45-54, Rennes, juin 2015. [pdf]
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. Approche par traduction pour la révision de systèmes d'argumentation. In Actes des 8ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'14), pages 77-85, Angers, juin 2014. [pdf]
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. Révision de systèmes d'argumentation : changement minimal du statut des arguments. In Actes des 7ièmes Journées de l'Intelligence Artificielle Fondamentale (IAF'13), pages 107-116, Aix-en-Provence, juin 2013. [pdf]
S. Coste-Marquis, Daniel Le Berre, Florian Letombe and Pierre Marquis. Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées. In Actes du 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle ( RFIA'06). Tours, Janvier 2006. [pdf](Actes électroniques).
Sylvie Coste-Marquis, Caroline Devred and Pierre Marquis. Sémantiques prudentes pour les systèmes d'argumentation. In Actes du 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle ( RFIA'06). Tours, Janvier 2006. [pdf](Actes électroniques).
Sylvie Coste-Marquis, Caroline Devred and Pierre Marquis. Systèmes d'argumentation symétriques. In Actes des troisièmes journées francophones sur les modèles formels de l'interaction ( MFI'05), pp 223-228, Caen, 2005 [pdf]
S. Coste-Marquis, H. Fargier, J. Lang, D. Le Berre et P. Marquis. Résolution de formules booléennes quantifiées : problèmes et algorithmes. In Actes du 13ème Congrès Reconnaissance des Formes et Intelligence Artificielle ( RFIA'02) , pages 289-298, Angers, 2002. [pdf]
S. Coste-Marquis. Interaction entre le décodage acoustico-phonétique et l'analyse lexicale grâce aux techniques du raisonnement hypothétique : le système DAPHNÉ. In Actes des XXèmes Journées d'Étude sur la Parole , pages 473--478, Trégastel, 1994.
S. Coste. Raisonnement hypothétique pour le décodage acoustico-phonétique. In Actes des Premières Rencontres des Jeunes Chercheurs en Intelligence Artificielle , pages 354--364, Rennes, 1992.
A. Bonneau, F. Charpillet, S. Coste, J. -P. Haton, Y. Laprie and P. Marquis. Utilisation des méthodes de raisonnement hypothétique en reconnaissance de la parole continue. In Actes des 19èmes Journées d'Étude sur la Parole , pages 483-487, Bruxelles, 1992.
S. Coste-Marquis, S. Konieczny J.-G. Mailly and P. Marquis. On the Revision of Argumentation Systems: Minimal Change of Arguments Status. Presented at the 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13), Beijing (China), 2013.
S. Coste-Marquis and P. Marquis. Recovering consistency by forgetting inconsistency. Rapport interne, CRIL, 2008. [pdf]
S. Coste-Marquis, C. Devred and P. Marquis. Handling controversial arguments. Rapport interne, 2006.