Publications de
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)
Dans : 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), p. 99-114, mai 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)
Dans : 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, p. 121-136, juin 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)
Dans : 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, p. 181-196, juin 2010.
Andreas Herzig, Jérôme Lang, Pierre Marquis, Thomas Polacsek
Updates, actions, and planning (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI ), Seattle, Morgan Kaufmann Publishers, p. 119-124, août 2001.
Accès : 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)
Dans : National Conference on Artificial Intelligence (AAAI 2000), Austin, Texas (USA), 30/07/00-03/08/00, Henry Kautz, Bruce Porter (Eds.), AAAI Press, p. 768-773, 2000.
Résumé Accès : 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
Dans : The Fifth International Conference on Artificial Intelligence Planning \& Scheduling (AIPS2000), Breckenridge, CO, USA, 11/04/00-15/04/00.
Accès : http://www.irit.fr/publis/LILAC/Conf_sans_actes/2000_Herzig_et_al_AIPS.pdf
BibTeXPlanifier sous environnement partiellement observable
Dans : RJCIA’2000, Lyon, 14/07/00.
Andreas Herzig, Jérôme Lang, Thomas Polacsek
A modal logic for epistemic tests
Dans : Proceedings of the 14th European Conference on Artificial Intelligence ECAI 2000, Berlin, Germany, 20/08/00-25/08/00, Werner Horn, p. 553-557, août 2000.
Andreas Herzig, Jérôme Lang, Thomas Polacsek
Connaissances, actions et tests
Dans : Journées Nationales sur les Modèles du Raisonnement, Paris, .
Andreas Herzig, Thomas Polacsek, Jérôme Lang
Knowledge, actions, and tests
Dans : IJCAI’99 Workshop on Practical Reasoning and Rationality, Stockholm, 31/07/99-31/07/99.
Accès : http://www.irit.fr/~Andreas.Herzig/P/WSijcai99.html
BibTeX
Florence Sèdes, Rémi Delmas, Thomas Polacsek
DIFFUSION D’ALARMES, DIFFUSION D’ALERTES DE NOUVEAUX ENJEUX POUR LES SI
Dans : Ingénierie des Systèmes d’Information, Hermès Science, Vol. 21/4, novembre 2016.
Une logique pour la planification en environnement partiellement observable
Thèse de doctorat, Université Paul Sabatier, juin 2004.
Jean-Paul Bodeveix, Mamoun Filali, Thomas Polacsek
Projet PAM: AIde à la conception d’une palte-forme avionique
Présentation orale. mars 2009.