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