Skip to main content


A formal study on legal compliance and interpretation


Guido Boella, Guido Governatori, Antonino Rotolo and Leendert van der Torre


University of Bologna

University of Luxembourg


If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing norms to be adapted to unforeseen situations. We model this mechanism for norms regulating computer systems by representing the purpose of norms by social goals and by revising the constitutive rules defining the applicability of norms. We illustrate the interpretation mechanism by examples.

BibTeX Entry

    publisher        = {CEUR Workshop Proceedings},
    author           = {Boella, Guido and Governatori, Guido and Rotolo, Antonino and van der Torre, Leendert},
    month            = apr,
    editor           = {{Meyer, Tommie and Ternovska, Eugenia}},
    year             = {2010},
    keywords         = {legal interpretation, extensive interpretation, restrictive interpretation, belief revision,
                        defeasible logic},
    title            = {A formal study on legal compliance and interpretation},
    booktitle        = {13 International Workshop on Non-Monotonic Reasoning},
    address          = {Toronto}


Served by Apache on Linux on seL4.