GDR I3 - Thème 1 : Intelligence Artificielle Fondamentale
Accueil du site > Journées Nationales de l’IA Fondamentale > Programme détaillé des Journées IAF et articles en ligne

# Programme détaillé des Journées IAF et articles en ligne

vendredi 22 juin 2007

Lundi 02 juillet 2007

9h00 - 10h30 | Session commune avec l’atelier "Représentation et Raisonnement sur le Temps et l’Espace"
--- | ---
| "Computing Data from Temporal Data" N. Bidoit et F. Hantry
| "Vers une approche qualitative pour la reconnaissance des empreintes digitales" N. Ben Aloui, H. Glotin, P. Herbrard, O. Papini

10h30 - 11h00 | Pause café

11h00 - 12h30 | Conférence invitée : Session commune avec l’atelier "Représentation et Raisonnement sur le Temps et l’Espace"
--- | ---
| "Modélisation floue de relations spatiales - Application à la reconnaissance de structures dans les images" I. Bloch (ENST)
| Discussion

12h30 - 14h00 | Déjeuner

14h00 - 16h00 | Raisonnement
--- | ---
| "Modélisation de la capacité en fonction des activités d’un agent intentionnel" Karl Devooght
| "Etats et Temps en logiques Modales de l’Action" Camilla Schwind
| "Raisonner avec une politique d’échange d’informations incomplète" Laurence Cholvy, Stéphanie Roussel
| "De l’utilisation de la proportion analogique en apprentissage artificiel" Laurent Miclet, Sabri Bayoudh, Arnaud Delhay, Harold Mouchère

16h00 - 16h30 | Pause café

16h30 - 18h00 | Exposé de Synthèse
--- | ---
| "Formalisations de la Négociation" Leila Amgoud, Yann Chevaleyre, Sébastien Konieczny, Jérôme Lang, Nicolas Maudet
| Discussion

Mardi 03 juillet 2007

9h00 - 10h30 | Planification / Contraintes
--- | ---
| "Vers une planification basée sur une théorie Constructive des Types en Logique Intuitionniste" Patrick Barlatier, Richard Dapoigny
| "Une approche programmation par contraintes pour la modélisation et la planification de mouvements en robotique humanoide" Mathias Paulin
| "Un algorithme pour la résolution optimale de problèmes de planification valués" Martin Cooper, Marie de Roquemaurel, Pierre Régnier

10h30 - 11h00 | Pause café

11h00 - 12h30 | Exposé de Synthèse
--- | ---
| "Des réseaux de contraintes valués aux problèmes de décision séquentielle" Cédric Pralet, Thomas Schiex
| Discussion

12h30 - 14h00 | Déjeuner

14h00 - 15h00 | Causalité
--- | ---
| "Argumenter à propos de relations causales potentielles" Leila Amgoud, Henri Prade
| "Réseaux causaux possibilistes pour le traitement des interventions" Salem Benferhat, Salma Smaoui

15h00 - 16h00 | SAT
--- | ---
| "Représentation de contraintes qualitatives pour le temps et l’espace en SAT" Jean-François Condotta, Dominique D’Almeida
| "Représentation SAT-Graph : une nouvelle perspective" Said Jabbour

16h00 - 16h30 | Pause café

16h30 - 18h00 | Exposé de Synthèse
--- | ---
| "Résolution pratique de problèmes : SAT et Answer Set Programming" Pascal Nicolas, Laurent Simon
| Discussion

## Documents joints

- Réseaux causaux possibilistes pour le traitement des interventions (PDF - 269.8 ko)
- Vers une planification basée sur une théorie constructive des types en logique intuitionniste (PDF - 317.4 ko)
- Un algorithme pour la résolution optimale de problèmes de planification valuée (PDF - 240.5 ko)
- Modélisation de la capacité en fonction des activités d’un agent intentionnel (PDF - 134.4 ko)
- Représentation SAT-graph : une nouvelle perspective (PDF - 130.6 ko)
- De l’utilisation de la proportion analogique en apprentissage artificiel (PDF - 116.3 ko)
- Une approche programmation par contraintes pour la modélisation et la planification de mouvements.... (PDF - 263.9 ko)
- Etats et temps en logiques modales de l’Action (PDF - 154.3 ko)
- Raisonner avec une politique d’échange d’informations incomplète (PDF - 93.2 ko)
- Représentation de contraintes qualitatives pour le temps et l’espace (PDF - 110.8 ko)
- Argumenter à propos de relations causales potentielles (PDF - 227.2 ko)

RSS 2.0 | Plan du site |