Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
demos:presentation [2017/06/02 11:43]
niveau
demos:presentation [2017/06/09 21:22]
maris
Ligne 20: Ligne 20:
  
 [IAF] [IAF]
-**TouIST again... (formalisez et résolvez facilement des problèmes ​du monde réel avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais.+**TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais.
  
 [JFSMA] [JFSMA]
Ligne 30: Ligne 30:
 [JFSMA] [JFSMA]
 **BESSICA : un environnement de test pour la simulation d'​agents cognitifs DEMO** - Jean-Paul Barthès. **BESSICA : un environnement de test pour la simulation d'​agents cognitifs DEMO** - Jean-Paul Barthès.
 +
 +[JFSMA]
 +**Intégration d'un simulateur multi-agent dans une plateforme de co-simulation DEVS** - Thomas Paris, Laurent Ciarletta, Vincent Chevrier.
  
  
Ligne 48: Ligne 51:
  
 [JFPDA] [JFPDA]
-**TouIST again... (formalisez et résolvez facilement des problèmes ​du monde réel avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais.+**TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)** - Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais.