T.M. van Engers
R. van Doesburg
- First steps towards a formal analysis of law
- eKNOW 2015: 7th International Conference on Information, Process, and Knowledge Management
- Book/source title
- eKNOW 2015: The Seventh International Conference on Information, Process, and Knowledge Management: February 22-27, 2015, Lisbon, Portugal
- Pages (from-to)
- Wilmington, DE: IARIA
- Document type
- Conference contribution
- Faculty of Law (FdR)
- Leibniz Center for Law (FdR)
In this paper, the authors present some work recently done within the Dutch Immigration and Naturalization Service (IND). Being responsible for the implementation and execution of complex and ever changing regulations, for which the use of IT systems is a necessity, this organization has become aware of their dependence on trustworthy methods to assure the correct implementation of law into their operations and services. While many attempts to automate law, even in the domain of migration law, have been made before, hardly any attention has been paid to the ‘translation process’ from legal rules expressed in natural language to specifications in computer executable form. In this paper, we will explain the method we have developed and illustrate its application with some concrete examples. The work is part of a larger innovation programme initiative that we collaboratively conduct within a virtual collaboration, called the ‘Blue Chamber’.
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.