Explaining conflicts of norms in criminal matters: an argumentation approach

Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
AI Approaches to the Complexity of Legal Systems
AICOL 2021

The paper discusses how explainability can be provided through logic programming and argumentation. In particular, the CrossJustice project is taken as a testbed reifying its case study in a ready-to-use technology—Arg-tuProlog, which seamlessly integrates logic programming and argumentation. Examples are developed and discussed showing the effectiveness of such an approach.

keywords   legal reasoning; explainability; logic programming; argumentation; Arg-tuProlog;
works as
reference publication for talk
page_white_powerpoint Explaining conflicts of norms in criminal matters: an argumentation approach (AICOL 2021, 08/12/2021) — Marco BIlli (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)