Accéder directement au contenu

Christian Retoré

5
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

35543
Image document

Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as Entailment

 Bruno Mery , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87
Communication dans un congrès lirmm-01311120v1
Image document

A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational Semantics

 Livy Real , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan
Communication dans un congrès lirmm-01311129v1
Image document

“Chaque vin a sa lie." versus “Toute nuit a un jour." --- does the difference in the human processing of " chaque" and " tout" match the difference between the proof rules for conjunction and quantification?

 Alda Mari , Christian Retoré
(In)Coherence of discourse, M. Amblard; M. Musiol; M. Rebuschi, Dec 2015, Nancy, France
Communication dans un congrès hal-01341007v1
Image document

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types

 Bruno Mery , Richard Moot , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩
Communication dans un congrès hal-01098748v1
Image document

Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics

 Robin Cooper , Christian Retoré
2015
Ouvrages hal-01584832v2