- 36
- 19
- 11
- 9
- 6
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
Christian Retoré
107
Documents
Researcher identifiers
christian-retore
- Arxiv : retore_c_1
-
0000-0002-2401-9158
- IdRef : 076006913
Presentation
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
- 15
- 15
- 13
- 11
- 9
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 14
- 8
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
- 55
- 38
- 32
- 11
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 6
- 7
- 3
- 6
- 8
- 14
- 4
- 9
- 4
- 1
- 3
- 8
- 5
- 3
- 4
- 1
- 3
- 1
- 3
- 2
- 1
- 3
- 1
- 5
- 1
- 1
- 1
|
A proof system for dialogical anaphora resolution5th Workshop on Advances in Argumentation in Artificial Intelligence (AI3), Nov 2022, Udine, Italy
Conference papers
lirmm-03863462v1
|
|
Inferential Semantics as Argumentative DialoguesDCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, ⟨10.1007/978-3-030-53829-3_7⟩
Conference papers
hal-02922646v1
|
|
Categorial Proof Nets and Dependency Locality: A New Metric for Linguistic ComplexityLACompLing: Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden. pp.73-86
Conference papers
lirmm-01916104v1
|
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
Conference papers
lirmm-01916255v1
|
|
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New AlgorithmDiagrams: Diagrammatic Representation and Inference, Jun 2018, Edinburgh, United Kingdom. pp.716-720, ⟨10.1007/978-3-319-91376-6_66⟩
Conference papers
lirmm-01916122v1
|
|
|
Measuring Linguistic Complexity: Introducing a New Categorial MetricSymposium on Logic and Algorithms in Computational Linguistics (LACompLing 2018), Aug 2018, Stockholm, Sweden. pp.95-123, ⟨10.1007/978-3-030-30077-7_5⟩
Conference papers
hal-02146506v1
|
|
Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic AnalysisLENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan
Conference papers
lirmm-01916195v1
|
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⟩
Conference papers
lirmm-01916209v1
|
|
|
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
Conference papers
lirmm-01311120v1
|
|
“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?(In)Coherence of discourse, M. Amblard; M. Musiol; M. Rebuschi, Dec 2015, Nancy, France
Conference papers
hal-01341007v1
|
|
A Case Study of Copredication over a Deverbal that Reconciles Empirical Data with Computational SemanticsLENLS: Logic and Engineering of Natural Language Semantics, Nov 2015, Tokyo, Japan
Conference papers
lirmm-01311129v1
|
|
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
Conference papers
hal-01214439v1
|
|
Quantifier scope: a formal and experimental studyCJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France
Conference papers
hal-01194934v1
|
|
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⟩
Conference papers
hal-01098748v1
|
|
Typed Hilbert Epsilon Operators and the Semantics of Determiner PhrasesFG: Formal Grammar, Aug 2014, Tübingen, Germany. pp.15-33, ⟨10.1007/978-3-662-44121-3_2⟩
Conference papers
hal-01009753v1
|
|
Advances in the Logical Representation of Lexical SemanticsNLCS'13 - Natural Language and Computer Science - 2013, Jun 2013, New Orleans, United States
Conference papers
hal-00858020v1
|
|
Type-theoretical natural language semantics: on the system F for meaning assemblyTYPES 2013, Apr 2013, Toulouse, France. pp.64--65
Conference papers
hal-00799685v1
|
|
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
Conference papers
hal-00923556v1
|
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semanticsTYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩
Conference papers
hal-01009838v1
|
|
|
A Generative Montagovian Lexicon for Polysemous Deverbal Nouns4th world congress on Universal Logic -- workshop on Logic and linguistics, Apr 2013, Rio de Janeiro, Brazil. http://www.uni-log.org/
Conference papers
hal-00760380v1
|
|
Semantic Types, Lexical Sorts and ClassifiersNLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France
Conference papers
hal-00916722v1
|
A natural framework for natural language semantics: many sorted logic and Hilbert operators in type theoryEuropean Conference on Logic : Logic Colloquium 2013, Association for Symbolic Logic (ASL), Jul 2013, Évora, Portugal
Conference papers
hal-01044820v1
|
|
|
Sémantique des déterminants dans un cadre richement typéTraitement Automatique du Langage Naturel 2013, Jun 2013, Les Sables d'Olonnes, France. http://aclweb.org/anthology-new/
Conference papers
hal-00785656v2
|
|
The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language SemanticsTYPES: International Workshop on Types and Proofs for Programs, Apr 2013, Toulouse, France. pp.202-229
Conference papers
hal-01145821v1
|
|
Type-theoretical natural language semantics: on the system F for meaning assemblyConference of the Types Project - TYPES 2013, Apr 2013, Toulouse, France. pp.64-65
Conference papers
hal-01152653v1
|
|
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
Conference papers
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
Conference papers
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
Conference papers
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
Conference papers
hal-00607691v1
|
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
Conference papers
hal-01231917v1
|
|
|
Second order lambda calculus for meaning assembly: on the logical syntax of pluralsCoconat, Dec 2011, Tilburg, Netherlands
Conference papers
hal-00650644v1
|
Quantification and interactionRebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France
Conference papers
hal-00607676v1
|
|
|
Quantification in ordinary language14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf
Conference papers
hal-00607678v1
|
|
Specimens: "most of" generic NPs in a contextually flexible type theoryGenius III, Dec 2011, Paris, France
Conference papers
inria-00637326v2
|
Talking and understanding: cognitive processes and computational models of the language facultyCognitique / cognitics, Dec 2010, France
Conference papers
hal-00607692v1
|
|
Proof nets without links for Lambek calculus and partially commutative linear logic50 years of the Syntactic calculus, Jul 2008, Chieti, Italy
Conference papers
hal-00409487v1
|
|
|
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
Conference papers
inria-00287343v1
|
On the trees underlying natural language sentencesColloquium in honor of Gérard Huet, Jun 2007, Paris, France
Conference papers
hal-00416232v1
|
|
|
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with ProductComputation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44
Conference papers
hal-00409486v1
|
Non-Associative Categorial Grammars and Abstract Categorial GrammarsNew Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58
Conference papers
hal-00306393v1
|
|
An Automata-Theoretic Approach to MinimalismModel Theoretic Syntax at 10, Aug 2007, Unknown, Ireland. pp.73--82
Conference papers
hal-00306226v1
|
|
|
A Montagovian Generative Lexicon12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland
Conference papers
inria-00287340v1
|
Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)GEOCAL Workshop on logic and linguistics, Feb 2006, Marseille, France
Conference papers
hal-00418580v1
|
|
|
Syntax and Semantics interacting in a Minimalist theoryProspect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
Conference papers
hal-01079278v1
|
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
Conference papers
hal-00012407v1
|
|
|
L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégoriellesJournée de Sémantique et Modélisation, Mar 2004, Lyon, France
Conference papers
hal-01079275v1
|
Words as modules: a lexicalised grammar in the framework of linear logic proof nets.Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144
Conference papers
inria-00098440v1
|
|
Proof Nets for the Lambek Calculus - an overviewThird Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262
Conference papers
inria-00098442v1
|
|
|
On the semantic readings of proof-netsFormal grammar 1996, 1996, Prague, Czech Republic. pp.57--70
Conference papers
hal-00823554v1
|
|
Sentence meaning as argumentative dialoguesSEMDIAL: Semantics and Pragmatics of Dialogue, Nov 2018, Aix-en-Provence, France. , 22nd Workshop on the Semantics and Pragmatics of Dialogue
Conference poster
hal-02150083v1
|
|
Linguistique computationnelle : entre sciences cognitives et traitement automatique des languesARCo, Mar 2006, Bordeaux, France. 2006
Conference poster
hal-01079258v1
|
|
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics2015
Books
hal-01584832v2
|
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and SemanticsSpringer, pp.322, 2012, FoLLI-LNCS, 978-3-642-31554-1
Books
hal-00829051v1
|
|
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th BirthdaySylvain Pogodalla and Myriam Quatrini and Christian Retoré. Springer, 6700, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩
Books
inria-00607880v1
|
|
Logical Aspects of Computational LinguisticsSpringer, 310 p, 2001, Lecture Notres in Artificial Intelligence
Books
inria-00100530v1
|
|
Le contexte en traitement automatique des languesGerda Hassler. Les concepts fondateurs de la philosophie du langage: Contexte, ISTE, inPress
Book sections
hal-04008967v1
|
|
Dialogical Argumentation and Textual EntailmentNatural Language Processing in Artificial Intelligence, 939, Springer, pp.191-226, inPress, Studies in Computational Intelligence, 978-3030637866
Book sections
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⟩
Book sections
hal-02093536v1
|
|
A description of the non-sequential execution of Petri nets in partially commutative linear logicJan Van Eijck; Vincent Van Oostrom; Albert Visser. Logic Colloquium '99, Cambridge University Press, pp.152-181, 2017, Lecture Notes in Logic, ⟨10.1017/9781316755921.013⟩
Book sections
lirmm-02189885v1
|
|
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⟩
Book sections
hal-01471256v1
|
|
|
Learning Lambek grammars from proof framesClaudia Casadio; Bob Coecke; M. Moortgat; Ph. Scott. Categories and types in logic, language and physics -- Festschrift on the occasion of Jim Lambek's 90th birthday, Springer, pp.108-135, 2014, Lecture Notes in Computer Science, 978-3-642-54788-1. ⟨10.1007/978-3-642-54789-8_7⟩
Book sections
hal-00923897v1
|
|
Logique mathématique et linguistique formelleGéraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013
Book sections
hal-00607693v1
|
Syntaxe et traitement automatique des languesF. Lambert et H. Nolke. La syntaxe au cœur de la grammaire, mélanges offerts à Claude Muller, Presses Universitaires de Rennes, pp.271--286, 2005, Rivages linguistiques
Book sections
hal-00354049v1
|
|
Pomset logic: a logical and grammatical alternative to the Lambek calculus2020
Preprints, Working Papers, ...
hal-02431876v1
|
|
On the system F as a glue language for natural-language compositional-semantics2011
Preprints, Working Papers, ...
inria-00616704v1
|
|
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic2007
Preprints, Working Papers, ...
hal-00941206v1
|
|
Réseaux et séquents ordonnésMathématiques [math]. Université Paris-Diderot - Paris VII, 1993. Français. ⟨NNT : ⟩
Theses
tel-00585634v1
|
|
Logique linéaire et syntaxe des languesMathématiques [math]. Université de Nantes, 2002
Habilitation à diriger des recherches
tel-00354041v1
|