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;
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY