http://www.thereasoner.org/
This article is a conference report from the European Computing and Philosophy conference in Barcelona, 2--4 July 2009