![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Richard Moot
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c21]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: 12173-12186 - 2023
- [c20]Konstantinos Kogkalidis, Michael Moortgat, Richard Moot:
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. EACL (System Demonstrations) 2023: 128-135 - [c19]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: 285-297 - [i19]Konstantinos Kogkalidis, Michael Moortgat, Richard Moot:
SPINDLE: Spinning Raw Text into Lambda Terms with Graph Attention. CoRR abs/2302.12050 (2023) - 2022
- [j8]Richard Moot
, Symon Jory Stevens-Guille:
Logical Foundations for Hybrid Type-Logical Grammars. J. Log. Lang. Inf. 31(1): 35-76 (2022) - [c18]Davide Catta, Richard Moot, Christian Retoré, Symon Jory Stevens-Guille:
A Proof System for Dialogical Anaphora Resolution. AI³@AI*IA 2022 - [i18]Richard Moot:
Perspectives on neural proof nets. CoRR abs/2211.04141 (2022) - 2021
- [b2]Richard Moot:
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars. University of Montpellier, France, 2021 - 2020
- [c17]Konstantinos Kogkalidis, Michael Moortgat, Richard Moot:
Neural Proof Nets. CoNLL 2020: 26-40 - [c16]Konstantinos Kogkalidis, Michael Moortgat, Richard Moot:
ÆTHEL: Automatically Extracted Typelogical Derivations for Dutch. LREC 2020: 5257-5266 - [i17]Richard Moot
:
Partial Orders, Residuation, and First-Order Linear Logic. CoRR abs/2008.06351 (2020) - [i16]Davide Catta, Richard Moot, Christian Retoré:
Logical Semantics, Dialogical Argumentation, and Textual Entailment. CoRR abs/2008.07138 (2020) - [i15]Richard Moot, Symon Jory Stevens-Guille:
Logical foundations for hybrid type-logical grammars. CoRR abs/2009.10387 (2020) - [i14]Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
:
Neural Proof Nets. CoRR abs/2009.12702 (2020) - [i13]Richard Moot
:
Proof-theoretic aspects of NL$λ$. CoRR abs/2010.12223 (2020)
2010 – 2019
- 2019
- [j7]Richard Moot
, Christian Retoré:
Natural Language Semantics and Computability. J. Log. Lang. Inf. 28(2): 287-307 (2019) - [c15]Richard Moot
, Symon Jory Stevens-Guille:
Proof-Theoretic Aspects of Hybrid Type-Logical Grammars. FG 2019: 84-100 - [i12]Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
:
ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch. CoRR abs/1912.12635 (2019) - 2018
- [j6]Richard Moot
:
Combining logical and distributional methods in type-logical grammars. J. Lang. Model. 6(2): 287-317 (2018) - [c14]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: 298-312 - [i11]Richard Moot:
Chart Parsing Multimodal Grammars. CoRR abs/1804.02286 (2018) - 2017
- [c13]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: 214-230 - 2016
- [c12]Richard Moot:
Proof Nets for the Displacement Calculus. FG 2016: 273-289 - [i10]Richard Moot
:
The Grail theorem prover: Type theory for syntax and semantics. CoRR abs/1602.00812 (2016) - [i9]Richard Moot
, Christian Retoré:
Natural Language Semantics and Computability. CoRR abs/1605.04122 (2016) - [i8]Richard Moot:
Proof nets for the Displacement calculus. CoRR abs/1606.01720 (2016) - 2015
- [j5]Richard Moot
:
A Type-logical Treebank for French. J. Lang. Model. 3(1): 229-264 (2015) - [i7]Richard Moot:
Comparing and evaluating extended Lambek calculi. CoRR abs/1506.05561 (2015) - 2014
- [c11]Richard Moot:
Extended Lambek Calculi and First-Order Linear Logic. Categories and Types in Logic, Language, and Physics 2014: 297-330 - [c10]Bruno Mery, Richard Moot, Christian Retoré:
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types. JSAI-isAI Workshops 2014: 144-159 - [i6]Bruno Mery, Richard Moot, Christian Retoré:
Plurals: individuals and sets in a richly typed semantics. CoRR abs/1401.0660 (2014) - [i5]Richard Moot:
Hybrid Type-Logical Grammars, First-Order Linear Logic and the Descriptive Inadequacy of Lambda Grammars. CoRR abs/1405.6678 (2014) - 2013
- [p1]Michael Moortgat, Richard Moot:
Proof nets for the Lambek-Grishin calculus. Quantum Physics and Linguistics 2013: 283-320 - [i4]Richard Moot:
Extended Lambek calculi and first-order linear logic. CoRR abs/1305.6238 (2013) - 2012
- [b1]Richard Moot, Christian Retoré
:
The Logic of Categorial Grammars - A Deductive Account of Natural Language Syntax and Semantics. Lecture Notes in Computer Science 6850, Springer 2012, ISBN 978-3-642-31554-1 - [j4]Richard Moot:
Wide-Coverage Semantics for Spatio-Temporal Reasoning. Trait. Autom. des Langues 53(2): 115-142 (2012) - [c9]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: 43-56 - 2011
- [c8]Richard Moot:
Categorial Grammars and Minimalist Grammars. Logic and Grammar 2011: 41-60 - [c7]Noémie-Fleur Sandillon-Rezer, Richard Moot:
Using Tree Transducers for Grammatical Inference. LACL 2011: 235-250 - [c6]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: 158-163 - [i3]Michael Moortgat, Richard Moot:
Proof nets for the Lambek-Grishin calculus. CoRR abs/1112.6384 (2011) - 2010
- [c5]Richard Moot:
Wide-Coverage French Syntax and Semantics using Grail. TALN (Demonstrations) 2010: 44-47 - [c4]Richard Moot:
Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French. TALN (Articles courts) 2010: 189-194
2000 – 2009
- 2008
- [c3]Richard Moot:
Lambek Grammars, Tree Adjoining Grammars and Hyperedge Replacement Grammars. TAG 2008: 65-72 - [i2]Richard Moot:
Graph Algorithms for Improving Type-Logical Proof Search. CoRR abs/0805.2303 (2008) - 2007
- [i1]Richard Moot:
Proof nets for display logic. CoRR abs/0711.2444 (2007) - 2005
- [e1]Philippe Blache, Edward P. Stabler
, Joan Busquets, Richard Moot:
Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings. Lecture Notes in Computer Science 3492, Springer 2005, ISBN 3-540-25783-7 [contents] - 2003
- [j3]Raffaella Bernardi, Richard Moot:
Generalized Quantifiers in Declarative and Interrogative Sentences. Log. J. IGPL 11(4): 419-434 (2003) - 2002
- [j2]Richard Moot, Quintijn Puite:
Proof Nets for the Multimodal Lambek Calculus. Stud Logica 71(3): 415-442 (2002) - [c2]Michael Moortgat, Richard Moot:
Using the Spoken Dutch Corpus for type-logical grammar induction. LREC 2002 - 2001
- [j1]Richard Moot, Mario Piazza:
Linguistic Applications of First Order Intuitionistic Linear Logic. J. Log. Lang. Inf. 10(2): 211-232 (2001) - 2000
- [c1]Michael Moortgat, Richard Moot:
CGN to Grail: Extracting a Type-logical Lexicon From the CGN Annotation. CLIN 2000: 126-143
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-24 19:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint