Sujets M2R de l'équipe Représentation de Connaissances et Raisonnements*

Sujets 2005-2006 de stage de Master 2 Recherche en informatique (UMINR400)

*Certains sujets sont en collaboration avec l'INRIA Rhônes-Alpes et avec l'INRA Montpellier

bulletSujets de modélisation
  1. Introduction de points de vue dans les graphes conceptuels
  2. Requêtes dans un système à base de graphes conceptuels
bulletSujets d'algorithmique
  1. Extension aux types conjonctifs
  2. Etude de différentes stratégies de marche avant pour le modèle SR
  3. Utilisation d'index pour la projection
bulletSujet d'extension du modèle
  1. Extension des règles de SG à la négation atomique

    L'équipe RCR est impliquée dans des projets nationaux et européen pour lesquels nous disposerons à partir de 2006 de financement de 2 thèses de doctorat. Tous les projets ci-dessus permettront de candidater "à chances égales" sur ces financements de thèses.

    Par ailleurs, certains des sujets ci-dessus pourront faire l'objet d'indemnité durant le stage de M2R ou se prolonger en stage d'été rémunéré.

    Pour tout renseignement sur ces sujets, contacter Michel Leclère (leclere@lirmm.fr) et Marie-Laure Mugnier (mugnier@lirmm.fr).