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).
Calegari R., Contissa G., Pisano G., Sartor G., Sartor G. (2022). Modular Logic Argumentation in Arg-tuProlog. CHAM : SPRINGER [10.1007/978-3-031-08421-8_7].
Modular Logic Argumentation in Arg-tuProlog
Calegari R.
;Contissa G.;Pisano G.;Sartor G.;Sartor G.
2022
Abstract
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).| File | Dimensione | Formato | |
|---|---|---|---|
|
Modular Logic Argumentation in Arg-tuProlog.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per accesso libero gratuito
Dimensione
1.64 MB
Formato
Adobe PDF
|
1.64 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
