Ceci est une ancienne révision du document !


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 260)

  • Session commune avec le préGDR-IA