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

mehdi-mirzapour
Image document

Measuring Linguistic Complexity: Introducing a New Categorial Metric

Mehdi Mirzapour , Jean-Philippe Prost , Christian Retoré
LACompLing 2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩
Communication dans un congrès hal-02146506v1
Image document

Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic Complexity

Mehdi Mirzapour , Jean-Philippe Prost , Christian Retoré
LACompLing: Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.73-86
Communication dans un congrès lirmm-01916104v1

Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm

Mehdi Mirzapour , Christian Retoré
Diagrams 2018 - 10th International Conference on Theory and Application of Diagrams, Jun 2018, Edinburgh, United Kingdom. pp.716-720, ⟨10.1007/978-3-319-91376-6_66⟩
Communication dans un congrès lirmm-01916122v1

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