Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Towards an Executable Methodology for the Formalization of Legal Texts
Libal, Tomer; Steen, Alexander
2020In Dastani, Mehdi; Dong, Huimin; van der Torre, Leon (Eds.) Logic and Argumentation. CLAR 2020
Peer reviewed
 

Files


Full Text
clar20b.pdf
Author preprint (493.88 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Legal Reasoning; Deontic Logic; Automated Reasoning
Abstract :
[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.
Disciplines :
Computer science
Law, criminology & political science: Multidisciplinary, general & others
Author, co-author :
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)
External co-authors :
yes
Language :
English
Title :
Towards an Executable Methodology for the Formalization of Legal Texts
Publication date :
March 2020
Event name :
3rd International Conference on Logic and Argumentation (CLAR 2020)
Event date :
TBA (Postponed due to COVID-19)
Audience :
International
Main work title :
Logic and Argumentation. CLAR 2020
Editor :
Dastani, Mehdi
Dong, Huimin
van der Torre, Leon 
Publisher :
Springer, Cham, Switzerland
ISBN/EAN :
978-3-030-44637-6
978-3-030-44638-3
Collection name :
Lecture Notes in Computer Science, Vol. 12061
Pages :
151-165
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 01 March 2020

Statistics


Number of views
105 (3 by Unilu)
Number of downloads
1 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
2
OpenCitations
 
4

Bibliography


Similar publications



Contact ORBilu