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), pp. 91–103
Lecture Notes in Computer Science (AIxIA Series)
Springer International Publishing
luglio 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).

presentazione di riferimento
page_white_powerpointModular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
evento origine
progetto finanziatore
wrenchCompuLaw — Computable Law (01/11/2019–31/10/2025)
funge da
pubblicazione di riferimento per presentazione
page_white_powerpointModular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)