Publications de
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
On the merging of Dung’s argumentation systems
Dans : Artificial Intelligence, Elsevier, Numéro spécial Argumentation in Artificial Intelligence, Vol. 171 N. 10-15, p. 730-753, octobre 2007.
Accès : http://dx.doi.org/10.1016/j.artint.2007.04.012
BibTeX
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Pierre Marquis
Representing Policies for Quantified Boolean Formulae
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District (UK), 02/06/06-05/06/06, AAAI Press, p. 286-297, 2006.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/KR0603SCoste.pdf
BibTeXSylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
Merging Argumentation systems (regular paper)
Dans : American Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 09/07/05-13/07/05, AAAI Press, p. 614-619, juillet 2005.
Accès : http://www.aaai.org/Library/AAAI/2005/aaai05-096.php
BibTeXSylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis
Expressive power and succinctness of propositional languagesfor preference representation
Dans : Proc. of the 9th International Conference on Principles of Knowledge Representation ans Reasonning (KR’04), Whistler, BC, Canada, 02/06/04-05/06/04, D. Dubois, C. Welty, M-A Williams (Eds.), AAAI Press, p. 203-212, juin 2004.
Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis, Sylvie Coste-Marquis
Résolution de formules booléennes quantifiées : problèmes et algorithmes
Dans : Actes du 13ème Congrès Francophone de Reconnaissance des Formes et d’Intelligence Artificielle (RFIA 2002), Angers-France, 08/01/02-10/01/02, AFRIF-AFIA, Charvet Imprimeur, p. 289-298, janvier 2002.