Différences

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

Lien vers cette vue comparative

Prochaine révision
Révision précédente
iaf:actes [2017/06/29 23:52]
127.0.0.1 modification externe
iaf:actes [2017/07/02 22:54]
zanuttini
Ligne 1: Ligne 1:
 ====== Actes des Journées d'​Intelligence Artificielle Fondamentale====== ====== Actes des Journées d'​Intelligence Artificielle Fondamentale======
 +
 +Les PDF sont accessibles pendant toute la plate-forme en utilisant les mêmes identifiant et mot de passe que pour accéder au wifi.
  
 {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Actes.IAF.2017.pdf|Actes en un seul fichier PDF}} {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Actes.IAF.2017.pdf|Actes en un seul fichier PDF}}
Ligne 25: Ligne 27:
   * C. Leturc, G. Bonnet. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Leturc_IAF_2017.pdf|Une logique modale normale de la confiance}}   * C. Leturc, G. Bonnet. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Leturc_IAF_2017.pdf|Une logique modale normale de la confiance}}
   * P. Siegel, A. Doncescu, V. Risch, S. Sené. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Siegel_IAF_2017.pdf|Représentation des systèmes dynamiques discrets booléens en logique des hypothèses}}   * P. Siegel, A. Doncescu, V. Risch, S. Sené. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Siegel_IAF_2017.pdf|Représentation des systèmes dynamiques discrets booléens en logique des hypothèses}}
-  * A. Wilczynski, L. Gourvès, J. Lesca. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Wilczynski_IAF_2017.pdf|Allocation d'​objets par des échanges le long d\T1\textquoteright ​un réseau social}}+  * A. Wilczynski, L. Gourvès, J. Lesca. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Wilczynski_IAF_2017.pdf|Allocation d'​objets par des échanges le long d'un réseau social}}
   * O. Gasquet, A. Herzig, D. Longin, F. Maris, M. Valais. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Gasquet_IAF_2017.pdf|TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)}}   * O. Gasquet, A. Herzig, D. Longin, F. Maris, M. Valais. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Gasquet_IAF_2017.pdf|TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)}}