Modular logic argumentation in Arg-tuProlog

   page       BibTeX_logo.png   
Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor
20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), pages 91–103
Lecture Notes in Computer Science (AIxIA Series)
Springer International Publishing
July 2022

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).

reference talk
page_white_powerpoint Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
origin event
funding project
wrench CompuLaw — Computable Law (01/11/2019–31/10/2025)
works as
reference publication for talk
page_white_powerpoint Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)