Special Issue on the Italian Conference on Computational Logic: CILC 2011