Explicit interpretation of the Dutch Aliens Act : specifications for Decision Support Systems and Administrative Practice

conference paper
This is a report of the explicit interpretation of the Dutch Aliens Act using the Calculemus method and the FLINT language. The method has been used before to make normative interpretations of regulations that form the basis for specific services to be delivered by governmental agencies and of legal cases. In this paper, the authors make an interpretation of an entire act, the Aliens Act. We give an overview of methodical choices that enable the analyses of extensive sources of norms, and report on the results of the analysis. Copyright © 2019 for this paper by its authors.
TNO Identifier
869846
ISSN
16130073
Publisher
CEUR-WS
Source title
CEUR Workshop Proceedings, 1st Workshop on Artificial Intelligence and the Administrative State, AIAS 2019, 17-Jun-19
Editor(s)
Branting, L.K.
Pages
27-37
Files
To receive the publication files, please send an e-mail request to TNO Repository.