Unravel Legal References in Defeasible Deontic Logic

Jun 22, 2021

10:00

1st panel - Full paper - 30 minutes

00:30 min

Governatori, Guido; Olivieri, Francesco

Abstract: Legal documents often contain references either to other documents or other parts (of the same document). The use of references is meant to reduce the complexity of the documents; however, they poses serious concerns for the formal (logical) representation of the norms stipulated in the document. We propose an approach to directly model the references in a logic language and to resolve them during the computation of the legal effects in force in a case. The approach is proved to be computationally feasible and to have an efficient implementation.

Copyright 2021 ICAIL. All rights reserved