Constraint answer set programming as a tool to improve legislative drafting
Abstract
"Rules as Code" in this paper is used to refer to a proposed methodology of legislative and regulatory drafting.1 That legislation can be represented in declarative code for automation has long been recognized [6], as has the opportunity for improving the quality of legal drafting with the techniques of formal representation [1].
This paper has been withdrawn.