Reference : Towards an Executable Methodology for the Formalization of Legal Texts
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Law, criminology & political science : Multidisciplinary, general & others Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/42688
Towards an Executable Methodology for the Formalization of Legal Texts
English
Libal, Tomer[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Steen, Alexander[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Mar-2020
Logic and Argumentation. CLAR 2020
Dastani, Mehdi
Dong, Huimin
van der Torre, Leon
Springer
Lecture Notes in Computer Science, Vol. 12061
151-165
Yes
No
International
978-3-030-44637-6
978-3-030-44638-3
Cham
Switzerland
3rd International Conference on Logic and Argumentation (CLAR 2020)
[en] A methodology for the formalization of legal texts is presented. This methodology is based on features of the NAI Suite, a recently developed formalization environment for legal texts. The ability of the tool to execute queries is used in order to drive a correct formalization until all queries are validated. The approach is studied on a fragment of the Smoking Prohibition (Children in Motor Vehicles) (Scotland) Act 2016 of the Scottish Parliament.