
Christian Retoré
- Exploration et exploitation de données textuelles (TEXTE)
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)
Domaines de recherche
Publications
Publications
|
A Proof-Theoretical Approach to Some Extensions of First Order QuantificationARQNL 2024 - 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics, Jul 2024, Nancy, France. pp.92-107, ⟨10.48550/arXiv.2407.09865⟩
Communication dans un congrès
hal-04852833
v1
|
|
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in FrenchLREC-COLING 2024 - Joint International Conference on Computational Linguistics, Language Resources and Evaluation, ELRA; ICCL, May 2024, Turin, Italy. pp.12173-12186
Communication dans un congrès
hal-04589573
v2
|
|
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-03863462
v1
|
|
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces2nd Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Ugo Dal Lago; Valeria De Paiva, Jun 2020, Paris, France. pp.157-174, ⟨10.4204/EPTCS.353.8⟩
Communication dans un congrès
hal-04994874
v1
|
|
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⟩
Communication dans un congrès
hal-02922646
v1
|
|
Measuring Linguistic Complexity: Introducing a New Categorial MetricLACompLing 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-02146506
v1
|
Solving the Individuation and Counting Puzzle with $\lambda $ -DRT and MGLLENLS 2018 - 15th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan. pp.298-312, ⟨10.1007/978-3-030-31605-1_22⟩
Communication dans un congrès
lirmm-04950535
v1
|
|
|
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
Communication dans un congrès
lirmm-01916104
v1
|
Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New AlgorithmDiagrams 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-01916122
v1
|
|
Polysemy, Individuation and Co-Predication: a simple solution to the counting puzzle implemented using lambda-DRT and MGLLENLS 2018 - 15th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2018, Yokohama, Japan
Communication dans un congrès
lirmm-01916255
v1
|
|
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic AnalysisLENLS 2017 - 14th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩
Communication dans un congrès
lirmm-01916209
v1
|
|
|
Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic AnalysisLENLS 2017 - 14th International Workshop on Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan
Communication dans un congrès
lirmm-01916195
v1
|
|
“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
Communication dans un congrès
hal-01341007
v1
|
|
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
Communication dans un congrès
lirmm-01311129
v1
|
|
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-01214439
v1
|
|
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-01311120
v1
|
|
Quantifier scope: a formal and experimental studyCJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France
Communication dans un congrès
hal-01194934
v1
|
|
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted TypesLENLS 2014 - 11th International Workshop on 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-01098748
v1
|
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⟩
Communication dans un congrès
hal-01009838
v1
|
|
|
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
Communication dans un congrès
hal-01145821
v1
|
|
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⟩
Communication dans un congrès
hal-01009753
v1
|
|
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-00923556
v1
|
|
Type-theoretical natural language semantics: on the system F for meaning assemblyTYPES 2013, Apr 2013, Toulouse, France. pp.64--65
Communication dans un congrès
hal-00799685
v1
|
|
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-00858020
v1
|
|
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-00916722
v1
|
|
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/
Communication dans un congrès
hal-00760380
v1
|
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
Communication dans un congrès
hal-01044820
v1
|
|
|
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
Communication dans un congrès
hal-01152653
v1
|
|
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/
Communication dans un congrès
hal-00785656
v2
|
|
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-00749374
v1
|
|
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-00750750
v1
|
|
Second order lambda calculus for meaning assembly: on the logical syntax of pluralsCoconat, Dec 2011, Tilburg, Netherlands
Communication dans un congrès
hal-00650644
v1
|
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-01231917
v1
|
|
|
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-00607691
v1
|
|
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-00607690
v1
|
Quantification and interactionRebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France
Communication dans un congrès
hal-00607676
v1
|
|
|
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
Communication dans un congrès
hal-00607678
v1
|
|
Specimens: "most of" generic NPs in a contextually flexible type theoryGenius III, Dec 2011, Paris, France
Communication dans un congrès
inria-00637326
v2
|
Talking and understanding: cognitive processes and computational models of the language facultyCognitique / cognitics, Dec 2010, France
Communication dans un congrès
hal-00607692
v1
|
|
Proof nets without links for Lambek calculus and partially commutative linear logic50 years of the Syntactic calculus, Jul 2008, Chieti, Italy
Communication dans un congrès
hal-00409487
v1
|
|
|
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-00287343
v1
|
Non-Associative Categorial Grammars and Abstract Categorial GrammarsNew Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58
Communication dans un congrès
hal-00306393
v1
|
|
|
A Montagovian Generative Lexicon12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland
Communication dans un congrès
inria-00287340
v1
|
An Automata-Theoretic Approach to MinimalismModel Theoretic Syntax at 10, Aug 2007, Unknown, Ireland. pp.73--82
Communication dans un congrès
hal-00306226
v1
|
|
On the trees underlying natural language sentencesColloquium in honor of Gérard Huet, Jun 2007, Paris, France
Communication dans un congrès
hal-00416232
v1
|
|
|
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
Communication dans un congrès
hal-00409486
v1
|
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
Communication dans un congrès
hal-00418580
v1
|
|
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-00012407
v1
|
|
|
L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégoriellesJournée de Sémantique et Modélisation, Mar 2004, Lyon, France
Communication dans un congrès
hal-01079275
v1
|
|
Syntax and Semantics interacting in a Minimalist theoryProspect and advance in the syntax/semantic interface, Jan 2004, Nancy, France
Communication dans un congrès
hal-01079278
v1
|
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
Communication dans un congrès
inria-00098440
v1
|
|
Proof Nets for the Lambek Calculus - an overviewThird Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262
Communication dans un congrès
inria-00098442
v1
|
|
|
On the semantic readings of proof-netsFormal grammar 1996, 1996, Prague, Czech Republic. pp.57--70
Communication dans un congrès
hal-00823554
v1
|
|
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
Poster de conférence
hal-02150083
v1
|
|
Linguistique computationnelle : entre sciences cognitives et traitement automatique des languesARCo, Mar 2006, Bordeaux, France. 2006
Poster de conférence
hal-01079258
v1
|
|
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics2015
Ouvrages
hal-01584832
v2
|
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-00829051
v1
|
|
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⟩
Ouvrages
inria-00607880
v1
|
|
Logical Aspects of Computational LinguisticsSpringer, 310 p, 2001, Lecture Notres in Artificial Intelligence
Ouvrages
inria-00100530
v1
|
|
Le contexte en traitement automatique des languesGerda Hassler. Les concepts fondateurs de la philosophie du langage : Le contexte en question, 10 (Chapitre 14), ISTE, pp.295-323, 2024, 9781836120032
Chapitre d'ouvrage
hal-04008967
v1
|
|
Pomset Logic: the other approach to non commutativity in logicClaudia Casadio, Phil Scott. Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.299-345, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_9⟩
Chapitre d'ouvrage
hal-04994832
v1
|
|
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-02915526
v2
|
|
Aristotle square of opposition in the light of Hilbert's espilon and tau quantifiersDemetra Sfondoni-Mentzou. Aristotle 2400 Years. Proceedings of the World Congress, May 23-28, 2016, Section VII, Part 5, Aristotle University of Thessaloniki, pp.829-834, 2019, 978-960-243-716-2
Chapitre d'ouvrage
hal-04994889
v1
|
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-02093536
v1
|
|
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⟩
Chapitre d'ouvrage
lirmm-02189885
v1
|
|
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-01471256
v1
|
|
|
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⟩
Chapitre d'ouvrage
hal-00923897
v1
|
|
Logique mathématique et linguistique formelleGéraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013
Chapitre d'ouvrage
hal-00607693
v1
|
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
Chapitre d'ouvrage
hal-00354049
v1
|
|
Pomset logic: a logical and grammatical alternative to the Lambek calculus2020
Pré-publication, Document de travail
hal-02431876
v1
|
|
On the system F as a glue language for natural-language compositional-semantics2011
Pré-publication, Document de travail
inria-00616704
v1
|
|
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic2007
Pré-publication, Document de travail
hal-00941206
v1
|
|
Réseaux et séquents ordonnésMathématiques [math]. Université Paris-Diderot - Paris VII, 1993. Français. ⟨NNT : ⟩
Thèse
tel-00585634
v1
|
|
Logique linéaire et syntaxe des languesMathématiques [math]. Université de Nantes, 2002
HDR
tel-00354041
v1
|