Xx, Tutor, Mo, Enrico, Chiar, Ma, Palmirani, Mo, Rotolo, n.d.. DOTTORATO DI RICERCA IN INFORMATICA GIURIDICA E DIRITTO DELL'INFORMATICA INTERACTIONS BETWEEN NORMATIVE SYSTEMS AND SOFTWARE COGNITIVE AGENTS. A FORMALIZATION IN TEMPORAL MODAL DEFEASIBLE LOGIC.