Publications of
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)
In : Journées françaises d’intelligence artificielle fondamentale, Aix en Provence, 14/06/13-16/06/13, LSIS – Université d’Aix-Marseille, pp. 57-67, June 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)
In : Journées Francophones de Programmation par Contraintes (JFPC 2013), Aix en Provence, 12/06/13-14/06/13, LSIS – Université d’Aix-Marseille, pp. 21-30, June 2013.
Jerome Amilhastre, Hélène Fargier, Alexandre Niveau, Cedric Pralet
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams (regular paper)
In : International Conference on Tools with Artificial Intelligence (ICTAI 2012), Athens, 07/11/12-09/11/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, November 2012.
URL : 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)
In : Starting AI Researcher’s Symposium (STAIRS 2012), Montpellier, 02/08/12, K. Kersting, M. Toussaint (Eds.), IOS Press, pp. 216-227, August 2012.
URL : 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)
In : European Conference on Artificial Intelligence (ECAI 2010), Lisboa, 16/08/10-20/08/10, IOS Press, pp. 459-464, August 2010.
URL : 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.
In : Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers. Croitoru, Rudolph, Wilson, Howse, Corby (Eds.) , Springer, pp. 137-171, Vol. 7205, LNCS, 2012.
Knowledge Compilation for Online Decision-Making: Application to the Control of Autonomous Systems
Master’s Thesis, Université Paul Sabatier, March 2012.
Abstract URL : http://www.irit.fr/publis/ADRIA/PapersFargier/these_NiveauA.pdf
BibTeX