Bureau B215 - INRIA Rhône-Alpes
Je suis un ancien thésard en informatique dans l'action EXMO
de l'unité de recherche INRIA
- Rhône Alpes. J'ai effectué mon
travail sous la direction de Jérôme
Euzenat, sur le thême de l'étude de la connaissance dans le cadre d'observations partielles.
Bibliographie
-
Lattice Approach to Classifications.
Proc. 12th European summer school logic, language and information, Birmingham (UK), 2000 (.pdf)
-
Classifications et Treillis.
Actes 5es Rencontres nationales de jeunes chercheurs en intelligence artificielle, Lyon (FR), 2000 (.pdf)
-
A Model for Knowledge Representation in Distributed Systems.
Proc. KI'01 Workshop Modal Logic in AI, Wien(OS), 2001 (.pdf)
-
A Modal Logic for Observation-Based Knowledge Representation.
Proc. IMLA'02 Workshop, Copenhagen(DK), 2002 (.pdf)
-
Étude de la connaissance dans le cadre d'observation partielles : La logique de l'observation.
Thèse de doctorat (.pdf, transparents .pdf)
Ma vie
- Je suis passé par l'ENS rue d'Ulm à Paris.
- Avant cela, j'étais en prépa
au lycée Descartes à Tours.
Thêmes de recherche
- Preuves de programmes.
- Théorie abstraite de l'information.
- Informatique et logique quantique.
Quelques liens d'intérêt (évidemment)