Programme des JIAF 2017

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

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

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

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

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

Exposé invité : Raúl García Castro (Universidad Politécnica de Madrid, Espagne)