Actes des Journées d'Intelligence Artificielle Fondamentale

Actes en un seul fichier PDF

PDF article par article :

• P. Balbiani, J.-F. Condotta. Un modèle pour raisonner sur les relations entre régions indéterminées
• K. Belahcene, N. Maudet, C. Labreuche, W. Ouerdane, V. Mousseau. An efficient SAT formulation for learning multicriteria non-compensatory sorting models
• F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, A.V. Jones. Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot
• S. Benferhat, A. Levray, K. Tabia. Approximation de l'inférence MAP via les transformations probabilistes-possibilistes
• F. Berreby, G. Bourgne, J.-G. Ganascia. Cadre Déclaratif Modulaire pour Représenter et Appliquer des Principes Éthiques
• P. Besnard, T. Guyet, V. Masson. Admissible generalizations of examples as rules
• P. Besnard, S. Doutre, D. Longin. Le système Sesame : Spécifier des sémantiques argumentatives (démonstration)
• E. Bonnet, S. Gaspers, A. Lambilliotte, S. Rümmele, A. Saffidine. The Parameterized Complexity of Positional Games
• E. Bonzon, J. Delobelle, S. Konieczny, N. Maudet. Une Sémantique Graduée Paramétrique pour la Persuasion
• N. Boudjani, A. Gouaich, S. Kaci. Jeu d'apprentissage basé sur le débat pour la construction de preuves mathématiques
• Q. Cohen-Solal, M. Bouzid, A. Niveau. 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. Fonctions préservées par analogie : une méthode pour étendre des données booléennes
• 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
• T. Dong, C. Le Duc, M. Lamolle. Tableau-based Revision for Expressive Description Logics
• S. Doutre, J.-G. Mailly. Dynamique des systèmes d'argumentation : changement de sémantique et forçage d'extension
• T. Khaled, B. Benhamou, P. Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique
• S. Konieczny, R. Pino Perez. Sur la contraction itérée
• 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
• J.-B. Lamy. Les oiseaux picorant artificiels : une nouvelle méta-heuristique inspirée du comportement des pigeons
• C. Leturc, G. Bonnet. Une logique modale normale de la confiance
• P. Siegel, A. Doncescu, V. Risch, S. Sené. Représentation des systèmes dynamiques discrets booléens en logique des hypothèses
• A. Wilczynski, L. Gourvès, J. Lesca. 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. TouIST again... (formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF)