{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:57:33Z","timestamp":1742399853326},"reference-count":0,"publisher":"IOS Press","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,1]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/faia200884","type":"book-chapter","created":{"date-parts":[[2020,12,3]],"date-time":"2020-12-03T11:55:16Z","timestamp":1606996516000},"source":"Crossref","is-referenced-by-count":2,"title":["Reasoning About Applicable Law in Private International Law in Logic Programming1"],"prefix":"10.3233","author":[{"given":"Ken","family":"Satoh","sequence":"first","affiliation":[{"name":"National Institute of Informatics, Japan"}]},{"given":"Matteo","family":"Baldoni","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Italy"}]},{"given":"Laura","family":"Giordano","sequence":"additional","affiliation":[{"name":"Universit\u00e0 del Piemonte Orientale, Italy"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Legal Knowledge and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA200884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,3]],"date-time":"2020-12-03T11:55:16Z","timestamp":1606996516000},"score":1,"resource":{"primary":{"URL":"http:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA200884"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,1]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia200884","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,12,1]]}}}