Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Towards Automating Inconsistency Checking of Legal Texts
Libal, Tomer; Tereza
2020In Towards Automating Inconsistency Checking of Legal Texts
Peer reviewed
 

Files


Full Text
iris20.pdf
Author preprint (244.41 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Legal inconsistency; Legal drafting; Legal reasoning; Automated reasoning
Abstract :
[en] Inconsistencies in legal texts are sometimes hard to find and correct. In this paper a novel machine executable methodology is described, which can facilitate this process. We demonstrate the methodology on the American University of Paris Library Circulation Policy No. AA036EN.
Disciplines :
Law, criminology & political science: Multidisciplinary, general & others
Computer science
Author, co-author :
Libal, Tomer ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Tereza;  Masaryk University > Faculty of Law, Institute of Law and Technology
External co-authors :
yes
Language :
English
Title :
Towards Automating Inconsistency Checking of Legal Texts
Publication date :
2020
Event name :
Internationales Rechtsinformatik Symposion
Event place :
Salzburg, Austria
Event date :
27-02-2020
Audience :
International
Main work title :
Towards Automating Inconsistency Checking of Legal Texts
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 13 January 2021

Statistics


Number of views
121 (6 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
2
Scopus citations®
without self-citations
1

Bibliography


Similar publications



Contact ORBilu