Publications of
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex, Pierre Marquis
On the merging of Dung’s argumentation systems
In : Artificial Intelligence, Elsevier, Special issue Argumentation in Artificial Intelligence, Vol. 171 N. 10-15, pp. 730-753, October 2007.
Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Pierre Marquis
Representing Policies for Quantified Boolean Formulae
In : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District (UK), 02/06/06-05/06/06, AAAI Press, pp. 286-297, 2006.
Abstract URL : 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)
In : American Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, Pennsylvania, 09/07/05-13/07/05, AAAI Press, pp. 614-619, July 2005.
URL : 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
In : 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, pp. 203-212, June 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
In : 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, pp. 289-298, January 2002.