@inproceedings{579e0b7565874de49dc0ac1777ff84eb,
title = "Reasoning about applicable law in private international law in logic programming",
abstract = "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.",
author = "Ken Satoh and Matteo Baldoni and Laura Giordano",
note = "Publisher Copyright: {\textcopyright} 2020 The Authors, Faculty of Law, Masaryk University and IOS Press.; 33rd International Conference on Legal Knowledge and Information Systems, JURIX 2020 ; Conference date: 09-12-2020 Through 11-12-2020",
year = "2020",
month = dec,
day = "1",
doi = "10.3233/FAIA200884",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "281--285",
editor = "Serena Villata and Jakub Harasta and Petr Kremen",
booktitle = "Legal Knowledge and Information Systems - JURIX 2020",
address = "Netherlands",
}