Modular logic argumentation in Arg-tuProlog

pagemagnifierBibTeX_logo.pngmagnifierpage_white_acrobatmagnifier

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

Talks

Events

  • 20th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2021) — 01/12/2021–03/12/2021

Publication

— authors

Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

— status

published

— sort

paper in proceedings

— publication date

July 2022

— volume

20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021)

— series

Lecture Notes in Computer Science / AIxIA Series

— pages

91–103

identifiers

— DOI

10.1007/978-3-031-08421-8_7

— Scopus

2-s2.0-85135031367

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