Reference : Towards Automating Inconsistency Checking 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/45476
Towards Automating Inconsistency Checking of Legal Texts
English
Libal, Tomer mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Tereza, mailto [Masaryk University > Faculty of Law, Institute of Law and Technology]
2020
Towards Automating Inconsistency Checking of Legal Texts
Yes
International
Internationales Rechtsinformatik Symposion
27-02-2020
Salzburg
Austria
[en] Legal inconsistency ; Legal drafting ; Legal reasoning ; Automated reasoning
[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.
http://hdl.handle.net/10993/45476

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
iris20.pdfAuthor preprint238.68 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.