|
9h15 : | Ouverture des journees |
| 9h30-11h00 :
|
Session 1 : raisonnement spatio-temporel
- Une logique pour le raisonnement spatio-temporel basée sur PLTL et l'algèbre des rectangles
(Philippe Balbiani, Jean-François Condotta)
- Raisonnement plausible à partir d'observations spatiales
(Jérôme Lang, Philippe Muller)
|
| 11h00-11h30 : | Pause |
| 11h30-12h15 :
|
Session 2 : Programmation logique
- In findings models in Logic Programming
(Sara Bouamama, Driss Misane)
|
| 14h00-15h30 :
|
Session posters
- Utilisation de bases de données dans le cadre de traitement de texte en langage naturel
(Vincent Maya)
- Etude d'un modèle de requêtes sur le fonctionnement de composants actifs
(Nicolas Sabouret, Jean-Paul Sansonnet)
- Un modèle formel des P-types : Application à l'organisation des données
(Mathieu Roger)
- Utilisation du raisonnement causal probabiliste en conception déclarative de scènes 3D
(Lozka Popova)
|
| 15h30-16h00 : | pause |
| 16h30-18h00 : |
Session 3 : révision, fusion et préférences
- Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes Contrary-To-Duties
(Laurence Cholvy, Christophe Garion)
- Modification possibiliste de connaissances et de préférences
(Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade)
|
|
|
|
9h00-10h00 : |
Exposé invité
- Fondements ordinaux du raisonnement plausible
(Didier Dubois)
|
| 10h00-10h30 : | Pause |
| 10h30-12h00 : |
Session 4 : raisonnement sous ressources limitées
- Inférence paraconsistance sous ressources limitées
(Pierre Marquis, Nadège Porquet)
- Contrôle du raisonnement progressif pour des plans d'actions non linéaires
(Stéphane Cardon, Abdel-Illah Mouaddib)
|
| 14h00-15h30 : |
Session 5 : réseaux de contraintes
- Le backtracking dans les réseaux de contraintes distribuées
(Mustapha Belaissaoui, El Houssine Bouyakhf)
- Diagnostic à base de réseaux bayésiens hiérarchiques
(Veronique Delcroix, Sylvain Piechowiak, Joaquin Rodriguez)
|
| 15h30-16h00 : | Pause |
| 16h00-16h45 : |
Session 6 : raisonnement à partir de cas
- Un algorithme pour la phase d'adaptation du raisonnement à partir de cas
(Béatrice Fuchs, Jean Lieber, Alain Mille, Amedeo Napoli)
|
| 16h45-17h15 : | Discussion et clôture des journées |
|
