Richard Moot

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 25

Top Topics

Proof Theoretic

Automatically Extracted

Anaphora Resolution

Top Venues

JSAI-isAI Workshops

J. Lang. Model.

J. Log. Lang. Inf.

Publications

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)
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. EACL (System Demonstrations) (2023)
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. CoRR (2023)
Maximos Skandalis, Richard Moot, Simon Robillard
DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français. CORIA-TALN (1) (2023)
Richard Moot, Symon Jory Stevens-Guille
Logical Foundations for Hybrid Type-Logical Grammars. J. Log. Lang. Inf. 31 (1) (2022)
Richard Moot
Perspectives on neural proof nets. CoRR (2022)
Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille
A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA (2022)
Richard Moot
Proof-theoretic aspects of NL$λ$. CoRR (2020)
Richard Moot
Partial Orders, Residuation, and First-Order Linear Logic. CoRR (2020)
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch. LREC (2020)
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
Neural Proof Nets. CoRR (2020)
Davide Catta, Richard Moot, Christian Retoré
Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR (2020)
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
Neural Proof Nets. CoNLL (2020)
Richard Moot, Symon Jory Stevens-Guille
Logical foundations for hybrid type-logical grammars. CoRR (2020)
Richard Moot, Christian Retoré
Natural Language Semantics and Computability. J. Log. Lang. Inf. 28 (2) (2019)
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch. CoRR (2019)
Richard Moot, Symon Jory Stevens-Guille
Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. FG (2019)
Richard Moot
Combining logical and distributional methods in type-logical grammars. J. Lang. Model. 6 (2) (2018)
Bruno Mery, Richard Moot, Christian Retoré
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 (2018)
Richard Moot
Chart Parsing Multimodal Grammars. CoRR (2018)
Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré
Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis. JSAI-isAI Workshops (2017)
Richard Moot
The Grail theorem prover: Type theory for syntax and semantics. CoRR (2016)
Richard Moot
Proof Nets for the Displacement Calculus. FG (2016)
Richard Moot, Christian Retoré
Natural Language Semantics and Computability. CoRR (2016)
Richard Moot
Proof nets for the Displacement calculus. CoRR (2016)
Richard Moot
Comparing and evaluating extended Lambek calculi. CoRR (2015)
Richard Moot
A Type-logical Treebank for French. J. Lang. Model. 3 (1) (2015)
Bruno Mery, Richard Moot, Christian Retoré
Plurals: individuals and sets in a richly typed semantics. CoRR (2014)
Richard Moot
Extended Lambek Calculi and First-Order Linear Logic. Categories and Types in Logic, Language, and Physics (2014)
Richard Moot
Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars. CoRR (2014)
Bruno Mery, Richard Moot, Christian Retoré
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. JSAI-isAI Workshops (2014)
Richard Moot
Extended Lambek calculi and first-order linear logic CoRR (2013)
Anaïs Lefeuvre, Richard Moot, Christian Retoré, Noémie-Fleur Sandillon-Rezer
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 (2012)
Richard Moot
Wide-Coverage Semantics for Spatio-Temporal Reasoning. Trait. Autom. des Langues 53 (2) (2012)
Noémie-Fleur Sandillon-Rezer, Richard Moot
Using Tree Transducers for Grammatical Inference. LACL (2011)
Michael Moortgat, Richard Moot
Proof nets for the Lambek-Grishin calculus CoRR (2011)
Richard Moot
Categorial Grammars and Minimalist Grammars. Logic and Grammar (2011)
Richard Moot, Laurent Prévot, Christian Retoré
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) (2011)
Richard Moot
Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French. TALN (Articles courts) (2010)
Richard Moot
Wide-Coverage French Syntax and Semantics using Grail. TALN (Demonstrations) (2010)
Richard Moot
Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars. TAG (2008)
Richard Moot
Graph Algorithms for Improving Type-Logical Proof Search CoRR (2008)
Richard Moot
Proof nets for display logic CoRR (2007)
Raffaella Bernardi, Richard Moot
Generalized Quantifiers in Declarative and Interrogative Sentences. Log. J. IGPL 11 (4) (2003)
Michael Moortgat, Richard Moot
Using the Spoken Dutch Corpus for type-logical grammar induction. LREC (2002)
Richard Moot, Quintijn Puite
Proof Nets for the Multimodal Lambek Calculus. Stud Logica 71 (3) (2002)
Richard Moot, Mario Piazza
Linguistic Applications of First Order Intuitionistic Linear Logic. J. Log. Lang. Inf. 10 (2) (2001)
Michael Moortgat, Richard Moot
CGN to Grail: Extracting a Type-logical Lexicon From the CGN Annotation. CLIN (2000)