RCR
Représentations de Connaissances et Raisonnements
Graphes conceptuels
Raisonnements à base de règles existentielles (Datalog+)
Ontologies et Web sémantique
Identification d'entités sur le web de données
Logique
Spécifications formelles
Intelligence artificielle
info


Michel Leclère

   Maître de conférences au Département Informatique de l'Université Montpellier 2

   Membre de l'équipe GraphiK (anciennement RCR) au LIRMM

 

Recherche

       

bullet

Thèmes actuels et projets

bullet

Publications

bullet

Pointeurs

 

Enseignement

bullet

Co-responsable de la spécialité DECOL (Données, Connaissances, Langage Naturel) du Master Info

 Enseignant dans les différents modules des parcours informatiques de LMD de l'UFR Sciences de l'Université Montpellier 2, en particulier dans les modules d'initiation à l'algorithmique, logique, spécifications formelles et représentation des connaissances.

 

bullet

GLIN 101 : Initiation à l'algorithmique, programmation (Caml)

bullet

GLIN 402 : Logique 1

bullet

GMIN 101 : Introduction à l'IA

bullet

GMIN 211 : Spécifications formelles

 

Contact

bulletMèl : Michel.Leclere@lirmm.fr
bulletTéléphone : 33(0) 4 67 41 86 16
bulletFax : 33(0) 4 67 41 85 00
bulletCourrier : LIRMM - 161, rue Ada - 34392 Montpellier cedex 5.
bulletBureau : E 3.09