|
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èreMaître de conférences au Département Informatique de l'Université Montpellier 2 Membre de l'équipe GraphiK (anciennement RCR) au LIRMM
|
 |
Recherche
 |
Thèmes actuels et projets |
| |
|
Enseignement
|
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.
|
GLIN 101 : Initiation à l'algorithmique, programmation (Caml) |
| |
| |
|
Contact
| Mèl : Michel.Leclere@lirmm.fr |
| Téléphone : 33(0) 4 67 41 86 16 |
| Fax : 33(0) 4 67 41 85 00 |
| Courrier : LIRMM - 161, rue Ada - 34392 Montpellier cedex 5. |
| Bureau : E 3.09 |