Computing Private International Law
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Rahman Sattar, Matteo Cristani · Frontiers in artificial intelligence and applications · 2021
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.