Italian Convention on Computational Logic, 6-7 June. The Reasoner, v. 6, n. 8, 1 Aug.2012.