Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015