Publications

International journals

2009 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Handling Controversial Arguments in Journal of Applied Non-Classical Logics,vol. 19, n° 3, pp. 311-369, 2009.

2004 Sylvie Coste-Marquis, Pierre Marquis, On Stratified Belief Base Compilation in Annals of Mathematics and Artificial Intelligence,vol. 42, n° 4, pp. 399-442, 2004.

2001 Sylvie Coste-Marquis, Pierre Marquis, Knowledge Compilation for Circumscription and Closed-World Reasoning in Journ. of Logic and Computation,vol. 11, n° 4, pp. 579-607, 2001.

International conferences

2023 Knowledge Sylvie Coste-Marquis, Pierre Marquis, Rectifying Binary Classifiers in The 26th European Conference on Artificial Intelligence (ECAI'23),IOS Press, 2023.

2021 Knowledge Sylvie Coste-Marquis, Pierre Marquis, On Belief Change for Multi-Label Classifier Encodings in Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21},International Joint Conferences on Artificial Intelligence Organization, pp. 1829-1836, 2021.

2015 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Extension Enforcement in Abstract Argumentation as an Optimization Problem in 24th International Joint Conference on Artificial Intelligence (IJCAI'15),AAAI Press, pp. 2876-2882, 2015.

2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses in 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'14),pp. 52-61, 2014.

2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, A Translation-based Approach for Revision of Argumentation Frameworks in 14th European Conference on Logics in Artificial Intelligence (JELIA'14),pp. 397-411, 2014.

2013 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, On the Revision of Argumentation Systems: Minimal Change of Arguments Status in 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA'13),2013.

2012 Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand~akli Ouali, Selecting Extensions in Weighted Argumentation Frameworks in 4th International Conference on Computational Models of Argument (COMMA'12),IOS Press, vol. 245, pp. 342-349, 2012.

2012 Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand~akli Ouali, Weighted attacks in argumentation frameworks in 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12),pp. 593-597, 2012.

2008 Sylvie Coste-Marquis, Pierre Marquis, Recovering Consistency by Forgetting Inconsistency in 11th European Conference on Logics in Artificial Intelligence (JELIA'08),Springer, vol. 5293, pp. 113-125, 2008.

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Inference from controversial arguments in 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'05),LNCS 3835,Springer Verlag, pp. 606-620, 2005.

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Prudent Semantics for Argumentation Frameworks in 17th IEEE International Conference on Tools with Artificial Intelligence(ICTAI'05),pp. 368-372, 2005.

2004 Sylvie Coste-Marquis, Pierre Marquis, A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning in Proceedings of the 16th European Conference on Artificial Intelligence (ECAI'04),pp. 803--807, 2004.

2004 Sylvie Coste-Marquis, J. Lang, P. Liberatore, Pierre Marquis, Expressive power and succinctness of propositional languages for preference representation in Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-04),pp. 203-212, 2004.

2002 Sylvie Coste-Marquis, Pierre Marquis, Complexity results for paraconsistent inference relations in Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-02),Morgan Kaufmann Publishers, Inc., pp. 61-72, 2002.

2000 Sylvie Coste-Marquis, Pierre Marquis, Compiling Stratified Belief Bases in Proc. of the Seventeenth European Conf. on Artificial Intelligence (ECAI-00),pp. 23-27, 2000.

1999 Sylvie Coste-Marquis, Pierre Marquis, Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases in Proc. of Sixteenth Intl. Joint Conf. on Artificial Intelligence (IJCAI-99),pp. 24-29, 1999.

1998 Sylvie Coste-Marquis, Pierre Marquis, Characterizing Consistency-Based Diagnoses in Proc. of the Fifth Intl. Symp. on Artificial Intelligence and Mathematics (AI&Math-98),1998.

1996 S. Robbe, A. Bonneau, Sylvie Coste-Marquis, Y. Laprie, Using decision trees to construct optimal acoustic cues in Proc. 4th Int. Conference on Spoken Language Processing,pp. 137-140, 1996.

1995 A. Bonneau, Sylvie Coste-Marquis, Y. Laprie, Strong cues for identifying well-realized phonetic features in Proc. XIII Int. Congress of Phonetic Sciences,vol. 4, pp. 144-147, 1995.

1994 Sylvie Coste-Marquis, Hypothetical Reasoning for Automatic Recognition of Continuous Speech in Proc. ECAI-94,Wiley, pp. 565-569, 1994.

1994 Sylvie Coste-Marquis, Interaction between Most Reliable Acoustic Cues and Lexical Analysis in Proc. 3rd Int. Conf. on Spoken Language Processing,pp. 2187-2190, 1994.

National journals

2001 Sylvie Coste-Marquis, Une application de la révision en reconnaissance automatique de la parole in Psychologie de l'interaction, Révision, cognition et interaction,vol. 11, pp. 101-121, 2001.

National conferences

2015 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Forçage d'extension en argumentation abstraite par optimisation booléenne in 9èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'15),pp. 45-54, 2015.

2014 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Approche par traduction pour la révision de systèmes d'argumentation in 8èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'14),pp. 77-85, 2014.

2013 Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis, Révision de systèmes d'argumentation : changement minimal du statut des arguments in 7èmes Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'13),pp. 107-116, 2013.

2006 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Fragments propositionnels pour la compilation de connaissances et formules booléennes quantifiées in 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle(RFIA'06),pp. Actes électroniques, 2006.

2005 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae in The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conferencep,pp. 288, 2005.

2002 Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis, Résolution de formules booléennes quantifiées : problèmes et algorithmes in 13ème Congrès AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2002),pp. 289-298, 2002.

1994 Sylvie Coste-Marquis, Intéraction entre le décodage acoustico-phonétique et l'analyse lexicale grace aux techniques du raisonnement hypothétique : le système DAPHNE in Actes des XXèmes Journées d'Etudes sur la Parole,pp. 473-478, 1994.

Book chapters

2008 Sylvie Coste-Marquis, Formules booléennes quantifiées in Problème SAT : progrès et défis,pp. 243-267, Hermès, 2008.

2004 Sylvie Coste-Marquis, Pierre Marquis, On the complexity of paraconsistent inference relations in Inconsistency Tolerance,vol. 3300, pp. 151-190, Springer, 2004.

1995 A. Bonneau, F. Charpillet, Sylvie Coste-Marquis, J.-P. Haton, Y. Laprie, Pierre Marquis, Towards a Multilevel Model for Hypothetical Reasoning in Continuous Speech Recognition in Levels in Speech Communication: Relations and Interactions,pp. 225-238, Elsevier, 1995.

International workshops

2020 Sylvie Coste-Marquis, Pierre Marquis, From Explanations to Intelligible Explanations in 1st International Workshop on Explainable Logic-Based Knowledge Representation (XLoKR'20),2020.