Special issue on the 9th Italian Convention on Computational Logic (CILC 2012)