The Special Issue on the Italian Conference on Computational Logic CILC 2011, has been published as Vol 124, Number 4 / 2013 of Fundamenta Informaticae. Guest Editors Fioravanti Fabio, Pettorossi Alberto, and Rossi Gianfranco OFFICIAL LINK (Verified SEPT 16, 2015)