This paper develops a new comprehensive computational framework for reasoning about private international law that encompasses the reasoning patterns modeled by previous works [3,8,9]. The framework is a multi-modal extension of [10] preserving some nice properties of the original system, including some efficient algorithms to compute the extensions of normative theories representing legal systems.
Computing Private International Law / Governatori, Guido; Olivieri, Francesco; Rotolo, Antonino; Sattar, Abdul; Cristani, Matteo. - STAMPA. - (2021), pp. 181-190. [10.3233/FAIA210334]
Computing Private International Law
Rotolo, Antonino;
2021
Abstract
This paper develops a new comprehensive computational framework for reasoning about private international law that encompasses the reasoning patterns modeled by previous works [3,8,9]. The framework is a multi-modal extension of [10] preserving some nice properties of the original system, including some efficient algorithms to compute the extensions of normative theories representing legal systems.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
