Journées d'Intelligence Artificielle Fondamentale 2007 (IAF'07)

2-3 Juillet 2007 - Grenoble

Ces journées sont la principale animation du thème Intelligence Artificielle Fondamentale (thème 1) du GDR Information-Interaction-Intelligence. Ces journées ont été organisées dans le cadre de la plate-forme AFIA 2007.

Les journées étaient composées d'exposés de synthèse et de contributions sélectionnées. La première demi-journée était commune avec l'atelier Représentation et Raisonnement sur le Temps et l'Espace. Voir le programme détaillé.

Formalisations de la négociation
Leila Amgoud, Yann Chevaleyre, Sébastien Konieczny, Jérôme Lang, Nicolas Maudet
- Transparents [Slides] (PDF)
- Article (correspondant à une partie de l'exposé): A Short Introduction to Computational Social Choice (PDF)
Résolution pratique de problèmes : SAT et Answer Set Programming
Pascal Nicolas, Laurent Simon
- Transparents Partie 1 (SAT) [Slides] (PDF)
- Transparents Partie 2 (ASP) [Slides] (PDF)
Des réseaux de contraintes valués aux problèmes de décision séquentielle
Cédric Pralet, Thomas Schiex
- Transparents Partie 1 [slides] (PPT)
- Transparents Partie 2 [slides] (PDF)

Réseaux causaux possibilistes pour le traitement des interventions (PDF - 269.8 ko) [Slides]
Salem Benferhat, Salma Smaoui
Vers une planification basée sur une théorie constructive des types en logique intuitionniste (PDF - 317.4 ko) [Slides]
Patrick Barlatier, Richard Dapoigny
Un algorithme pour la résolution optimale de problèmes de planification valuée (PDF - 240.5 ko) [Slides]
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Modélisation de la capacité en fonction des activités d’un agent intentionnel (PDF - 134.4 ko) [Slides]
Karl Devooght
Représentation SAT-graph : une nouvelle perspective (PDF - 130.6 ko) [Slides]
Said Jabbour
De l’utilisation de la proportion analogique en apprentissage artificiel (PDF - 116.3 ko) [Slides]
Laurent Miclet, Sabri Bayoudh, Arnaud Delhay, Harold Mouchère
Une approche programmation par contraintes pour la modélisation et la planification de mouvements.... (PDF - 263.9 ko) [Slides]
Mathias Paulin
Etats et temps en logiques modales de l’Action (PDF - 154.3 ko) [Slides]
Camilla Schwind
Raisonner avec une politique d’échange d’informations incomplète (PDF - 93.2 ko) [Slides]
Laurence Cholvy, Stéphanie Roussel
Représentation de contraintes qualitatives pour le temps et l’espace (PDF - 110.8 ko) [Slides]
Jean-François Condotta, Dominique D'Almeida
Argumenter à propos de relations causales potentielles (PDF - 227.2 ko) [Slides]
Leila Amgoud, Henri Prade