TY - GEN
T1 - Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter
AU - Satoh, Ken
AU - Giordano, Laura
AU - Baldoni, Matteo
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85118173906&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-89391-0_4
DO - 10.1007/978-3-030-89391-0_4
M3 - Conference contribution
AN - SCOPUS:85118173906
SN - 9783030893903
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 60
EP - 75
BT - Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings
A2 - Baroni, Pietro
A2 - Benzmüller, Christoph
A2 - Wáng, Yì N.
PB - Springer Science and Business Media Deutschland GmbH
T2 - 4th International Conference on Logic and Argumentation, CLAR 2021
Y2 - 20 October 2021 through 22 October 2021
ER -