Jan van Eijck
CWI, Amsterdam - Computational linguist, whose site includes details of Dynamo, an implementation of dynamic logic programming.

No queries for www.cwi.nl/~jve