Programme des JIAF 2017
lundi 3 juillet, 9:00 -- 10:00, exposé invité (sale 057)
- Exposé invité : Torben Bach Pedersen (Aalborg Universitet, Danemark)
lundi 3 juillet, 10:30 -- 12:30, session 1 (salle 044)
- T. Dong, C. Le Duc, M. Lamolle
Tableau-based Revision for Expressive Description Logics - P. Siegel, A. Doncescu, V. Risch, S. Sené
Représentation des systèmes dynamiques discrets booléens en logique des hypothèses - C. Leturc, G. Bonnet
Une logique modale normale de la confiance - J.-M. Lagniez, D. Le Berre, T. de Lima, V. Montmirail
Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K - F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, A.V. Jones
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
lundi 3 juillet, 14:00 -- 15:30, session 2 (salle 044)
- P. Besnard, T. Guyet, V. Masson
Admissible generalizations of examples as rules - K. Belahcene, N. Maudet, C. Labreuche, W. Ouerdane, V. Mousseau
An efficient SAT formulation for learning multicriteria non-compensatory sorting models - P. Balbiani, J.-F. Condotta
Un modèle pour raisonner sur les relations entre régions indéterminées - Q. Cohen-Solal, M. Bouzid, A. Niveau
Séquences temporelles d'informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante
lundi 3 juillet, 16:00 -- 18:00, session 3 (salle 044)
- E. Bonzon, J. Delobelle, S. Konieczny, N. Maudet
Une Sémantique Graduée Paramétrique pour la Persuasion - S. Doutre, J.-G. Mailly
Dynamique des systèmes d'argumentation : changement de sémantique et forçage d'extension - N. Boudjani, A. Gouaich, S. Kaci
Jeu d'apprentissage basé sur le débat pour la construction de preuves mathématiques - M. Couceiro, N. Hug, H. Prade, G. Richard
Fonctions préservées par analogie : une méthode pour étendre des données booléennes
mardi 4 juillet, 9:00 -- 10:00, exposé invité (sale 057)
- Exposé invité : Leon van der Torre (Université du Luxembourg, Luxembourg)
mardi 4 juillet, 10:30 -- 12:30 (salle 136-137)
- Session démonstration plénière
mardi 4 juillet, 14:00 -- 15:30, session 4 (salle 044)
- S. Benferhat, A. Levray, K. Tabia
Approximation de l'inférence MAP via les transformations probabilistes-possibilistes - V. Delcroix
Réseau bayésien d'un critère de décision dans un problème de décision répété et multicritères - S. Konieczny, R. Pino Perez
Sur la contraction itérée - A. Wilczynski, L. Gourvès, J. Lesca
Allocation d’objets par des échanges le long d’un réseau social
mardi 4 juillet, 16:00 -- 18:00, session 5 (salle 044)
- F. Berreby, G. Bourgne, J.-G. Ganascia
Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques - T. Khaled, B. Benhamou, P. Siegel
Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique - J.-B. Lamy
Les oiseaux picorant artificiels : une nouvelle méta-heuristique inspirée du comportement des pigeons - E. Bonnet, S. Gaspers, A. Lambilliotte, S. Rümmele, A. Saffidine
The Parameterized Complexity of Positional Games
mardi 4 juillet, 18:00 -- 19:00 (salle 044)
- Assemblée
mercredi 5 juillet, 9:00 -- 10:00, exposé invité (salle 057)
- Exposé invité : Raúl García Castro (Universidad Politécnica de Madrid, Espagne)
mercredi 5 juillet, 10:30 -- 12:30 (salle 044)
- Session commune avec le préGDR-IA
Outils du site
