Richard Moot
RichardMoot
I’m a CNRS research scientist in computer science, working at LIRMM (Montpellier) as a member of the Texte team in computational linguistics.
Languages
Repos
13
Stars
46
Forks
7
Top Language
Prolog
Loading contributions...
Top Repositories
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Grail is a theorem prover for multimodal type-logical grammars
Light-weight chart parser for multimodal type-logical grammars
These are some Prolog files containing relations automatically extracted from the JeuxDesMots network.
Deep Learning version of the POS-tagger/supertagger for GrailLight
Repositories
13Light-weight chart parser for multimodal type-logical grammars
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
These are some Prolog files containing relations automatically extracted from the JeuxDesMots network.
ELMo/LSTM part-of-speech supertagger
Grail is a theorem prover for multimodal type-logical grammars
Grail0 is a bare-bones proof net theorem prover for multimodal categorial grammars producing natural deduction output
Deep Learning version of the POS-tagger/supertagger for GrailLight
Richard Moot's personal homepage
Slides for some of my presentations
This repository contains the part of the TLGbank which can be freely distributed, excluding all French Treebank files and other files requiring a license.
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
French POS- and supertag models
Prolog files implementing Verkuyl's Binary Tense