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

## 2-3 Juillet 2007 - Grenoble

## Actes électroniques

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é.

### Comité de Programme

- Laurence Cholvy (ONERA, Toulouse)
- Philippe Dague (LRI, Paris)
- Didier Dubois (IRIT, Toulouse)
- Laurent Garcia (LERIA, Angers)
- Robert Jeansoulin (IGM, Marne la Vallée)
- Philippe Jégou (LSIS, Marseille)
- Narendra Jussien (LINA, Nantes)
- Sébastien Konieczny (CRIL, Lens)
- Pierre Marquis (CRIL, Lens)
- Pascal Nicolas (LERIA, Angers)
- Odile Papini (LSIS, Marseille)
- Henri Prade (IRIT, Toulouse)
- Lakhdar Sais (CRIL, Lens)
- Pierre Siegel (LSIS, Marseille)

### Exposés de synthèse

- 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)

### Contributions sélectionnées

- 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

### Téléchargements

- Actes imprimables (ensemble des contributions sélectionnées) (PDF)
- Archive contenant l'intégralité des actes (ZIP)
- Programme détaillé des journées (HTML)
- Appel à contribution (HTML)
- Affiche (PDF)