Modular logic argumentation in Arg-tuProlog
Loading...
License
Cadmus Permanent Link
Full-text via DOI
ISSN
0302-9743; 1611-3349
Issue Date
Type of Publication
Keyword(s)
LC Subject Heading
Other Topic(s)
EUI Research Cluster(s)
Initial version
Published version
Succeeding version
Preceding version
Published version part
Earlier different version
Initial format
Citation
Stefania BANDINI, Francesca GASPARINI, Viviana MASCARDI, Matteo PALMONARI and Giuseppe VIZZARI (eds), AIxIA 2021 : advances in Artificial Intelligence, Cham : Springer, 2022, Lecture notes in computer science ; 13196, pp. 91-103
Cite
CALEGARI, Roberta, CONTISSA, Giuseppe, PISANO, Giuseppe, SARTOR, Galileo, SARTOR, Giovanni, Modular logic argumentation in Arg-tuProlog, in Stefania BANDINI, Francesca GASPARINI, Viviana MASCARDI, Matteo PALMONARI and Giuseppe VIZZARI (eds), AIxIA 2021 : advances in Artificial Intelligence, Cham : Springer, 2022, Lecture notes in computer science ; 13196, pp. 91-103 - https://hdl.handle.net/1814/78095
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).
Table of Contents
Additional Information
Published online: 19 July 2022
External Links
Publisher
Version
Research Projects
European Commission, 833647
Sponsorship and Funder Information
Roberta Calegari, Giuseppe Pisano and Giovanni Sartor have been supported by the H2020 ERC Project “CompuLaw” (G.A. 833647). Giuseppe Contissa and Galileo Sartor have been supported by the European Union’s Justice programme under Grant Agreement No. 800839 for the project “InterLex: Advisory and Training System for Internet-related private International Law”.