AiML 2012 is co-located with the 8th Scandinavian Logic Symposium to be held on the 20-21 August at Roskilde University.