Christian Retoré

66 papers A* 1B 1C 1Journal 36Unranked 18

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	A Proof-Theoretical Approach to Some Extensions of First Order Quantification. ARQNL@IJCAR Loïc Allègre, Ophélie Lacroix, Christian Retoré
2024	J	`jnl`	A proof-theoretical approach to some extensions of first order quantification. CoRR Loïc Allègre, Ophélie Lacroix, Christian Retoré
2024	—	`conf`	New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French. LREC/COLING Maximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard
2022	—	`conf`	A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille
2020	—	`conf`	Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces. Linearity&TLLA@IJCAR-FSCD Christian Retoré
2020	—	`conf`	Inferential Semantics as Argumentative Dialogues. DCAI (Special Sessions) Davide Catta, Luc Pellissier, Christian Retoré
2020	J	`jnl`	Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR Davide Catta, Richard Moot, Christian Retoré
2020	J	`jnl`	Pomset logic: a logical and grammatical alternative to the Lambek calculus. CoRR Christian Retoré
2019	J	`jnl`	Natural Language Semantics and Computability. J. Log. Lang. Inf. Richard Moot, Christian Retoré
2018	—	`conf`	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. JSAI-isAI Workshops Bruno Mery, Richard Moot, Christian Retoré
2018	C	`conf`	Venn Diagram and Evaluation of Syllogisms with Negative Terms: A New Algorithm. Diagrams Mehdi Mirzapour, Christian Retoré
2017	J	`jnl`	An outline of type-theoretical approaches to lexical semantics. J. Lang. Model. Robin Cooper, Christian Retoré
2017	—	`conf`	Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis. JSAI-isAI Workshops Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré
2017	J	`jnl`	From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. FLAP Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
2017	—	`ed.`	IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017 IWCS (1) Claire Gardent, Christian Retoré
2017	—	`ed.`	IWCS 2017 - 12th International Conference on Computational Semantics - Short papers, Montpellier, France, September 19 - 22, 2017 IWCS(2) Claire Gardent, Christian Retoré
2017	J	`jnl`	Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". FLAP Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
2016	—	`ed.`	Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings LACL Maxime Amblard, Philippe de Groote, Sylvain Pogodalla, Christian Retoré
2016	J	`jnl`	Natural Language Semantics and Computability. CoRR Richard Moot, Christian Retoré
2014	J	`jnl`	Category theory, logic and formal linguistics: Some connections, old and new. J. Appl. Log. Jean Gillibert, Christian Retoré
2014	J	`jnl`	Category theory, logic and formal linguistics: some connections, old and new. CoRR Jean Gillibert, Christian Retoré
2014	—	`conf`	Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. JSAI-isAI Workshops Bruno Mery, Richard Moot, Christian Retoré
2014	J	`jnl`	Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n. J. Log. Lang. Inf. Livy Real, Christian Retoré
2014	J	`jnl`	Deverbal semantics and the Montagovian generative lexicon. CoRR Livy-Maria Real-Coelho, Christian Retoré
2014	—	`conf`	Learning Lambek Grammars from Proof Frames. Categories and Types in Logic, Language, and Physics Roberto Bonato, Christian Retoré
2014	J	`jnl`	Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic. CoRR Maxime Amblard, Christian Retoré
2014	J	`jnl`	Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property. FLAP Maxime Amblard, Christian Retoré
2014	J	`jnl`	Plurals: individuals and sets in a richly typed semantics. CoRR Bruno Mery, Richard Moot, Christian Retoré
2014	J	`jnl`	Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture). CoRR Christian Retoré
2014	B	`conf`	Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases. FG Christian Retoré
2013	J	`jnl`	Advances in the Logical Representation of Lexical Semantics. CoRR Bruno Mery, Christian Retoré
2013	J	`jnl`	Learning Lambek grammars from proof frames. CoRR Roberto Bonato, Christian Retoré
2013	J	`jnl`	Logique mathématique et linguistique formelle. CoRR Christian Retoré
2013	—	`conf`	On the semantics of determiners in a rich type-theoretical framework (Sémantique des déterminants dans un cadre richement typé) [in French]. TALN (1) Christian Retoré
2013	J	`jnl`	Semantic Types, Lexical Sorts and Classifiers. CoRR Bruno Mery, Christian Retoré
2013	J	`jnl`	Some proof theoretical remarks on quantification in ordinary language CoRR V. Michele Abrusci, Christian Retoré
2013	J	`jnl`	Sémantique des déterminants dans un cadre richement typé CoRR Christian Retoré
2013	—	`conf`	The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics. TYPES Christian Retoré
2013	J	`jnl`	The Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics CoRR Christian Retoré
2013	J	`jnl`	Type-theoretical natural language semantics: on the system F for meaning assembly CoRR Christian Retoré
2012	—	`book`	The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics Richard Moot, Christian Retoré
2012	—	`conf`	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]. JEP-TALN-RECITAL Anaïs Lefeuvre, Richard Moot, Christian Retoré, Noémie-Fleur Sandillon-Rezer
2012	J	`jnl`	Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most CoRR Christian Retoré
2011	—	`ed.`	Logic and Grammar - Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday Logic and Grammar Sylvain Pogodalla, Myriam Quatrini, Christian Retoré
2011	J	`jnl`	On the system F as a glue language for natural-language compositional-semantics CoRR Christian Retoré
2011	J	`jnl`	Specimens: "most of" generic NPs in a contextually flexible type theory CoRR Christian Retoré
2011	—	`conf`	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). TALN (Articles courts) Richard Moot, Laurent Prévot, Christian Retoré
2010	J	`jnl`	A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars. J. Log. Lang. Inf. Christian Retoré, Sylvain Salvati
2010	J	`jnl`	Categorial Minimalist Grammar CoRR Maxime Amblard, Alain Lecomte, Christian Retoré
2010	J	`jnl`	Towards a Type-Theoretical Account of Lexical Semantics. J. Log. Lang. Inf. Christian Bassac, Bruno Mery, Christian Retoré
2006	J	`jnl`	Éditorial. Trait. Autom. des Langues Sylvain Kahane, Christian Retoré, Pierre Zweigenbaum
2006	J	`jnl`	Éditorial. Trait. Autom. des Langues Sylvain Kahane, Christian Retoré, Pierre Zweigenbaum
2003	J	`jnl`	Handsome proof-nets: perfect matchings and cographs. Theor. Comput. Sci. Christian Retoré
2002	—	`book`	Logique linéaire et syntaxe des langues. (Linear logic and natural language syntax). Christian Retoré
2001	A*	`conf`	Extending Lambek Grammars: a Logical Account of Minimalist Grammars. ACL Alain Lecomte, Christian Retoré
2001	—	`ed.`	Logical Aspects of Computational Linguistics, 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings LACL Philippe de Groote, Glyn Morrill, Christian Retoré
2001	—	`conf`	Recent Issues in Categorial Grammar. ACL (Companion Volume) Christian Retoré
1998	J	`jnl`	Introduction. J. Log. Lang. Inf. Christian Retoré
1997	—	`conf`	A Complete Axiomatisation for the Inclusion of Series-Parallel Partial Orders. RTA Denis Béchet, Philippe de Groote, Christian Retoré
1997	J	`jnl`	A Semantic Characterisation of the Correctness of a Proof Net. Math. Struct. Comput. Sci. Christian Retoré
1997	—	`ed.`	Logical Aspects of Computational Linguistics, First International Conference, LACL '96, Nancy, France, September 23-25, 1996, Selected Papers LACL Christian Retoré
1997	—	`conf`	Pomset Logic: A Non-commutative Extension of Classical Linear Logic. TLCA Christian Retoré
1996	—	`conf`	Logical Aspects of Computational Linguistics: An Introduction. LACL Patrick Blackburn, Marc Dymetman, Alain Lecomte, Aarne Ranta, Christian Retoré, Éric Villemonte de la Clergerie
1996	—	`conf`	Perfect matchings and series-parallel graphs: multiplicatives proof nets as R&B-graphs. Linear Logic Tokyo Meeting Christian Retoré
1994	J	`jnl`	The Mix Rule. Math. Struct. Comput. Sci. Arnaud Fleury, Christian Retoré
1993	—	`—`	Réseaux et séquents ordonnés. (Ordered sequents and proof nets). Christian Retoré