I'm currently at LaBRI as a CNRS researcher.
A tiny webpage for the MIAGE M2 course Expert Systems is under construction here and will fill up little by little with the progress of the course.
The Grail 3
theorem prover for type-logical grammars has its own webpage. See
some example
graphs. Grail 2, the previous generation
of the Grail theorem prover, is currently no longer supported.
Some of my corpus tools for type-logical grammars currently under development.
A very early
release of the Hyperion parser
for polynomial fragments of multimodal categorial grammars and the Lambek
Grishin calculus.
A selection of slides for some of
my recent talks.
The weather in Bordeaux.
The Internet Movie Database. If that's too
much information for you, try the abridged scripts.
The Lurker's Guide to
Babylon 5. My favourite
episode and my least favourite
episode.
Some music to listen to.
Some of my neighbours.
Richard.Moot@labri.fr Last modified: Wed Jan 11 15:43:32 CEST 2012