2010. Logic and Knowledge, 16-19 June. The Reasoner. 4, 9 (Sep. 2010).