Richard Moot - RankMe

55 papers B 5Journal 28Unranked 18

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Proof-Theoretic Aspects of the Logic of Scope. J. Log. Lang. Inf. Richard Moot
2025	—	`conf`	Utilisation de mécanismes inférentiels dans le processus d'explication automatique de la métaphore à une inconnue. CORIA Jérémie Roux, Hani Guenoune, Mathieu Lafourcade, Richard Moot
2024	—	`conf`	Explaining Metaphors in the French Language by Solving Analogies Using a Knowledge Graph. TSD (1) Jérémie Roux, Hani Guenoune, Mathieu Lafourcade, Richard Moot
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
2023	—	`conf`	DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français. CORIA-TALN (1) Maximos Skandalis, Richard Moot, Simon Robillard
2023	—	`conf`	SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. EACL (System Demonstrations) Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
2023	J	`jnl`	SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. CoRR Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
2022	—	`conf`	A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille
2022	J	`jnl`	Logical Foundations for Hybrid Type-Logical Grammars. J. Log. Lang. Inf. Richard Moot, Symon Jory Stevens-Guille
2022	J	`jnl`	Perspectives on neural proof nets. CoRR Richard Moot
2021	—	`book`	Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars. Richard Moot
2020	J	`jnl`	Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR Davide Catta, Richard Moot, Christian Retoré
2020	J	`jnl`	Logical foundations for hybrid type-logical grammars. CoRR Richard Moot, Symon Jory Stevens-Guille
2020	B	`conf`	Neural Proof Nets. CoNLL Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
2020	J	`jnl`	Neural Proof Nets. CoRR Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
2020	J	`jnl`	Partial Orders, Residuation, and First-Order Linear Logic. CoRR Richard Moot
2020	J	`jnl`	Proof-theoretic aspects of NL$λ$. CoRR Richard Moot
2020	B	`conf`	ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch. LREC Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
2019	J	`jnl`	Natural Language Semantics and Computability. J. Log. Lang. Inf. Richard Moot, Christian Retoré
2019	B	`conf`	Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. FG Richard Moot, Symon Jory Stevens-Guille
2019	J	`jnl`	ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch. CoRR Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
2018	J	`jnl`	Chart Parsing Multimodal Grammars. CoRR Richard Moot
2018	J	`jnl`	Combining logical and distributional methods in type-logical grammars. J. Lang. Model. Richard Moot
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é
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é
2016	J	`jnl`	Natural Language Semantics and Computability. CoRR Richard Moot, Christian Retoré
2016	B	`conf`	Proof Nets for the Displacement Calculus. FG Richard Moot
2016	J	`jnl`	Proof nets for the Displacement calculus. CoRR Richard Moot
2016	J	`jnl`	The Grail theorem prover: Type theory for syntax and semantics. CoRR Richard Moot
2015	J	`jnl`	A Type-logical Treebank for French. J. Lang. Model. Richard Moot
2015	J	`jnl`	Comparing and evaluating extended Lambek calculi. CoRR Richard Moot
2014	—	`conf`	Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. JSAI-isAI Workshops Bruno Mery, Richard Moot, Christian Retoré
2014	—	`conf`	Extended Lambek Calculi and First-Order Linear Logic. Categories and Types in Logic, Language, and Physics Richard Moot
2014	J	`jnl`	Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars. CoRR Richard Moot
2014	J	`jnl`	Plurals: individuals and sets in a richly typed semantics. CoRR Bruno Mery, Richard Moot, Christian Retoré
2013	J	`jnl`	Extended Lambek calculi and first-order linear logic CoRR Richard Moot
2013	—	`ch.`	Proof nets for the Lambek-Grishin calculus. Quantum Physics and Linguistics Michael Moortgat, Richard Moot
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`	Wide-Coverage Semantics for Spatio-Temporal Reasoning. Trait. Autom. des Langues Richard Moot
2011	—	`conf`	Categorial Grammars and Minimalist Grammars. Logic and Grammar Richard Moot
2011	J	`jnl`	Proof nets for the Lambek-Grishin calculus CoRR Michael Moortgat, Richard Moot
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é
2011	—	`conf`	Using Tree Transducers for Grammatical Inference. LACL Noémie-Fleur Sandillon-Rezer, Richard Moot
2010	—	`conf`	Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French. TALN (Articles courts) Richard Moot
2010	—	`conf`	Wide-Coverage French Syntax and Semantics using Grail. TALN (Demonstrations) Richard Moot
2008	J	`jnl`	Graph Algorithms for Improving Type-Logical Proof Search CoRR Richard Moot
2008	—	`conf`	Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars. TAG Richard Moot
2007	J	`jnl`	Proof nets for display logic CoRR Richard Moot
2005	—	`ed.`	Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings LACL Philippe Blache, Edward P. Stabler, Joan Busquets, Richard Moot
2003	J	`jnl`	Generalized Quantifiers in Declarative and Interrogative Sentences. Log. J. IGPL Raffaella Bernardi, Richard Moot
2002	J	`jnl`	Proof Nets for the Multimodal Lambek Calculus. Stud Logica Richard Moot, Quintijn Puite
2002	B	`conf`	Using the Spoken Dutch Corpus for type-logical grammar induction. LREC Michael Moortgat, Richard Moot
2001	J	`jnl`	Linguistic Applications of First Order Intuitionistic Linear Logic. J. Log. Lang. Inf. Richard Moot, Mario Piazza
2000	—	`conf`	CGN to Grail: Extracting a Type-logical Lexicon From the CGN Annotation. CLIN Michael Moortgat, Richard Moot