Search - 11e Journées d'Intelligence Artificielle Fondamentale Access content directly

Filter your results

20 Results
Image document

The Parameterized Complexity of Positional Games

Edouard Bonnet , Serge Gaspers , Antonin Lambilliotte , Stefan Rümmele , Abdallah Saffidine et al.
ICALP, Jul 2017, Varsovie, Poland. ⟨10.4230/LIPIcs⟩
Conference papers hal-01994361v1

Un modèle pour raisonner sur les relations entre régions indéterminées

Philippe Balbiani , Jean-François Condotta
11èmes Journées d'Intelligence Artificielle Fondamentale (IAF @ PFIA 2017), Jul 2017, Caen, France
Conference papers hal-01576040v1
Image document

Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante

Quentin Cohen-Solal , Maroua Bouzid , Alexandre Niveau
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577782v1

Réseau bayésien d’un critère de décision dans un problème de décision répété et multicritères

Véronique Delcroix
11e Journées d'Intelligence Artificielle Fondamentale JIAF 2017, Jul 2017, Caen, France
Conference papers hal-01577775v1
Image document

Les oiseaux picorant artificiels : une nouvelle méta-heuristique inspirée du comportement des pigeons

Jean-Baptiste Lamy
Journées d'Intelligence Artificielle Fondamentale (JIAF), Jul 2017, Caen, France
Conference papers hal-01558577v1

Jeu d’apprentissage basé sur le débat pour la construction de preuves mathématiques

Nadira Boudjani , Abdelkader Gouaich , Souhila Kaci
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01576049v1

Sur la contraction itérée

Sébastien Konieczny , Ramon Pino Perez
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577823v1

Fonctions préservées par analogie : une méthode pour étendre des données booléennes

Miguel Couceiro , Nicolas Hug , Henri Prade , Gilles Richard
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577828v1

Une formulation SAT pour l’apprentissage de modèles de classement multicritères non-compensatoires

Khaled Belahcene , Christophe Labreuche , Nicolas Maudet , Vincent Mousseau , Wassila Ouerdane et al.
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577816v1

Dynamique des systèmes d’argumentation : changement de sémantique et forçage d’extension

Sylvie Doutre , Jean-Guy Mailly
11e Journées d'Intelligence Artificielle Fondamentale (IAF 2017), Jul 2017, Caen, France. pp.1-9
Conference papers hal-01577768v1

Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique

Khaled Tarek , Belaïd Benhamou , Pierre Siegel
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577817v1
Image document

Une logique modale normale de la confiance

Christopher Leturc , Grégory Bonnet
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577771v1

Tableau-based Revision for Expressive Description Logics

Dong Thinh , Chan Le Duc , Myriam Lamolle
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577773v1

Allocation d’objets par des échanges le long d’un réseau social

Laurent Gourvès , Julien Lesca , Anaëlle Wilczynski
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577786v1

Admissible generalizations of examples as rules (JIAF 2017)

Philippe Besnard , Thomas Guyet , Véronique Masson
11èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Conference papers hal-01576047v1
Image document

Vers une représentation des systèmes dynamiques booléens en logique des hypothèses

Pierre Siegel , Andrei Doncescu , Vincent Risch , Sylvain Sené
Journées d'Intelligence Artificielle Fondamentale 2017, Jul 2017, Caen, France. 14p
Conference papers hal-01566164v1

Approximation de l’inférence MAP via les transformations probabilistes-possibilistes

Salem Benferhat , Amélie Levray , Karim Tabia
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577766v1

Un raccourci récursif pour CEGAR : Application au problème de satisfiabilité en logique modale K

Jean-Marie Lagniez , Daniel Le Berre , Tiago de Lima , Valentin Montmirail
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01575536v1

Une Sémantique Graduée Paramétrique pour la Persuasion

Elise Bonzon , Jérôme Delobelle , Sébastien Konieczny , Nicolas Maudet
11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France
Conference papers hal-01577821v1
Image document

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot

Francesco Belardinelli , Rodica Condurache , Catalin Dima , Wojciech Jamroga , Andrew V. Jones et al.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, 2017, Unknown, Unknown Region. pp.1286--1295
Conference papers hal-01699927v1