- 11
- 1
- 1
- 1
Christian Retoré
Christian Retoré, professeur des universités Université de Montpellier
14
Documents
Affiliations actuelles
- 392245
Identifiants chercheurs
- christian-retore
- Arxiv : retore_c_1
- 0000-0002-2401-9158
- IdRef : 076006913
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
- 6
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 14
- 6
- 3
- 2
- 2
- 1
- 1
- 8
- 7
- 4
- 1
- 1
- 3
- 2
- 1
- 3
- 1
- 2
- 1
- 2
|
Towards a Type-Theoretical Account of Lexical SemanticsJournal 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 MGLLENLS: 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 AnalysisJSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩
Communication dans un congrès
lirmm-01916209v1
|
|
|
Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic AnalysisLENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan
Communication dans un congrès
lirmm-01916195v1
|
|
Are Books Events? Ontological Inclusions as Coercive Sub-Typing, Lexical Transfers as EntailmentLENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan. pp.74-87
Communication dans un congrès
lirmm-01311120v1
|
|
Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner PhrasesEpsilon: 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
|
|
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted TypesLENLS: 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
|
|
Advances in the Logical Representation of Lexical SemanticsNLCS'13 - Natural Language and Computer Science - 2013, Jun 2013, New Orleans, United States
Communication dans un congrès
hal-00858020v1
|
|
Semantic Types, Lexical Sorts and ClassifiersNLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France
Communication dans un congrès
hal-00916722v1
|
|
Plurals: individuals and sets in a richly typed semanticsLENSL'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
|
|
A Montague-based model of Generative Lexical SemanticsWorkshop on New Directions in Type-theoretic Grammars (NDTTG 2007), FoLLI, Aug 2007, Dublin, Ireland. pp.90-97
Communication dans un congrès
inria-00287343v1
|
|
A Montagovian Generative Lexicon12th 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 SemanticsModern 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
|
|
A Case Study of the Convergence of Mildly Context-Sensitive Formalisms for Natural Language Syntax: from Minimalist Grammars to Multiple Context-Free Grammars[Research Report] RR-6042, INRIA. 2006, pp.67
Rapport
inria-00117306v3
|