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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Steen, Alexander mailto [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 mailto
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)
TBA (Postponed due to COVID-19)
[en] Legal Reasoning ; Deontic Logic ; Automated Reasoning
[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.
Researchers ; Professionals
http://hdl.handle.net/10993/42688
10.1007/978-3-030-44638-3_10
https://link.springer.com/chapter/10.1007%2F978-3-030-44638-3_10

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
clar20b.pdfAuthor preprint482.31 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.