- 14
- 2
- 2
- 2
- 1
- 1
Christian Retoré
22
Documents
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.
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
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 22
- 6
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 10
- 11
- 4
- 2
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 2
- 1
- 1
- 1
- 2
- 3
- 4
- 1
- 1
- 1
|
Natural Language Semantics and ComputabilityJournal of Logic, Language and Information, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩
Article dans une revue
hal-01315316v1
|
Note de lecture sur "Discourse processing" de Manfred StedeRevue TAL : traitement automatique des langues, 2013, 53 (2), pp.214--217
Article dans une revue
hal-00820178v1
|
|
Les indices pronominaux du français dans les grammaires catégoriellesLingvisticae investigationes : International Journal of Linguistics and Language, 2006, 27 (1), pp.137-146
Article dans une revue
hal-00278791v1
|
|
A proof system for dialogical anaphora resolutionAI3 2022 - 5th Workshop on Advances in Argumentation in Artificial Intelligence, Nov 2022, Udine, Italy
Communication dans un congrès
lirmm-03863462v1
|
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
|
|
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
|
|
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
|
|
Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelleJEP-TALN-RECITAL 2012, Jun 2012, Grenoble, France. pp. 43-56
Communication dans un congrès
hal-00749374v1
|
|
Traitement automatique d'un corpus de récits de voyages pyrénéens : Analyse syntaxique, sémantique et pragmatique dans le cadre de la théorie des types3e Congrès Mondial de Linguistique Française, Jul 2012, Lyon, France. pp. 2485-2497
Communication dans un congrès
hal-00750750v1
|
|
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages18e 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
|
|
A discursive analysis of itineraries in an historical and regional corpus of travelsConstraints in discourse, Sep 2011, Ayay-roches-rouges, France. http://passage.inria.fr/cid2011/doku.php
Communication dans un congrès
hal-00607691v1
|
|
Second order lambda calculus for meaning assembly: on the logical syntax of pluralsCoconat, Dec 2011, Tilburg, Netherlands
Communication dans un congrès
hal-00650644v1
|
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyageTALN 2011, 2011, Unknown, Unknown Region
Communication dans un congrès
hal-01231917v1
|
|
L'ordre des mots dans les grammaires catégoriellesPré-Actes des Journées de la syntaxe: ordre des mots dans la phrase française, positions et topologie, 2004, Bordeaux, France. pp.56-59
Communication dans un congrès
hal-00012407v1
|
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and SemanticsSpringer, pp.322, 2012, FoLLI-LNCS, 978-3-642-31554-1
Ouvrages
hal-00829051v1
|
|
Le contexte en traitement automatique des languesGerda Hassler. Les concepts fondateurs de la philosophie du langage: Contexte, ISTE, A paraître
Chapitre d'ouvrage
hal-04008967v1
|
|
Dialogical Argumentation and Textual EntailmentNatural Language Processing in Artificial Intelligence—NLPinAI 2020, 939, Springer, pp.191-226, 2021, Studies in Computational Intelligence, 978-3030637866. ⟨10.1007/978-3-030-63787-3_7⟩
Chapitre d'ouvrage
hal-02915526v2
|
A computational account of virtual travelers in the Montagovian generative lexiconMichel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩
Chapitre d'ouvrage
hal-02093536v1
|
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation[Research Report] LIRMM; LABRI. 2016
Rapport
lirmm-01281243v1
|