Publications de
Hélène Fargier, Pierre Marquis, Alexandre Niveau
Vers une carte de compilation pour des langages de représentation hétérogènes (regular paper)
Dans : Journées françaises d’intelligence artificielle fondamentale, Aix en Provence, 14/06/13-16/06/13, LSIS – Université d’Aix-Marseille, p. 57-67, juin 2013.
Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cedric Pralet
Compilation de CSPs : carte de complexité des MDDs non-déterministes. (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2013), Aix en Provence, 12/06/13-14/06/13, LSIS – Université d’Aix-Marseille, p. 21-30, juin 2013.
Jerome Amilhastre, Hélène Fargier, Alexandre Niveau, Cedric Pralet
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams (regular paper)
Dans : International Conference on Tools with Artificial Intelligence (ICTAI 2012), Athens, 07/11/12-09/11/12, IEEE : Institute of Electrical and Electronics Engineers, p. 1-8, novembre 2012.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/ictai12.pdf
BibTeXAlexandre Niveau, Hélène Fargier, Cédric Pralet
Set-Labeled Diagrams for CSP Compilation (regular paper)
Dans : Starting AI Researcher’s Symposium (STAIRS 2012), Montpellier, 02/08/12, K. Kersting, M. Toussaint (Eds.), IOS Press, p. 216-227, août 2012.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/stairs12.pdf
BibTeXAlexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie
Knowledge Compilation Using Interval Automata and Applications to Planning (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2010), Lisboa, 16/08/10-20/08/10, IOS Press, p. 459-464, août 2010.
Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/ECAI10-NFPV.pdf
BibTeX
Alexandre Niveau, Hélène Fargier, Cédric Pralet
Representing CSPs with Set-Labeled Diagrams: A Compilation Map.
Dans : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers. Croitoru, Rudolph, Wilson, Howse, Corby (Eds.) , Springer, p. 137-171, Vol. 7205, LNCS, 2012.
Accès : http://dx.doi.org/10.1007/978-3-642-29449-5_6
BibTeX
Knowledge Compilation for Online Decision-Making: Application to the Control of Autonomous Systems
Thèse de doctorat, Université Paul Sabatier, mars 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersFargier/these_NiveauA.pdf
BibTeX