Richard Moot
Richard Moot
Research Scientist, CNRS, LIRMM, University of Montpellier
Verified email at lirmm.fr
Title
Cited by
Cited by
Year
The logic of categorial grammars: a deductive account of natural language syntax and semantics
R Moot, C Retoré
Springer, 2012
1412012
Proof nets for lingusitic analysis
RCA Moot
1032002
Proof nets for the multimodal Lambek calculus
R Moot, Q Puite
Studia Logica 71 (3), 415-442, 2002
502002
Wide-coverage French syntax and semantics using Grail
R Moot
TALN 2010, 2010
392010
Linguistic applications of first order intuitionistic linear logic
R Moot, M Piazza
Journal of Logic, Language and Information 10 (2), 211-232, 2001
362001
Automated extraction of type-logical supertags from the spoken dutch corpus
R Moot
Complexity of Lexical Descriptions and its Relevance to Natural Language …, 2010
29*2010
Semi-automated extraction of a wide-coverage type-logical grammar for French
R Moot
TALN 2010, 2010
282010
Proof nets for display logic
R Moot
arXiv preprint arXiv:0711.2444, 2007
252007
Grail: An automated proof assistant for categorial grammar logics
R Moot, CG Logics
251998
Generalized quantifiers in declarative and interrogative sentences
R Bernardi, R Moot
Logic Journal of IGPL 11 (4), 419-434, 2003
232003
A type-logical treebank for french
R Moot
Journal of Language Modelling 3 (1), 229–264-229–264, 2015
202015
Proof nets for the Lambek-Grishin calculus
M Moortgat, R Moot
arXiv preprint arXiv:1112.6384, 2011
202011
A discursive analysis of itineraries in an historical and regional corpus of travels
R Moot, L Prévot, C Retoré
Constraints in discourse, http://passage. inria. fr/cid2011/doku. php, 2011
202011
The Grail theorem prover: Type theory for syntax and semantics
R Moot
Modern Perspectives in Type-Theoretical Semantics, 247-277, 2017
172017
Hybrid type-logical grammars, first-order linear logic and the descriptive inadequacy of lambda grammars
R Moot
arXiv preprint arXiv:1405.6678, 2014
152014
Un calcul de termes typés pour la pragmatique lexicale: chemins et voyageurs fictifs dans un corpus de récits de voyages
R Moot, L Prévot, C Retoré
152011
Lambek grammars, tree adjoining grammars and hyperedge replacement grammars
R Moot
Proceedings of the Ninth International Workshop on Tree Adjoining Grammar …, 2008
152008
CGN to Grail: Extracting a type-logical lexicon from the CGN annotation
M Moortgat, R Moot
Computational Linguistics in the Netherlands 2000, 126-143, 2001
152001
Extended Lambek calculi and first-order linear logic
R Moot
Categories and Types in Logic, Language, and Physics, 297-330, 2014
142014
Natural language semantics and computability
R Moot, C Retoré
Journal of Logic, Language and Information 28 (2), 287-307, 2019
132019
The system can't perform the operation now. Try again later.
Articles 1–20