Raisonnements Plausibles, Décision, Méthodes de Preuves

présentation

personnel

recherches

collaborations

sujets de stages

publications

SOMMAIRE

Première Partie : Le temps, l'espace et la dynamique

Invitation au raisonnement temporel.
Gérard Ligozat

Le raisonnement spatial.
Philippe Balbiani et Philippe Muller

Données temporelles, modélisation, interrogation et visualisation.
Marie-Christine Fauvet,  Marlon Dumas et Pierre-Claude Scholl

Contraintes temporelles et édition de documents multimédia.
Muriel Jourdan

Bases de données spatio-temporelles.
Cédric du Mouza et Philippe Rigaux

Raisonnement temporel pour la supervision et l'ordonnancement des systèmes dynamiques à événements discrets.
Robert Valette, Brigitte Pradin-Chézalviel et Ronan Champagnat

Surveillance et diagnostic de systèmes dynamiques : approches complémentaires du traitement de signal et de l'intelligence artificielle.
Michèle Basseville et Marie-Odile Cordier

Planification de tâches en robotique.
Malik Ghallab

Processus décisionnels de Markov.
Frédéric Garcia, Jérôme Lang  et Abdel-Illah Mouaddib
 

Deuxième Partie : Révision, mise à jour et fusion d'informations

Raisonnement sur les actions: les approches basées sur la causalité et la dépendance
Marcos A. Castilho, Andréas Herzig et Camilla Schwind

Actions et causalité : essais de formalisation en logique.
Robert Demolombe

Mise à jour en bases de données.
Laurence Cholvy

Fusion de connaissances ou de préférences en Intelligence Artificielle.
Salem Benferhat, Didier Dubois et Henri Prade

Intégration de bases de données spatiales.
Thomas Devogele, Christine Parent et Stefano Spaccapietra

Entrepôts de données et représentation des connaissances.
Mohand-Saïd Hacid et Farouk Toumani

Révision et information géographique.
Robert Jeansoulin et Odile Papini

Entrepôts et documents semi-structurés: changements et évolutions textuelles.
Elisabeth Metais et Florence Sèdes

Fouille de données spatiales.
Marie-Aude Aufaure, Laurent Yeh et Karine Zeitouni

Une logique pour le dialogue coopératif Homme-Machine.
Jean Caelen

Dialogue et dynamique des croyances.
Dominique Longin et David Sadek

Approches déclaratives  pour la conception et la modélisation spatiale en synthèse d'images.
Véronique Gaildrat et Dimitri Pléménos
 

Troisième Partie : Evolution, apprentissage, émergence et problématiques coopératives

Evolution artificielle et problème spatiaux.
Marc Schoenauer et Michèle Sebag

Théories de l'émergence pour la conception de systèmes adaptatifs.
Marie-Pierre Gleizes et Pierre Glize

Modèles de Markov cachés et apprentissage de séquences.
Laurent Bréhélin et Olivier Gascuel

La cohérence dans les environnements de travail coopératif.
Gérome Canals, Michelle Cart et  Pascal Molli

Contexte et interaction : vers l'informatique située.
Michel Beaudouin-Lafon

La flexibilité dans les collecticiels.
Franck Tarpin-Bernard