Richard Moot

According to our database, Richard Moot authored at least 44 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles, TALN 2023 - Volume 1 : travaux de recherche originaux, 2023

SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention.

Konstantinos Kogkalidis, Michael Moortgat, Richard Moot

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics. EACL 2023, 2023

2022

Logical Foundations for Hybrid Type-Logical Grammars.

Richard Moot, Symon Jory Stevens-Guille

J. Log. Lang. Inf., 2022

Perspectives on neural proof nets.

Richard Moot

CoRR, 2022

A Proof System for Dialogical Anaphora Resolution.

Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille

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

2021

Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars.

Richard Moot

, 2021

2020

Proof-theoretic aspects of NL$λ$.

Richard Moot

CoRR, 2020

Logical Semantics, Dialogical Argumentation, and Textual Entailment.

Davide Catta, Richard Moot, Christian Retoré

CoRR, 2020

Partial Orders, Residuation, and First-Order Linear Logic.

Richard Moot

CoRR, 2020

ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch.

Konstantinos Kogkalidis, Michael Moortgat, Richard Moot

Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Neural Proof Nets.

Konstantinos Kogkalidis, Michael Moortgat, Richard Moot

Proceedings of the 24th Conference on Computational Natural Language Learning, 2020

2019

Natural Language Semantics and Computability.

Richard Moot, Christian Retoré

J. Log. Lang. Inf., 2019

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch.

Konstantinos Kogkalidis, Michael Moortgat, Richard Moot

CoRR, 2019

Proof-Theoretic Aspects of Hybrid Type-Logical Grammars.

Richard Moot, Symon Jory Stevens-Guille

Proceedings of the Formal Grammar - 24th International Conference, 2019

2018

Combining logical and distributional methods in type-logical grammars.

Richard Moot

J. Lang. Model., 2018

Chart Parsing Multimodal Grammars.

Richard Moot

CoRR, 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.

Bruno Mery, Richard Moot, Christian Retoré

Proceedings of the New Frontiers in Artificial Intelligence, 2018

2017

Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis.

Mathieu Lafourcade, Bruno Mery, Mehdi Mirzapour, Richard Moot, Christian Retoré

Proceedings of the New Frontiers in Artificial Intelligence, 2017

2016

The Grail theorem prover: Type theory for syntax and semantics.

Richard Moot

CoRR, 2016

Proof Nets for the Displacement Calculus.

Richard Moot

Proceedings of the Formal Grammar - 20th and 21st International Conferences, 2016

2015

A Type-logical Treebank for French.

Richard Moot

J. Lang. Model., 2015

Comparing and evaluating extended Lambek calculi.

Richard Moot

CoRR, 2015

2014

Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars.

Richard Moot

CoRR, 2014

Plurals: individuals and sets in a richly typed semantics.

Bruno Mery, Richard Moot, Christian Retoré

CoRR, 2014

Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types.

Bruno Mery, Richard Moot, Christian Retoré

Proceedings of the New Frontiers in Artificial Intelligence, 2014

Extended Lambek Calculi and First-Order Linear Logic.

Richard Moot

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2013

Proof nets for the Lambek-Grishin calculus.

Michael Moortgat, Richard Moot

Proceedings of the Quantum Physics and Linguistics, 2013

2012

The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics

Richard Moot, Christian Retoré

Lecture Notes in Computer Science 6850, Springer, ISBN: 978-3-642-31554-1, 2012

Wide-Coverage Semantics for Spatio-Temporal Reasoning.

Richard Moot

Trait. Autom. des Langues, 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].

Anaïs Lefeuvre, Richard Moot, Christian Retoré, Noémie-Fleur Sandillon-Rezer

Proceedings of the Joint Conference JEP-TALN-RECITAL 2012, 2012

2011

Proof nets for the Lambek-Grishin calculus

Michael Moortgat, Richard Moot

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).

Richard Moot, Laurent Prévot, Christian Retoré

Proceedings of the Actes de la 18e conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2011

Using Tree Transducers for Grammatical Inference.

Noémie-Fleur Sandillon-Rezer, Richard Moot

Proceedings of the Logical Aspects of Computational Linguistics, 2011

Categorial Grammars and Minimalist Grammars.

Richard Moot

Proceedings of the Logic and Grammar, 2011

2010

Wide-Coverage French Syntax and Semantics using Grail.

Richard Moot

Proceedings of the Actes de la 17e conférence sur le Traitement Automatique des Langues Naturelles. Démonstrations, 2010

Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French.

Richard Moot

Proceedings of the Actes de la 17e conférence sur le Traitement Automatique des Langues Naturelles. Articles courts, 2010

2008

Graph Algorithms for Improving Type-Logical Proof Search

Richard Moot

CoRR, 2008

Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars.

Richard Moot

Proceedings of the Ninth International Workshop on Tree Adjoining Grammar and Related Frameworks, 2008

2007

Proof nets for display logic

Richard Moot

CoRR, 2007

2003

Generalized Quantifiers in Declarative and Interrogative Sentences.

Raffaella Bernardi, Richard Moot

Log. J. IGPL, 2003

2002

Proof Nets for the Multimodal Lambek Calculus.

Richard Moot, Quintijn Puite

Stud Logica, 2002

Using the Spoken Dutch Corpus for type-logical grammar induction.

Michael Moortgat, Richard Moot

Proceedings of the Third International Conference on Language Resources and Evaluation, 2002

2001

Linguistic Applications of First Order Intuitionistic Linear Logic.

Richard Moot, Mario Piazza

J. Log. Lang. Inf., 2001

2000

CGN to Grail: Extracting a Type-logical Lexicon From the CGN Annotation.

Michael Moortgat, Richard Moot

Proceedings of the Computational Linguistics in the Netherlands 2000, 2000