GDR I3 Groupe de Travail 1.5
Modèles Formels pour l'Interaction

Réunion du 21 octobre 2005

Cette réunion a eu lieu LIP6. Elle a permis à 5 orateurs de présenter leurs travaux et d'interagir avec les participants.

Marc-Philippe Huget

Processus formel à l'aide du raffinement pour le passage d'une idée de protocole à un protocole pour des agents

Les transparents de sa présentation sont disponibles :

Richard DAPOIGNY

L'IAD appliquée aux processus physiques.L'IAD appliquée aux processus physiques.L'IAD appliquée aux processus physiques

Les transparents de sa présentation sont disponibles :

Emerson PARAISO

Une interface conversationnelle pour une aide intelligente

Les transparents de sa présentation sont disponibles :

Frédéric DEHAIS

Syndrome de persévération dans l'activité de pilotage : détection formelle de conflits équipage/pilote automatique pour l'envoi de contre-mesures cognitives

Les transparents de sa présentation sont disponibles :

Maxime MORGE

Système dialectique multi-agents : vers une prise de décision collective et débattue

Les transparents de sa présentation sont disponibles :

Copyright © 2003-2006 Philippe Mathieu  --   Mentions légales  --   HTML 4.01  --  CSS 2.0  --  Mimine 1.0  --   Dernière regénération : mardi 11 novembre 2014 à 12:38