Représentation et Raisonnement sur le Temps et l'Espace

27/06/2006

Amphi 100 Présentations 1
11h00
Raisonnement spatial sur la position et l'orientation des solides dans l'espace
Olivier Bonin (GOGIT, Institut Géographique National), Benoit Poupeau (GOGIT, Institut Géographique National)
11h30
QAT : une boîte à outils dédiée aux algèbres qualitatives
Jean-François Condotta (CRIL-CNRS, Université d'Artois), Gérard Ligozat (LIMSI-CNRS, Université d'Orsay), Mahmoud Saade (CRIL-CNRS, Université d'Artois)
12h00
Gestion du temps dans la programmation fonctionnelle paresseuse
Jerzy Karczmarczuk (Université de Caen)

12h30 Repas

Amphi 100 Conférence
14h00
Représenter l'espace en logique modale : un panorama
Odile Papini (LSIS, Université du Sud Toulon Var)

15h00 Fin

Amphi 100 Présentations 2
15h00
Un modèle d'adjacence conceptuelle pour la recherche d'information géographique
Franck Dumoncel (GREYC, Université de Caen)

15h30 Pause

Amphi 100 Présentations courtes
16h00
Quelques exemples d'utilisation des S-Langages pour le traitement de la temporalité en linguistique
Delphine Battistelli, jean-Luc Minel, Sylviane Schwer
16h20
Ontologie de relations spatiales floues pour le raisonnement spatial dans les images
Céline Hudelot, Jamal Atif, Isabelle Bloch
16h40
Navigation pédestre en milieux naturels et urbains : étude de descriptions verbales
David Brosset

17 h Discussions et Synthèse (Président : Gérard Ligozat)

18h00 Fin

Dernière modification : 12/5/2006 Valid XHTML 1.0 Strict Valid CSS!