Accéder directement au contenu

Christian Retoré

4
Documents
Identifiants chercheurs

Présentation

After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax (Lambek grammars) and semantics (à la Montague). I later focused on logic applied to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models. Positions: Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard)
After a PhD in mathematical logic supervised by Jean-Yves Girard i discovered the applications of linear logic and type theory to natural language syntax (Lambek grammars) and semantics (à la Montague). I later focused on logic applied to semantics (compositonal semantics and lexical semantics with variables types) . More recently i have been studying the expression of logical operators in natural langage (in particular quantifiers), and i am planning to study the relation between natural language semantics and logical argumentation — and on a par extending and proving mathematical properties of the involved logical models. Positions: Professeur des universités, section informatique (U. Bordeaux 2003-2014, U. Montpellier 2014->) Chercheur INRIA (1994-1997 Nancy, Rennes 1997-2002, Bordeaux 2002-2003) Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) Doctorat de mathématiques (U. Paris 7 Denis Diderot, 1993, dir. J.-Y. Girard)

Publications

laurent-prevot
Image document

Quantifier scope: a formal and experimental study

Arthur Capelier-Mourguy , Philippe Blache , Christian Retoré , Laurent Prevot
CJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France
Communication dans un congrès hal-01194934v1
Image document

Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages

Richard Moot , Laurent Prévot , Christian Retoré
18e conférence sur le traitement automatique du langage naturel, TALN 2011, Jun 2011, Montpellier, France. pp.161--166
Communication dans un congrès hal-00607690v1
Image document

A discursive analysis of itineraries in an historical and regional corpus of travels

Richard Moot , Laurent Prévot , Christian Retoré
Constraints in discourse, Sep 2011, Ayay-roches-rouges, France. http://passage.inria.fr/cid2011/doku.php
Communication dans un congrès hal-00607691v1

Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage

Richard Moot , Laurent Prevot , Christian Retoré
TALN 2011, 2011, Unknown, Unknown Region
Communication dans un congrès hal-01231917v1