Richard Moot's Projects
Prolog files implementing Verkuyl's Binary Tense
Deep Learning version of the POS-tagger/supertagger for GrailLight
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
Grail 2 theorem prover in SICStus Prolog with TclTk user interface
Light-weight chart parser for multimodal type-logical grammars
LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
French POS- and supertag models
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.