Différences

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

Lien vers cette vue comparative

iaf:actes [2017/06/29 23:59]
zanuttini
iaf:actes [2017/08/29 12:36]
Ligne 1: Ligne 1:
-====== Actes des Journées d'​Intelligence Artificielle Fondamentale====== 
- 
-{{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Actes.IAF.2017.pdf|Actes en un seul fichier PDF}} 
- 
-PDF article par article : 
- 
-  * P. Balbiani, J.-F. Condotta. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Balbiani_IAF_2017.pdf|Un modèle pour raisonner sur les relations entre régions indéterminées}} 
-  * K. Belahcene, N. Maudet, C. Labreuche, W. Ouerdane, V. Mousseau. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Belahcene_IAF_2017.pdf|An efficient SAT formulation for learning multicriteria non-compensatory sorting models}} 
-  * F. Belardinelli,​ R. Condurache, C. Dima, W. Jamroga, A.V. Jones. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Belardinelli_IAF_2017.pdf|Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot}} 
-  * S. Benferhat, A. Levray, K. Tabia. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Benferhat_IAF_2017.pdf|Approximation de l'​inférence MAP via les transformations probabilistes-possibilistes}} 
-  * 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}} 
-  * 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}} 
-  * N. Boudjani, A. Gouaich, S. Kaci. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Boudjani_IAF_2017.pdf|Jeu d'​apprentissage basé sur le débat pour la construction de preuves mathématiques}} 
-  * Q. Cohen-Solal,​ M. Bouzid, A. Niveau. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​CohenSolal_IAF_2017.pdf|Séquences temporelles d'​informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante}} 
-  * M. Couceiro, N. Hug, H. Prade, G. Richard. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Couceiro_IAF_2017.pdf|Fonctions préservées par analogie : une méthode pour étendre des données booléennes}} 
-  * V. Delcroix. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Delcroix_IAF_2017.pdf|Réseau bayésien d'un critère de décision dans un problème de décision répété et multicritères}} 
-  * T. Dong, C. Le Duc, M. Lamolle. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Dong_IAF_2017.pdf|Tableau-based Revision for Expressive Description Logics}} 
-  * S. Doutre, J.-G. Mailly. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Doutre_IAF_2017.pdf|Dynamique des systèmes d'​argumentation : changement de sémantique et forçage d'​extension}} 
-  * T. Khaled, B. Benhamou, P. Siegel. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Khaled_IAF_2017.pdf|Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique}} 
-  * S. Konieczny, R. Pino Perez. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Konieczny_IAF_2017.pdf|Sur la contraction itérée}} 
-  * J.-M. Lagniez, D. Le Berre, T. de Lima, V. Montmirail. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Lagniez_IAF_2017.pdf|Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K}} 
-  * J.-B. Lamy. {{ https://​pfia2017.greyc.fr/​share/​actes/​IAF/​Lamy_IAF_2017.pdf|Les oiseaux picorant artificiels : une nouvelle méta-heuristique inspirée du comportement des pigeons}} 
-  * 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}} 
-  * 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)}}