Explaining conflicts of norms in criminal matters: an argumentation approach

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.