If one prefers slides from some talks
are there. Ici
se trouvent diverses présentations.
Despite the recent interest of
French evaluation procedures in bibliometric
considerations, co-authors of all papers I published
are by alphabetic order. To answer a usual question: when
a paper is mainly the work of some student of mine, my
name simply does not appear, and the paper is not listed on
this page of mine --- there are one or two exceptions
for reports corresponding to some master theses that i
cosupervised. When it is a student's work which
i substantially contributed to, I also use alphabetic order
but this can hardly be observed since my name starts
with an "R"!
En dépit du récent engouement des
procédures d'évaluation françaises pour les mesures
bibliométriques, les auteurs de tous les articles que j'ai
publiés figure dans l'ordre alphabétique. Pour
répondre
à une possible question: lorsqu'un article est
principalement celui d'un de mes étudiants, mon nom n'y
figure pas, et l'article n'apparaît pas sur cette page qui
est la mienne, il y a une ou deux exceptions pour des
rapports de recherche correspondant à des mémoires de master
que j'ai coencadrés. Lorsque c'est le
travail d'un étudiant auquel j'ai substantiellement
participé, j'utilise encore l'ordre alphabétique, mais cela
ne se voit pour ainsi dire jamais puisque mon nom commence
par "R"!
Monograph,
Habilitation and PhD
Richard
Moot Christian Retoré The logic of categorial
grammars: a
deductive account of natural language syntax and
semantics
(monograph) Springer LNCS 6850 2012 August 2020: Since its online
publication on Jul 02, 2012, there have been a total of 8250
chapter downloads for your eBook on SpringerLink.
This book is a contemporary and comprehensive introduction to
categorial grammars in the logical tradition initiated by the
work of Lambek. It guides students and researchers through the
fundamental results in the field, providing modern proofs of
many classic theorems, as well as original recent advances.
Numerous examples and exercises illustrate the motivations and
applications of these results from a linguistic, computational
and logical point of view. The Lambek calculus and its
variants, and the corresponding grammars, are at the heart of
these lecture notes. A chapter is devoted to a key feature of
these categorial grammars: their very elegant syntax-semantic
interface. In addition, we adapt linear logic proof nets to
these calculi since they provide efficient parsing algorithms
as exemplified in the Grail parser. This book shows how
categorial grammars weave together converging ideas from
formal linguistics, typed lambda calculus, Montague semantics,
proof theory and linear logic, thus yielding a coherent and
formally elegant framework for natural language syntax and
semantics
January 4 2002: Habilitation à Diriger des Recherches: Logique
linéaire et syntaxe des langues soutenue le 4 janvier 2002
(Président: A. Dikovsky , Rapporteurs: G. Huet, J. Lambek, M.
Moortgat, Examinateurs: C. Gardent, G. Kahn, J.-X. Rampon, O.
Ridoux)
Forthcoming monograph: The essentials of modal logic, with
applications to security and AI. by Davide Catta,
Christian RetoréEn préparation (120 pages up to
now); en français puis en anglais.
Forthcoming edited book with a thorough survey:
Inference(s) by Davide Catta, Paul Egré, Kristina Liefke,
Christian Retoré
2024
Loïc Allègre, Ophélie Lacroix, Christian Retoré A
proof-theoretical approach to some extensions of first order
quantification Automated Reasoning in Quantified Non stnadard
Logic, IJCAR, Nancy, july 2024.
Maximos Skandalis, Richard Moot, Christian Retoré Simon
Robillard New Datasets for Automatic Detection of Textual
Entailment and of Contradictions between Sentences in French.
LREC COLING 2024, Torino.
2022
Juan Luis Gastaldi, Richard Moot, Christian Retoré Le contexte en
traitement automatique des langues. A paraître,
chapitre du livre "Le contexte" (dir. Gerda Haßler) dans la
série "Philosophie du langage" (dir Béatrice.
Godart-Wendling) ISTE/Wiley.
Davide Catta, Richard Moot, Christian Retoré, Symon Jory
Stevens-Guille. A
Proof System for Dialogical Anaphora Resolution AI3 2022 -
5th Workshop on Advances in Argumentation in Artificial
Intelligence, Nov 2022, Udine, Italy
2021
Christian Retoré Pomset Logic: the other approach to non
commutativity in logic In C. Casadio and P. J. Scott (eds.),
Joachim Lambek: The Interplay of Mathematics, Logic, and
Linguistics, Outstanding Contributions to Logic 20,2021 pp.
299-345 https://doi.org/10.1007/978-3-030-66545-6_9
Preliminary version with many typoses and without some sections
(january 2020) https://arxiv.org/abs/2001.02155
Davide Catta Richard Moot Christian Retoré Dialogical
Argumentation and Textual Entailment In R. Loukanova (Ed)
Natural Language Processing in Artificial Intelligence, Vol 939
of Computational Intelligence, Springer, 2021. pp 191-236
https://doi.org/10.1007/978-3-030-63787-3
Christian Retoré Flag: a Self-Dual Modality for
Non-Commutative Contraction and Duplication in the Category of
Coherence Spaces
In Proceedings Linearity&TLLA 2020, Journal
reference: EPTCS 353, 2021, pp. 157-174
Related DOI: https://doi.org/10.4204/EPTCS.353.8
2020
Davide Catta Luc Pellissier Christian Retoré Inferential
semantics as argumentative dialogues, in Distributed Computing
and Artificial Intelligence, Special Session, 17th International
Conference, Gonzàlez, S.R. and Gonzalez-Briones, A. and
Gola, A. and Katranas, G. and Ricca, M. and
Loukanova, R. and Prieto, J. (Eds), pp 72-81, 2020. https://doi.org/10.1007/978-3-030-53829-3_7
2019
Mehdi Mirzapour, Jean-Philippe Prost, Christian Retoré
Measuring Linguistic Complexity: Introducing a New Categorial
Metric. In: Loukanova R. (eds) Logic and Algorithms in
Computational Linguistics 2018 (LACompLing2018). Studies in
Computational Intelligence, vol 860. Springer 2019. https://doi.org/10.1007/978-3-030-30077-7_5
Fabio Pasquali Christian Retoré Aristotle square of opposition
in the light of Hilbert's espilon and tau quantifiers In Demetra
Sfendoni-Mentzou ARISTOTLE 2400 years world congress Section
VII: Aristotle and Contemporary Thought Part 5: Logic /
Computation / Informatics Aristotle pp. 829-834,
University οf Thessaloniki ISBN 978-960-243-716-2, 2019.
Christian Retoré L’approche logique des grammaires
catégorielles: une syntaxe tournée vers la sémantique.
Verbum vol. XL 2018 n°2 pp. 237--267. 2019
Anaïs Lefeuvre-Halftermeyer, Richard Moot, and Christian
Retoré A computational account of virtual travelers in the
Montagovian generative lexicon. In D. Stosic and M.
Aurnague (eds) The Semantics of Dynamic Space in French. John
Benjamins pp. 324-352. 2019 https://doi.org/10.1075/hcp.66.09lef
Bruno Mery, Richard Moot, Christian Retoré Solving the
Individuation and Counting Puzzle with λ-DRT and MGL In:
Kojima K., Sakamoto M., Mineshima K., Satoh K. (eds) New
Frontiers in Artificial Intelligence. JSAI-isAI 2018. Lecture
Notes in Computer Science, vol 11717. Springer, pp. 298-312 https://doi.org/10.1007/978-3-030-31605-1_22
Richard Moot and Christian Retoré Natural Language Semantics
and Computability Journal of Logic, Language and
InformationVolume 28, Issue 2, pp 287–307 https://doi.org/10.1007/s10849-019-09290-7
2018
Bruno Mery, Richard Moot, Christian Retoré Polysemy,
Individuation and Co-Predication: a simple solution to the
counting puzzle implemented using λ-DRT and MGL Logic and
Engineering of Natural Language Semantics 15 (LENLS 15) Tokyo
12-14 November 2017.
Davide Catta, Alda Mari, Christian Retoré Sentence meaning
as argumentative dialogues SEMDIAL, Aix-en-Provence
November 2018
Laura Kallmeyer, Rainer Osswald, Christian Retoré Levels of
ambiguity and underspecification in regular polysemy
ESSLLIworkshop on Ambiguity: Perspectives on Representation and
Resolution July 2018.
Mehdi Mirzapour, Jean-Philippe Prost, Christian Retoré Categorial
Proof Nets and Dependency Locality: A New Metric for
Linguistic Complexity In Angelov, Liefke, Loukanova, Moortgat,
Tojo Logic & Algorithms in Computational
Linguistics, 2018.pp. 73-87. DIVA, Stockholm 2018.
Davide Catta, Alda Mari, Michel Parigot, Christian Retoré. Natural
language variants of universal quantification in first order
modal logic. Logic colloquium, Udine, July 2018. (abstract Bulletin
of Symbolic Logic 25(2):247)
David Fernandez, Christian Retoré Logic and topology: some
connections (historical survey of the connections between
logic and topology: 3 connections developed). Logic
colloquium, Udine, July 2018. (abstract: Bulletin
of Symbolic Logic 25(2):251 sept. 2019)
Davide Catta, Richard Moot, Christian Retoré Do different
syntactic trees yield different logical readings? Some remarks
on head variables in typed lambda calculus. Natural
Language and Computer Science NLCS 2018 LICS satellite workshop.
FLOC. Oxford July 2018 Easy Chair Preprint 209. https://doi.org/10.29007/mhx8
Mehdi Mirzapour, Christian Retoré Venn Diagram and
Evaluation of Syllogisms with Negative Terms: A New Algorithm
in Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S.,
Bellucci, F. (Eds.) Diagrammatic Representation and Inference
10th International Conference, Diagrams 2018, Edinburgh, UK,
June 18-22, 2018, LNCS / LNAI 10871, pp. 716-720, 2018. https://doi.org/10.1007/978-3-319-91376-6_66
Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot
and Christian Retoré Collecting Crowd-Sourced Lexical
Coercions for Compositional Semantic Analysis in Arai, S.,
Kojima, K., Mineshima, K., Bekki, D., Satoh, K., Ohta, Y. (Eds.)
New Frontiers in Artificial Intelligence Springer LNCS
10838 pp. 214-230 2018. https://doi.org/10.1007/978-3-319-93794-6_15
Robin Cooper, Christian Retoré An outline of type-theoretical
approaches to lexical semantics Journal of Language
Modelling 5(2) pages 165--178. https://doi.org/10.15398/jlm.v5i2.200Introductive survey of:
Robin Cooper, Christian Retoré (eds)
special issue on Type Thery and Lexical Semantics—
Journal of Language Modelling 5(2)
Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot
and Christian Retoré Collecting Crowd-Sourced Lexical Coercions
for Compositional Semantic Analysis Logic and Engineering of
Natural Language Semantics 14 (LENLS 14) Tokyo 13-15 November
2017.
Claire Gardent and Christian Retoré
(eds) Proceedings of IWCS 2017 12th International Conference
on Computational Semantics, Montpellier 19-22 September
2017.
Stergios Chatzikyriakidis Fabio Pasquali Christian
Retoré From logical and linguistic generics to Hilbert’s
tau and epsilon quantifiers
Journal of Logics and their applications 4(2) 2017 pp.
231--255
Bruno Mery and Christian Retoré Classifiers, Sorts and Base
types in the Montagovian Generative Lexicon and other Type
Theoretical Frameworks for Lexical Semantics in Stergios
Chatzikyriakidis and Zhaohui Luo (eds) Modern
Perspectives in Type-Theoretical Semantics,
Springer.2017. http://dx.doi.org/10.1007/978-3-319-50422-3
Stergios Chatzikyriakidis Fabio Pasquali
Christian Retoré (eds) Hilbert’s Epsilon and Tau in Logic,
Informatics and Linguistics special issue of the Journal
of Logics and their applications 4(2) 2017
Alda Mari and Christian Retoré Conditions d’assertion de «chaque»
et de «tout» et règles de déduction du quantificateur
universel. Travaux de Lingusitique. Revue internationale de
linguistique française. 72:89-106. 2016. http:/dx.doi.org/10.3917/tl.072.0089
Sylvain Pogodalla and Christian Retoré Handsome Proof-Nets for
Cyclic Linear Logic Workshop Topology and Languages Toulouse
June 2016
Ivano Ciardelli and Christian Retoré A direct proof of that
intuitionistic predicate calculus is complete wrt presheaves of
classical models Workshop Topology and Languages Toulouse June
2016 slides
Fabio Pasquali Christian Retoré Aristotle square of opposition
in the light of Hilbert's espilon and tau quantifiers ARISTOTLE
2400 years world congress. Thessaloniki. May 2016 arXiv:1606.08326
Richard Moot Christian Retoré Classical logic and
intuitionistic logic: equivalent formulations in natural
deduction, Gödel-Kolmogorov-Glivenko translation that's just
complete proofs of well-known results that are not available in
any other publication: arXiv:1602.07608
Vito Michele Abrusci, Fabio Pasquali, Christian Retoré
Quantification in ordinary language and proof theory. Philosophia
scientae 20(1)185-205.
Bruno Mery, Richard Moot, Christian Retoré Computing the
Semantics of Plurals and Massive Entities using Many-Sorted
Types In Murata, Tsuyoshi and Mineshima, Koji and Bekki, Daisuke
(Eds) New Frontiers in Artificial Intelligence LNCS 9067
Springer 2015. pp. 144--159 http://dx.doi.org/10.1007/978-3-662-48119-6_11
(une exception à l'ordre alphabétique, mais j'ignorais
l'existence de cet article!) Arthur Capelier-Mourguy, Philippe
Blache, Laurent Prévot, Christian Retoré Quantifier
scope: a formal and experimental study CJC-SC Colloque des
Jeunes Chercheurs en Sciences Cognitives http://cjcsc.sciencesconf.org/67074
2014
Bruno Mery, Richard Moot, Christian Retoré. Computing the
Semantics of Massive Entities using Many-Sorted Types In Koji
Mineshima (ed) Proceedings of the Eleventh International
Workshop of Logic and Engineering of Natural Language Semantics
11 (LENLS11). Nov 2014, Kanagawa, Japan. Keio University
Press, The Eleventh International Workshop of Logic and
Engineering of Natural Language Semantics 11 (LENLS11), pp.
124--137, hal-01098748v1
Christian Retoré, Thomas Seiller Note de lecture sur "The
blind spot" de J.-Y. Girard, La Gazette des mathématiciens,
octobre 2014.
Christian Retoré Typed Hilbert Epsilon Operators and the
Semantics of Determiner Phrases (Invited Lecture) In Glyn
Morrill, Reinhard Muskens, Rainer Osswald, and Frank Richter
(eds) 19th conference on Formal Grammar LNCS 8612,
Springer 2014. pp. 15-33.
Christian Retoré , Gilles Zémor Note de lecture sur La
déesse des petites victoires de Yannick Grannec (prix des
libraires 2013), la Gazette des mathématiciens, Avril 2014, vol
140 pp. 113-116.
Christian Retoré Logique
mathématique et linguistique formelle (exposé du 7 juillet
2011, transcrit par Noémie-Fleur Sandillon-Rezer) A paraître
dans Leçons de mathématiques d'aujourd'hui, sous la
direction de Géraud Sénizergues
Christian Retoré Aristote square of opposition and Hilbert's
epsilon: some linguistic remarks. In Jean-Yves Béziau and
Katarzyna Gan-Krzywoszyńska (eds) Handbook of the World
Congress on the Square of Opposition IVPontifical
Lateran University, Vatican May 5-9, 2014 pp. 90-91.
Bruno Mery, Richard Moot, Christian Retoré Plurals: individuals
and sets in a richly typed semantics in Shunsuke
YATABE (ed) Logic and Engineering of Natural Language
Semantics 10 (LENLS 10, Tokyo) Keio University, Kanagawa,
JP, ISBN 978-4-915905-57-5 C3004 pp. 143--156.
Bruno Mery, Christian Retoré Semantic types,
lexical sorts and classifiers. (with Bruno Mery), 10th
International Workshop on Natural Language Processing and
Cognitive Science, sept. 2013, Marseilles.
Bruno Mery, Christian Retoré Advances in the
Logical Representation of Lexical Semantics, (with Bruno
Mery) Logic In Computer Science LICS 2013, workshop on Natural
Language and Computer Science NLCS (Valeria De Paiva &
Larry Moss, eds) June 2013, New-Orleans.
Richard Moot, Christian RetoréNote de lecture (avec Richard
Moot) sur "Discourse processing" de Mandred Stede TAL 53(2) pp.
214--217
Christian Retoré Logique mathématique et linguistique formelle
(Leçons de mathématiques d'aujourd'hui, exposé à
Bordeaux le 7 juillet 2011, parution des actes chez Cassini
ultérieurement) RésuméTransparents
Vito Michele Abrusci, Christian Retoré Quantification and
Interaction invited talk at the workshop Rebuilding Logic
and Rethinking Language in Interaction terms (symposium
affiliated to the 14th CLMPS).
Christian Retoré Talking and understanding: cognitive
processes and computational models of the language faculty.
Forthcoming in Cognitique -- cognitics (ISBN 2-9524088-1-5
2011) from a talk to association for cognitive sciences,
December 2010 Bordeaux, for the time being see the French
slides. Lost publication project....
Christian Retoré, Sylvain Salvati A Faithful Representation of
Non-Associative Lambek Grammars in Abstract Categorial Grammars
Journal of Logic, Language and Information 19(2) pp. 185—200
2010 Preliminary version
Denis Bechet, Rorberto Bonato, Alexandre Dikovsky, Annie
Foret, Yannick Le Nir, Erwan Moreau, Christian Retoré, Isabelle
Tellier Modèles algorithmiques de l'acquisition de la syntaxe :
concepts et méthodes, résultats et problèmes (avec , Recherches
Linguistiques de Vincennes, vol. 36, pages 123–152.
octobre 2007.
Christian Bassac Bruno Mery Christian Retoré A Montague based
model for generative lexical semantics In R. Muskens (ed) New Directions inType Theoretic
Grammars. pages 90--97
Christian Retoré Sylvain Salvati Non-Associative Categorial
Grammars and Abstract Categorial Grammars In R. Muskens (ed) New Directions inType Theoretic
Grammars. pages 51--58
Maxime Amblard Gregory Kobele Christian Retoré La linguistique
computationnelle entre sciences cognitives et traitement
automatique des langues. In Colloque de l’Association pour
la Recherche Cognitive, 2006. Poster.
Christian Retoré Syntaxe et Traitement Automatique des
Langues. 2005 in F. Lambert et H. Nolke (éds) La syntaxe au cœur
de la grammaire, mélanges offerts à Claude Muller, pages
271-286. Presses Universitaires de Rennes. Version préliminaire
RR 5429.
Christian Retoré A description of the non-sequential execution
of Petri nets in partially commutative linear logic. In Jan van
Eijck, Vinvent van Oostrom, Albert Visser (eds) Logic Colloquium
'99 (selected papers), Association for Symbolic Logic & A.K.
Peters, 2004. pp 152-181. See also INRIA RR-4288
Sylvain Pogodalla Christian Retoré Handsome Non-Commutative
Proof-Nets: perfect matchings, series-parallel orders and
Hamiltonian circuits Work presented at Categorial grammars 2004,
LIRMM, Montpellier, juin 2004.See also INRIA RR-5409
Maxime Amblard, Alain Lecomte, Christian Retoré L’interface
entre syntaxe et séman- tique pour les grammaires minimalistes
catégoriellesIn Journées Scientifiques Sémantique et
Modélisation, ENS-LSH Lyon, 2004.
Richard Moot, Christian Retoré L’ordre des mots dans les
grammaires catégorielles. In Kim Gerdes and Claude Muller,
editors, Pré-Actes des Journées de la syntaxe : ordre des mots
dans la phrase française, positions et topologie, pages 56–59.
E.R.S.S.-C.N.R.S., 2004.
Christian Retoré, Edward Stabler Generative grammars in
resource logics. Research on Language and Computation, vol 2(1),
2004, pages 3–25. Version
préliminaire : RR-3780
Christian Retoré, Edward Stabler (eds) Resource
logics and minimalist grammars. Special issue of the
Research on Language and Computation, selected papers from the
RLMG‘99 workshop. Vol 2(1), 2004.
Olivier de Langhe, Pierre Guitteny Henri Portine Christian
Retoré A propos des structures
OSV en Langue des Signes Française. In Anne-Marie
Berthonneau and Georgette Dal, editors, Journées d’études
internationales – La linguistique de la LSF : recherches
actuelles. SILEX- C.N.R.S., 2003.
Christian Retoré Habilitation à Diriger des Recherches: Logique
linéaire et syntaxe des langues soutenue le 4 janvier 2002
(Président: A. Dikovsky , Rapporteurs: G. Huet, J. Lambek, M.
Moortgat, Examinateurs: C. Gardent, G. Kahn, J.-X. Rampon, O.
Ridoux)
Roberto Bonato Christian Retoré Learning rigid Lambek grammars and minimalist
grammars In Popelìnsky` and Miloslev Nepil, editors.
Procee- dings of the third workshop on Learning Language in
Logic, LLL 01, number FI-MU-RS-2001-08 in FI MU Report series,
Strabourg, September 2001. Faculty of Informatics – Masaryk
University. pages 23–34.
Systèmes déductifs et traitement des langues:un panorama des
grammaires catégorielles Technique et Science Informatique (TSI)
2001/3 pp. 11-46 numéro thématique Traitement Automatique du
Langage Naturel sous la direction de D. Kayser et B. Levrat. [Version
préliminaire RR-3917]
Christian Retoré A representation of Petri-net concurrent
execution in partially commutative linear logic Talk at the
Logic Colloquium 1999, Utrecht. [See complete paper in the
selected papers published in 2004 and the even more complete
INRIA research report published in 2001 INRIA RR-4288]
Alain Lecomte, Christian Retoré Towards a minimal logic for
minimalist grammars. Invited talk at the triennal meeting of the
Società Italiana di Logica e Filosofia delle Scienze.
Alain Lecomte, Christian Retoré A minimal logic for minismalism 3rd
Tbilisi Symposium on Language, Logic and Computation, Batumi ,
September 99.
Alain Lecomte, Christian Retoré Words as modules : a
lexicalized grammar in the framework of linear logic proof
nets. In Carlos Martin-Vide, editor, Mathematical and
Computa- tional Analysis of Natural Language — selected papers
from ICML‘96, vol. 45 of Studies in Func- tional and Structural
Linguistics, John Benjamins publishing company, pp. 129–144.
Christian Retoré Pomset logic as a calculus of directed
cographs In M. Abrusci, C. Casadio and G. Sandri eds, Fourth
Roma Workshop : Dynamic perspectives in Logic and Linguistics.,
CLUEB, 1998. [Complete version RR-3714] Invited
lecture.
P. Blackburn, M. Dymetman, A. Lecomte, A. Ranta, Ch.
Retoré E. Villemonte de la Clergerie Logical Aspects of
Computational Linguistics : an introduction ( In Ch.
Retoré, editor. Logical Aspects of Computational Linguistics,
LACL’96, selected papers, vol. 1328 of LNCS/LNAI, Springer,
1997. Pages 1–20. Introduction de vingt pages au thème de la
conférence, rédigée à la demande de Springer.
Christian Retoré A semantic characterisation of the
correctness of a proof net. Mathematical Structures in Computer
Science, 7(5) :445–452, 1997. [Version complète :
RR-2430]
Alain Lecomte, Christian Retoré Logique des ressources et réseaux
syntaxiques. In D. Genthial, éd., 4 ème
Traitement automatique du langage naturel, TALN’97, pages 70–83,
Pôle Langage Naturel, Grenoble, Juin 97.
Philippe de Groote, Christian Retoré Semantic readings
of proof nets In Geert-Jan Kruijff, Glyn Morrill,
and Dick Oehrle, editors, Formal Grammar, pages 57–70, Prague,
August 1996. FoLLI.
François Lamarche, Christian Retoré Proof nets for
the Lambek calculus - an overview In M. Abrusci and
C. Casadio editors, Third Roma Workshop : Proofs and Linguistic
Categories, CLUEB : Bologna, 1996. p. 241–262.
Christian Retoré Le système F en logique linéaire Girard's
system F in Linear Logic. Mémoire de DEA, UFR de Mathématiques,
université Paris 7. Master thesis University of Paris 7