Table des matières

• Table des matières
• Composition de l'équipe
• Présentation des objectifs
• Actions de recherche
  • Raisonnements et logiques non classiques
  • Modélisation et suivi d'environnements évoluant dans le temps
    • Mises à jour
    • Planification
    • Supervision de systèmes évolutifs
  • Traitement du langage naturel
  • Apprentissage symbolique automatique
    • Discrimination dans les séquences
    • Inférence grammaticale
    • Démonstration automatique
  • Enseignement Intelligemment Assisté par Ordinateur
    • Sarah : modélisation de l'usager à l'aide de techniques d'apprentissage automatique
    • Compounds : un système d'enseignement des composés anglais
    • Projet Mentoniezh
  • Gide
  • Analyse des données
    • Classification de séquences génétiques
    • Arbres de décision et application à la prédiction de la structure secondaire d'une protéine
    • Les algorithmes génétiques dans la représentation euclidienne d'une matrice de dissimilarité
    • Analyse ensembliste et statistique du problème de la satisfiabiblité
    • Contribution à Modulad
• Actions industrielles
  • Projet Sachem
  • Génération réactive de plans de reprise de service sur les réseaux de distribution
  • Modélisation, diagnostic et supervision de réseaux de télécommunication
  • Calculabilité de la sémantique des composés anglais et français
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
• Diffusion des résultats
  • Colloques et congrès
  • Actions d'enseignement
  • Démonstration de logiciels
  • Animation scientifique
• Références