CGN to Grail: Extracting a Type-logical Lexicon From the CGN Annotation. - Michael Moortgat; Richard Moot (CLIN, 2000)

Linguistic Applications of First Order Intuitionistic Linear Logic. - Richard Moot; Mario Piazza (J. Log. Lang. Inf., 2001)

Using the Spoken Dutch Corpus for type-logical grammar induction. - Michael Moortgat; Richard Moot (LREC, 2002)

Proof Nets for the Multimodal Lambek Calculus. - Richard Moot; Quintijn Puite (Stud Logica, 2002)

Generalized Quantifiers in Declarative and Interrogative Sentences. - Raffaella Bernardi; Richard Moot (Log. J. IGPL, 2003)

Proof nets for display logic - Richard Moot (CoRR, 2007)

Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars. - Richard Moot (TAG, 2008)

Graph Algorithms for Improving Type-Logical Proof Search - Richard Moot (CoRR, 2008)

Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French. - Richard Moot (TALN (Articles courts), 2010)

Wide-Coverage French Syntax and Semantics using Grail. - Richard Moot (TALN (Demonstrations), 2010)

Categorial Grammars and Minimalist Grammars. - Richard Moot (Logic and Grammar, 2011)

Using Tree Transducers for Grammatical Inference. - Noémie-Fleur Sandillon-Rezer; Richard Moot (LACL, 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). - Richard Moot; Laurent Prévot 001; Christian Retoré (TALN (Articles courts), 2011)

Proof nets for the Lambek-Grishin calculus - Michael Moortgat; Richard Moot (CoRR, 2011)

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]. - Anaïs Lefeuvre; Richard Moot; Christian Retoré; Noémie-Fleur Sandillon-Rezer (JEP-TALN-RECITAL, 2012)

Wide-Coverage Semantics for Spatio-Temporal Reasoning. - Richard Moot (Trait. Autom. des Langues, 2012)

The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics - Richard Moot; Christian Retoré (Springer, 2012)

Proof nets for the Lambek-Grishin calculus. - Michael Moortgat; Richard Moot (Quantum Physics and Linguistics, 2013)

Extended Lambek Calculi and First-Order Linear Logic. - Richard Moot (Categories and Types in Logic, Language, and Physics, 2014)

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. - Bruno Mery; Richard Moot; Christian Retoré (JSAI-isAI Workshops, 2014)

Plurals: individuals and sets in a richly typed semantics. - Bruno Mery; Richard Moot; Christian Retoré (CoRR, 2014)

Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars. - Richard Moot (CoRR, 2014)

Comparing and evaluating extended Lambek calculi. - Richard Moot (CoRR, 2015)

A Type-logical Treebank for French. - Richard Moot (J. Lang. Model., 2015)

Proof Nets for the Displacement Calculus. - Richard Moot (FG, 2016)

The Grail theorem prover: Type theory for syntax and semantics. - Richard Moot (CoRR, 2016)

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis. - Mathieu Lafourcade; Bruno Mery; Mehdi Mirzapour; Richard Moot; Christian Retoré (JSAI-isAI Workshops, 2017)

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. - Bruno Mery; Richard Moot; Christian Retoré (JSAI-isAI Workshops, 2018)

Chart Parsing Multimodal Grammars. - Richard Moot (CoRR, 2018)

Combining logical and distributional methods in type-logical grammars. - Richard Moot (J. Lang. Model., 2018)

Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. - Richard Moot; Symon Jory Stevens-Guille (FG, 2019)

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch. - Konstantinos Kogkalidis; Michael Moortgat; Richard Moot (CoRR, 2019)

Natural Language Semantics and Computability. - Richard Moot; Christian Retoré (J. Log. Lang. Inf., 2019)

Neural Proof Nets. - Konstantinos Kogkalidis; Michael Moortgat; Richard Moot (CoNLL, 2020)

ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch. - Konstantinos Kogkalidis; Michael Moortgat; Richard Moot (LREC, 2020)

Partial Orders, Residuation, and First-Order Linear Logic. - Richard Moot (CoRR, 2020)

Logical Semantics, Dialogical Argumentation, and Textual Entailment. - Davide Catta; Richard Moot; Christian Retoré (CoRR, 2020)

Proof-theoretic aspects of NL$λ$. - Richard Moot (CoRR, 2020)

Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars. - Richard Moot (2021)

A Proof System for Dialogical Anaphora Resolution. - Davide Catta; Richard Moot; Christian Retoré; Symon Jory Stevens-Guille (AI³@AI*IA, 2022)

Perspectives on neural proof nets. - Richard Moot (CoRR, 2022)

Logical Foundations for Hybrid Type-Logical Grammars. - Richard Moot; Symon Jory Stevens-Guille (J. Log. Lang. Inf., 2022)

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. - Konstantinos Kogkalidis; Michael Moortgat; Richard Moot (EACL (System Demonstrations), 2023)

DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français. - Maximos Skandalis; Richard Moot; Simon Robillard (CORIA-TALN (1), 2023)

New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French. - Maximos Skandalis; Richard Moot; Christian Retoré; Simon Robillard (LREC/COLING, 2024)

Explaining Metaphors in the French Language by Solving Analogies Using a Knowledge Graph. - Jérémie Roux; Hani Guenoune; Mathieu Lafourcade; Richard Moot (TSD (1), 2024)