2020年12月1日
Reasoning About Applicable Law in Private International Law in Logic Programming
Proc. of JURIX2020, Frontiers in Artificial Intelligence and Applications
- ,
- ,
- 開始ページ
- 281
- 終了ページ
- 285
- 記述言語
- 掲載種別
- 論文集(書籍)内論文
- DOI
- 10.3233/faia200884
- 出版者・発行元
- IOS Press
We formalized renvoi in private international law in JURIX 2019 in terms of modal logic fragment. In this demonstration paper, we show an implementation of the formalism by translating modal formula into a logic program.
- ID情報
-
- DOI : 10.3233/faia200884
- ISSN : 0922-6389
- eISSN : 1879-8314