Explaining conflicts of norms in criminal matters: an argumentation approach

   page       attach   
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.

parole chiavelegal reasoning, explainability, logic programming, argumentation, Arg-tuProlog