Christian Retoré
Orcid: 0000-0002-2401-9158Affiliations:
- Université de Montpellier, France
According to our database1,
Christian Retoré
authored at least 55 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on lirmm.fr
On csauthors.net:
Bibliography
2024
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French.
Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024
Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024) affiliated with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), 2024
2022
Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022
2020
Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces.
Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020
CoRR, 2020
Proceedings of the Distributed Computing and Artificial Intelligence, 2020
2019
2018
Solving the Individuation and Counting Puzzle with \lambda -DRT and MGL - If I Can Get a Book from the Library, It Saves Me from Needing to Buy It in the Bookshop.
Proceedings of the New Frontiers in Artificial Intelligence, 2018
Proceedings of the Diagrammatic Representation and Inference, 2018
2017
J. Lang. Model., 2017
FLAP, 2017
FLAP, 2017
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis.
Proceedings of the New Frontiers in Artificial Intelligence, 2017
2014
Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n.
J. Log. Lang. Inf., 2014
J. Appl. Log., 2014
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property.
FLAP, 2014
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture).
CoRR, 2014
Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic.
CoRR, 2014
Proceedings of the New Frontiers in Artificial Intelligence, 2014
Proceedings of the Formal Grammar - 19th International Conference, 2014
Proceedings of the Categories and Types in Logic, Language, and Physics, 2014
2013
CoRR, 2013
The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics
CoRR, 2013
The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics.
Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013
On the semantics of determiners in a rich type-theoretical framework (Sémantique des déterminants dans un cadre richement typé) [in French].
Proceedings of the Traitement Automatique des Langues Naturelles, 2013
2012
The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics
Lecture Notes in Computer Science 6850, Springer, ISBN: 978-3-642-31554-1, 2012
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most
CoRR, 2012
Traitement automatique sur corpus de récits de voyages pyrénéens : Une analyse syntaxique, sémantique et temporelle (Processing of a Pyrenees Travel Novels Corpus : a Syntactical, Semantical and Temporal Analysis.) [in French].
Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, 2012
2011
CoRR, 2011
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyage (A calculation of typed terms for lexical pragmatics: paths and fictional travellers in a travel stories corpus).
Proceedings of the Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2011
2010
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars.
J. Log. Lang. Inf., 2010
2006
2003
2002
, 2002
2001
Recent Issues in Categorial Grammar.
Proceedings of the Association for Computational Linguistic, 2001
Proceedings of the Association for Computational Linguistic, 2001
1998
1997
Math. Struct. Comput. Sci., 1997
Proceedings of the Typed Lambda Calculi and Applications, 1997
Proceedings of the Rewriting Techniques and Applications, 8th International Conference, 1997
1996
Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs.
Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996
Proceedings of the Logical Aspects of Computational Linguistics, 1996
1994
1993