Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012