Modular logic argumentation in Arg-tuProlog

   page       attach   

A modular extension of Arg-tuProlog, a light-weight argumentation tool, is here presented and discussed, highlighting how it enables reasoning with rules and interpretations of multiple legal systems. Its effectiveness is demonstrated with examples from different national private international law (PIL) laws, running in Arg-tuProlog. PIL addresses overlaps and conflicts between legal systems by distributing cases between the authorities of such systems (jurisdiction) and establishing what rules these authorities have to apply to each case (choice of law).

hosting event
reference publication
page_white_acrobatModular logic argumentation in Arg-tuProlog (paper in proceedings, 2022) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
funding project
wrenchCompuLaw — Computable Law (01/11/2019–31/10/2025)
works as
reference talk for
page_white_acrobatModular logic argumentation in Arg-tuProlog (paper in proceedings, 2022) — Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY