The Special Issue on the Italian Conference on Computational Logic CILC 2009, has been published as Vol 105, Number 1-2 / 2010 of Fundamenta Informaticae. (Guest editors: Gavanelli Marco, Riguzzi Fabrizio, and Pettorossi, Alberto) OFFICIAL LINK (verified SEPT 16 2015)