Reasoning About Applicable Law in Private International Law in Logic Programming&lt;span ref-type=&quot;fn&quot; rid=&quot;FAIA200884_fn001&quot; style=&quot;display:none&quot;&gt;
  &lt;sup&gt;1&lt;/sup&gt;
&lt;/span&gt;

Satoh, Ken; Baldoni, Matteo; Giordano, Laura

doi:10.3233/FAIA200884

IOS Press Ebooks

Guest Access

As a guest user you are not logged in or recognized by your IP address. You have access to the Front Matter, Abstracts, Author Index, Subject Index and the full text of Open Access publications.

loading subjects...

Reasoning About Applicable Law in Private International Law in Logic Programming

Authors

Ken Satoh, Matteo Baldoni, Laura Giordano

Pages

281 - 285

DOI

10.3233/FAIA200884

Category

Research Article

Series

Frontiers in Artificial Intelligence and Applications

Ebook

Volume 334: Legal Knowledge and Information Systems

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.

This website uses cookies

This website uses cookies