2008. Workshop on Logic, Language, Information and Computation, 1-4 July. The Reasoner. 2, 9 (Sep. 2008).