Publications

Article(s) de revue(s) internationale(s)

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

2007 Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, M-C Lagasquie-schiex, Pierre Marquis, On the Merging of Dung’s Argumentation Systems in Artificial Intelligence (AIJ),vol. 171, pp. 730-753, 2007. [Download]

2006 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages in Journal on Satisfiability, Boolean Modeling and Computation,vol. 1, pp. 61-88, mars 2006. [Download]

2004 Sylvie Coste-Marquis, Pierre Marquis, On Stratified Belief Base Compilation in Annals of Mathematics and Artificial Intelligence,vol. 42, n° 4, Kluwer Academic Publishers, pp. 399-442, decembre 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.

Article(s) de conférence(s) internationale(s)

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, juillet 2015. [Download]

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, septembre 2014. [Download]

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, juillet 2014. [Download]

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),août 2013. (workshop at IJCAI’13)

2012 Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand A. Ouali, Selecting Extensions in Weighted Argumentation Frameworks in 4th International Conference on Computational Models of Argument (COMMA’12),pp. 342-349, septembre 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),Lecture Notes in Artificial Intelligence 5293, Springer-Verlag, pp. 113-125, septembre 2008.

2006 Sylvie Coste-Marquis, Hélène Fargier, J. Lang, Daniel Le Berre, Pierre Marquis, Representing Policies for Quantified Boolean Formulae in Proc. of the 10th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR-06),AAAI Press, pp. 286-296, juin 2006.

2006 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Constrained Argumentation Frameworks in Proc. of the 10th Internat. Conf. on Principles of Knowledge Representation and Reasoning,AAAI Press, pp. 112-122, juin 2006.

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

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Symmetric Argumentation Frameworks in Proceedings of 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’05),Lecture Notes in Artificial Intelligence (LNAI 3571). Springer, pp. 317-328, 2005.

2005 Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, M-C Lagasquie-schiex, Pierre Marquis, Merging Argumentation Systems in Proceedings of 20th National Conference on Artificial Intelligence (AAAI’05),pp. 614-619, 2005. [Download]

2005 Sylvie Coste-Marquis, Daniel Le Berre, 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 3569, Springer 2005, pp. 393-399, juin 2005. (Poster)

2005 Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis, Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae in 20th National Conference on Artificial Intelligence (AAAI’05),pp. 288-293, 2005.

2005 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Inference from controversial arguments in Proc. of the 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning,Lecture Notes in Artificial Intelligence (LNAI 3835), Springer, vol. 3835, pp. 606-620, decembre 2005.

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, juin 2004.

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, août 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, août 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),janvier 1998. (electronic proceedings)

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, octobre 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, août 1995.

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, septembre 1994.

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

Article(s) de revue(s) nationale(s)

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, L’Harmattan, pp. 101-121, 2001.

Article(s) de conférence(s) nationale(s)

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 d’Intelligence Artificielle Fondamentale (JIAF’15),pp. 45-54, juin 2015. [Download]

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, juin 2014. [Download]

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 7ièmes Journées de l’Intelligence Artificielle Fondamentale (IAF’13),pp. 107-116, juin 2013.

2006 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Sémantiques prudentes pour les systèmes d’argumentation in Actes du 15ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle,janvier 2006. (Actes électroniques)

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 Actes du 15ème congrès francophone Reconnaissance des Formes et Intelligence Artificielle (RFIA’06),janvier 2006. (Actes électroniques) [Download]

2005 Sylvie Coste-Marquis, Caroline Devred, 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, 2005.

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

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, juin 1994.

Chapitre(s) d'ouvrage(s)

2008 Sylvie Coste-Marquis, Formules booléennes quantifiées in Problème SAT : progrès et défis,chapitre 9, pp. 243-267, Saïs (Eds.), Hermès, avril 2008.

2004 Sylvie Coste-Marquis, Pierre Marquis, On the complexity of paraconsistent inference relations in Inconsistency Tolerance,vol. 3300, pp. 151-190, Bertossi, Hunter, Schaub (Eds.), 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, Sorin,Mariani, Méloni (Eds.), Elsevier, 1995.

Thèse(s) de doctorat

1994 Sylvie Coste-Marquis, Utilisation des techniques du raisonnement hypothétique pour la reconnaissance automatique de la parole France, octobre 1994.

Rapport(s) technique(s)

2014 Sylvie Coste-Marquis, Compilation map for configuration CRIL, janvier 2014.

2014 Sylvie Coste-Marquis, Algorithms and exploitation of the compiled forms CRIL, decembre 2014.

2008 Sylvie Coste-Marquis, Pierre Marquis, Recovering Consistency by Forgetting Inconsistency CRIL, octobre 2008.

2006 Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis, Handling controversial arguments 2006.