Abstract
Private International law (also called Conflict of laws) treats international affairs which involves legal systems of multiple countries. In the domain of private international law, choice of jurisdiction (the choice of country whose court can have a competence to treat the affairs) and choice of law (the choice of law on which the judgement of the affair is based) are main questions. In this paper, we give an implementation of both questions using extending PROLEG meta-interpreter. PROLEG is our legal knowledge representation language which consists of general rules and exceptions in one legal system. We extend PROLEG to handle different legal systems and reference of other legal systems within reasoning about international affairs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255–287 (2001). https://doi.org/10.1145/371316.371517
Baldoni, M., Giordano, L., Martelli, A.: A modal extension of logic programming: modularity, beliefs and hypothetical reasoning. J. Log. Comput. 8(5), 597–635 (1988)
Baldoni, M., Giordano, L., Satoh, K.: Renvoi in private international law: a formalization with modal context. In: Proceedings of JURIX 2019, pp. 157–162 (2019)
Bozzato, L., Eiter, T., Serafini, L.: Enhancing context knowledge repositories with justifiable exceptions. Artif. Intell. 257, 72–126 (2018)
Calegari, R., Contissa, G., Pisano, G., Sartor, G., Sartor, G.: Arg-tuProlog: a modular logic argumentation tool for PIL. In: Profeedings of JURIX 2020, pp. 265–268 (2020)
Dung, P.M., Sartor, G.: The modular logic of private international law. Artif. Intell. Law 19(2–3), 233–261 (2011). https://doi.org/10.1007/s10506-011-9112-5
Makinson, D., van der Torre, L.: What is input/output logic? In: Löwe, B., Malzkom, W., Räsch, T. (eds.) Foundations of the Formal Sciences II. Trends in Logic (Studia Logica Library), vol. 17, pp. 163–174. Springer, Heidelberg (2003). https://doi.org/10.1007/978-94-017-0395-6_12
Markovich, R.: On the formal structure of rules in conflict of laws. In: Proceedings of JURIX 2019, pp. 199–204 (2019)
Satoh, K., et al.: PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology. In: Onada, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS (LNAI), vol. 6797, pp. 153–164. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25655-4_14
Satoh, K., Baldoni, M., Giordano, L.: Reasoning about applicable law in private international law in logic programming. In: Proceedings of JURIX 2020, pp. 281–285 (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix
Appendix
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Satoh, K., Giordano, L., Baldoni, M. (2021). Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. In: Baroni, P., Benzmüller, C., Wáng, Y.N. (eds) Logic and Argumentation. CLAR 2021. Lecture Notes in Computer Science(), vol 13040. Springer, Cham. https://doi.org/10.1007/978-3-030-89391-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-89391-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-89390-3
Online ISBN: 978-3-030-89391-0
eBook Packages: Computer ScienceComputer Science (R0)