richardmoot.github.io

Richard Moot's personal homepage

View on GitHub

Richard Moot’s personal homepage

I’m a CNRS research scientist in computer science, working at LIRMM (Montpellier) as a member of the Texte team in computational linguistics.

Research interests

Current research

The Grail theorem provers

A succinct summary of the different theorem proves I have developed can be found in the table below (see Moot 2017 and the individual linked prover pages for further details).

Prover Logic Code ND SR Interactive
Grail0 MMCG SWI Prolog yes yes no
Grail2 MMCG SICStus Prolog/Tcl yes yes yes
Grail3 MMCG SWI Prolog/XPCE no yes yes
Grail Light MMCG SWI Prolog/Tcl/Python yes no no
Linear One MLL1, D, HTLG SWI Prolog yes NA no

Wide-coverage parsing

Grail Light is a specialised, wide-coverage chart parser. It is designed to work together with a supertagger - essentially a probabilistic assignment of formulas to words - such as DeepGrail.

GrailLight also includes a semantic lexicon assigning a logical semantics in the style of Discourse Representation Theory to parsed sentences, making it a tool for wide-coverage semantics for French.

Slides and presentations

Slides for some selected presentations, some old, some new.

Selected publications

full publication list (contact me for author’s copies of pdf files)