Luigia Carlucci Aiello Enrico Giunchiglia Luciano Serafini Logics For Artificial Intelligence. 7-13 2006 3 Intelligenza Artificiale 1-2 db/journals/ia/ia3.html#AielloGS06