Modular logic argumentation in Arg-tuProlog

Simple item page
dc.contributor.authorCALEGARI, Roberta
dc.contributor.authorCONTISSA, Giuseppe
dc.contributor.authorPISANO, Giuseppe
dc.contributor.authorSARTOR, Galileo
dc.contributor.authorSARTOR, Giovanni
dc.date.accessioned2025-02-19T14:27:08Z
dc.date.available2025-02-19T14:27:08Z
dc.date.issued2022
dc.descriptionPublished online: 19 July 2022en
dc.description.abstractA 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).en
dc.description.sponsorshipRoberta 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”.en
dc.identifier.citationStefania 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-103en
dc.identifier.doi10.1007/978-3-031-08421-8_7
dc.identifier.isbn9783031084201
dc.identifier.isbn9783031084218
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttps://hdl.handle.net/1814/78095
dc.language.isoenen
dc.orcid.putcode1814/78518:178438520
dc.orcid.putcode1814/80928:178438521
dc.orcid.uploadtrue*
dc.publisherSpringeren
dc.relationComputable Law
dc.titleModular logic argumentation in Arg-tuPrologen
dc.typeContribution to booken
dspace.entity.typePublication
person.identifier.orcid0000-0002-8511-1505
person.identifier.orcid0000-0003-2210-0398
person.identifier.other33721
person.identifier.other29040
relation.isAuthorOfPublicationa964abce-e10a-4d46-b2d8-8f54eefd8dd9
relation.isAuthorOfPublicatione0511c58-5007-4b10-8d82-e19ca2df8cc2
relation.isAuthorOfPublication.latestForDiscoverya964abce-e10a-4d46-b2d8-8f54eefd8dd9
relation.isProjectOfPublicationbba7f606-01cf-4278-ae65-0157c5db3bf5
relation.isProjectOfPublication.latestForDiscoverybba7f606-01cf-4278-ae65-0157c5db3bf5
Files
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
3.83 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
LAW Contributions to Books