Accéder directement au contenu

Christian Retoré

Christian Retoré, professeur des universités Université de Montpellier
14
Documents
Affiliations actuelles
  • 392245
Identifiants chercheurs
Contact

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. Since 2020 -- perhaps a side effect of covid,or an allergy to machine learning -- I am coming back to mathematical logic -- linear logic, modal logic, categorical interpretations of proofs, topological semantics, and the likes. 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) Research Assistant, Imperial College, London September 1989 January 1991 Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) PhD -- Doctorat de mathématiques (U. Paris 7 Denis Diderot, February 1993, dir. J.-Y. Girard) Master -- DEA de mathématiques 1987 (U. Paris 7 Denis Diderot, June 1997) BSc -- Maîtrise de Mathématiques Pures, (U. Paris 6 Pierre et Marie Curie, 1986)
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. Since 2020 -- perhaps a side effect of covid,or an allergy to machine learning -- I am coming back to mathematical logic -- linear logic, modal logic, categorical interpretations of proofs, topological semantics, and the likes. 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) Research Assistant, Imperial College, London September 1989 January 1991 Diploma: Habilitation à diriger des recherches en informatique (U. Nantes, 2002) PhD -- Doctorat de mathématiques (U. Paris 7 Denis Diderot, February 1993, dir. J.-Y. Girard) Master -- DEA de mathématiques 1987 (U. Paris 7 Denis Diderot, June 1997) BSc -- Maîtrise de Mathématiques Pures, (U. Paris 6 Pierre et Marie Curie, 1986)

Domaines de recherche

Logique en informatique [cs.LO] Logique [math.LO] Informatique et langage [cs.CL] Linguistique Philosophie

Publications

"bruno-mery"
Image document

Towards a Type-Theoretical Account of Lexical Semantics

Christian Bassac , Bruno Mery , Christian Retoré
Journal of Logic, Language and Information, 2010, 19, pp.229-245
Article dans une revue inria-00408308v1

Polysemy, Individuation and Co-Predication: a simple solution to the counting puzzle implemented using lambda-DRT and MGL

Bruno Mery , Richard Moot , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan
Communication dans un congrès lirmm-01916255v1

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis

Mathieu Lafourcade , Bruno Mery , Mehdi Mirzapour , Richard Moot , Christian Retoré
JSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩
Communication dans un congrès lirmm-01916209v1
Image document

Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis

Mathieu Lafourcade , Bruno Mery , Mehdi Mirzapour , Richard Moot , Christian Retoré
LENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan
Communication dans un congrès lirmm-01916195v1
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

Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases

Bruno Mery , Richard Moot , Christian Retoré
Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France
Communication dans un congrès hal-01214439v1
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

Advances in the Logical Representation of Lexical Semantics

Bruno Mery , Christian Retoré
NLCS'13 - Natural Language and Computer Science - 2013, Jun 2013, New Orleans, United States
Communication dans un congrès hal-00858020v1
Image document

Semantic Types, Lexical Sorts and Classifiers

Bruno Mery , Christian Retoré
NLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France
Communication dans un congrès hal-00916722v1
Image document

Plurals: individuals and sets in a richly typed semantics

Bruno Mery , Richard Moot , Christian Retoré
LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013, jSAI-ISAI, Oct 2013, Hiyoshi, Kanagawa, Japan. pp.143-156
Communication dans un congrès hal-00923556v1
Image document

A Montague-based model of Generative Lexical Semantics

Bruno Mery , Christian Bassac , Christian Retoré
Workshop on New Directions in Type-theoretic Grammars (NDTTG 2007), FoLLI, Aug 2007, Dublin, Ireland. pp.90-97
Communication dans un congrès inria-00287343v1
Image document

A Montagovian Generative Lexicon

Bruno Mery , Christian Bassac , Christian Retoré
12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland
Communication dans un congrès inria-00287340v1

Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics

Bruno Mery , Christian Retoré
Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), pp.163-188, 2017, 978-3-319-50422-3. ⟨10.1007/978-3-319-50422-3_7⟩
Chapitre d'ouvrage hal-01471256v1