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
|
|
Neurosymbolic AI for Natural Language Inference in French : combining LLMs and theorem provers for semantic parsing and natural language reasoning16th International Conference on Computational Semantics (IWCS 2025), Heinrich Heine University (HHU) Düsseldorf; ACL Special Interest Group on Computational Semantics (SIGSEM), Sep 2025, Düsseldorf, Germany. pp.242-253 |
|
|
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⟩ |
|
|
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 |
|
|
A proof system for dialogical anaphora resolutionAI3 2022 - 5th Workshop on Advances in Argumentation in Artificial Intelligence, Nov 2022, Udine, Italy |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
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⟩ |
|
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 |
|
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⟩ |
|
|
|
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 |
|
|
“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 |
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Quantifier scope: a formal and experimental studyCJC-SC: Colloque des Jeunes Chercheurs en Sciences Cognitives, Jun 2015, Compiègne, France |
|
|
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⟩ |
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⟩ |
|
|
|
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 |
|
|
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⟩ |
|
|
Type-theoretical natural language semantics: on the system F for meaning assemblyTYPES 2013, Apr 2013, Toulouse, France. pp.64--65 |
|
|
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 |
|
|
Advances in the Logical Representation of Lexical SemanticsNLCS'13 - Natural Language and Computer Science - 2013, Jun 2013, New Orleans, United States |
|
|
Semantic Types, Lexical Sorts and ClassifiersNLPCS '10- 10th International Workshop on Natural Language Processing and Computer Science - 2013, Oct 2013, Marseille, France |
|
|
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/ |
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 |
|
|
|
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 |
|
|
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/ |
|
|
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 |
|
|
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 |
Quantification and interactionRebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France |
|
|
|
Second order lambda calculus for meaning assembly: on the logical syntax of pluralsCoconat, Dec 2011, Tilburg, Netherlands |
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 |
|
|
|
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 |
|
|
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 |
|
|
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 |
|
|
Specimens: "most of" generic NPs in a contextually flexible type theoryGenius III, Dec 2011, Paris, France |
Talking and understanding: cognitive processes and computational models of the language facultyCognitique / cognitics, Dec 2010, France |
|
Proof nets without links for Lambek calculus and partially commutative linear logic50 years of the Syntactic calculus, Jul 2008, Chieti, Italy |
|
|
|
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 |
Non-Associative Categorial Grammars and Abstract Categorial GrammarsNew Directions in Type Theoretic Grammars, Aug 2007, Ireland. pp.51--58 |
|
An Automata-Theoretic Approach to MinimalismModel Theoretic Syntax at 10, Aug 2007, Unknown, Ireland. pp.73--82 |
|
|
|
A Montagovian Generative Lexicon12th conference on Formal Grammar (FG 2007), FoLLI, Aug 2007, Dublin, Ireland |
|
|
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 |
On the trees underlying natural language sentencesColloquium in honor of Gérard Huet, Jun 2007, Paris, France |
|
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 |
|
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 |
|
|
|
L'interface entre syntaxe et sémantique pour les grammaires minimalistes catégoriellesJournée de Sémantique et Modélisation, Mar 2004, Lyon, France |
|
|
Syntax and Semantics interacting in a Minimalist theoryProspect and advance in the syntax/semantic interface, Jan 2004, Nancy, France |
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 |
|
Proof Nets for the Lambek Calculus - an overviewThird Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262 |
|
|
|
On the semantic readings of proof-netsFormal grammar 1996, 1996, Prague, Czech Republic. pp.57--70 |
|
|
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 |
|
|
Linguistique computationnelle : entre sciences cognitives et traitement automatique des languesARCo, Mar 2006, Bordeaux, France. 2006 |
|
|
Extended abstracts of the ESSLLI 2015 workshop TYTLES: Types Theory and Lexical Semantics2015 |
The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and SemanticsSpringer, pp.322, 2012, FoLLI-LNCS, 978-3-642-31554-1 |
|
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⟩ |
|
Logical Aspects of Computational LinguisticsSpringer, 310 p, 2001, Lecture Notres in Artificial Intelligence |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 |
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
Logique mathématique et linguistique formelleGéraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013 |
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 |
|
|
Pomset logic: a logical and grammatical alternative to the Lambek calculus2020 |
|
|
On the system F as a glue language for natural-language compositional-semantics2011 |
|
|
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic2007 |
|
|
Réseaux et séquents ordonnésMathématiques [math]. Université Paris-Diderot - Paris VII, 1993. Français. ⟨NNT : ⟩ |
|
|
Logique linéaire et syntaxe des languesMathématiques [math]. Université de Nantes, 2002 |