Publications of
David Bihanic, Max Chevalier, Sophie Dupuy-Chessa, Xavier Le Pallec, Thierry Morineau, Thomas Polacsek
Modélisation graphique des SI. Du traitement visuel de modèles complexes (regular paper)
In : INFormatique des Organisations et Systemes d’Information et de Decision (INFORSID 2013), Paris, 29/05/13-31/05/13, INformatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), pp. 99-114, May 2013.
Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assistance à la conception de modèles à l’aide de contraintes (regular paper)
In : Journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (GDR-GPL), Groupe de travail MFDL, Lille, 07/06/11-10/06/11, CNRS – GDR GPL, pp. 121-136, June 2011.
Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali
Assistance à la conception de modèles à l’aide de contraintes (regular paper)
In : Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/10-11/06/10, Yamine Ait-Ameur (Eds.), LISI-ENSMA, pp. 181-196, June 2010.
Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
Updates, actions, and planning (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI ), Seattle, Morgan Kaufmann Publishers, pp. 119-124, August 2001.
URL : http://www.irit.fr/~Andreas.Herzig/P/ijcai01.html
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A logic for planning under partial observability (regular paper)
In : National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas (USA), 30/07/00-03/08/00, Henry Kautz, Bruce Porter (Eds.), AAAI Press, pp. 768-773, 2000.
Abstract URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2000_Herzig_et_al_AAAI.pdf
BibTeXAndreas Herzig, Jérôme Lang, Dominique Longin, Thomas Polacsek
A logic for planning under partial observability
In : The Fifth International Conference on Artificial Intelligence Planning \& Scheduling (AIPS2000), Breckenridge, CO, USA, 11/04/00-15/04/00.
URL : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_AIPS.pdf
BibTeXPlanifier sous environnement partiellement observable
In : RJCIA’2000, Lyon, 14/07/00.
Andreas Herzig, Jérôme Lang, Thomas Polacsek
A modal logic for epistemic tests
In : Proceedings of the 14th European Conference on Artificial Intelligence ECAI 2000, Berlin, Germany, 20/08/00-25/08/00, Werner Horn, pp. 553-557, August 2000.
Andreas Herzig, Jérôme Lang, Thomas Polacsek
Connaissances, actions et tests
In : Journées Nationales sur les Modèles du Raisonnement, Paris, .
Andreas Herzig, Thomas Polacsek, Jérôme Lang
Knowledge, actions, and tests
In : IJCAI’99 Workshop on Practical Reasoning and Rationality, Stockholm, 31/07/99-31/07/99.
URL : http://www.irit.fr/~Andreas.Herzig/P/WSijcai99.html
BibTeX
Une logique pour la planification en environnement partiellement observable
Master’s Thesis, Université Paul Sabatier, June 2004.
Jean-Paul Bodeveix, Mamoun Filali, Thomas Polacsek
Projet PAM: AIde à la conception d’une palte-forme avionique
Présentation orale. March 2009.