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
iaf:actes [2017/06/29 23:59]
zanuttini
iaf:actes [2017/08/29 12:36] (Version actuelle)
Ligne 11: Ligne 11:
   * F. Berreby, G. Bourgne, J.-G. Ganascia. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Berreby_IAF_2017.pdf|Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques}}   * F. Berreby, G. Bourgne, J.-G. Ganascia. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Berreby_IAF_2017.pdf|Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques}}
   * P. Besnard, T. Guyet, V. Masson. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Besnard_IAF_2017.pdf|Admissible generalizations of examples as rules}}   * P. Besnard, T. Guyet, V. Masson. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Besnard_IAF_2017.pdf|Admissible generalizations of examples as rules}}
 +  * P. Besnard, S. Doutre, D. Longin. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​BesnardDemo_IAF_2017.pdf|Le système Sesame : Spécifier des sémantiques argumentatives (démonstration)}}
   * E. Bonnet, S. Gaspers, A. Lambilliotte,​ S. Rümmele, A. Saffidine. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Bonnet_IAF_2017.pdf|The Parameterized Complexity of Positional Games}}   * E. Bonnet, S. Gaspers, A. Lambilliotte,​ S. Rümmele, A. Saffidine. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Bonnet_IAF_2017.pdf|The Parameterized Complexity of Positional Games}}
   * E. Bonzon, J. Delobelle, S. Konieczny, N. Maudet. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Bonzon_IAF_2017.pdf|Une Sémantique Graduée Paramétrique pour la Persuasion}}   * E. Bonzon, J. Delobelle, S. Konieczny, N. Maudet. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Bonzon_IAF_2017.pdf|Une Sémantique Graduée Paramétrique pour la Persuasion}}
Ligne 25: Ligne 26:
   * 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'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\T1\textquoteright ​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)}}