it Lex Minus Dixit Quam Voluit, it Lex Magisit Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation (bibtex)
by Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre
Abstract:
This paper argues in favour of the necessity of dynamically restricting and expanding the applicability of norms regulating computer systems like mul- tiagent systems, in situations where the compliance to the norm does not achieve the purpose of the norm. We propose a logical framework which distinguishes between constitutive and regulative norms and captures the norm change power and at the same time the limitations of the judicial system in dynamically revis- ing the set of constitutive rules defining the concepts on which the applicability of norms is based. In particular, the framework is used to reconstruct some in- terpretive arguments described in legal theory such as those corresponding to the Roman maxims lex minus dixit quam voluit and lex magis dixit quam voluit. The logical framework is based on an extension of defeasible logic.
Reference:
it Lex Minus Dixit Quam Voluit, it Lex Magisit Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation (Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre), In AICOL Workshops, 2009.
Bibtex Entry:
@InProceedings{Boella2009t,
  Title                    = {{\it Lex Minus Dixit Quam Voluit}, {\it Lex Magis}{\it Dixit Quam Voluit}: A Formal Study on Legal Compliance and Interpretation},
  Author                   = {Guido Boella and Guido Governatori and Antonino Rotolo and Leendert van der Torre},
  Booktitle                = {AICOL Workshops},
  Year                     = {2009},
  Pages                    = {162-183},

  Abstract                 = {This paper argues in favour of the necessity of dynamically restricting and expanding the applicability of norms regulating computer systems like mul- tiagent systems, in situations where the compliance to the norm does not achieve the purpose of the norm. We propose a logical framework which distinguishes between constitutive and regulative norms and captures the norm change power and at the same time the limitations of the judicial system in dynamically revis- ing the set of constitutive rules defining the concepts on which the applicability of norms is based. In particular, the framework is used to reconstruct some in- terpretive arguments described in legal theory such as those corresponding to the Roman maxims lex minus dixit quam voluit and lex magis dixit quam voluit. The logical framework is based on an extension of defeasible logic.},
  Bdsk-url-1               = {http://dx.doi.org/10.1007/978-3-642-16524-5_11},
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/jurix/2009aicol},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-16524-5_11},
  Timestamp                = {2013.07.26},
  Url                      = {http://dx.doi.org/10.1007/978-3-642-16524-5_11}
}
Powered by bibtexbrowser