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
Towards Automating Inconsistency Checking of Legal Texts
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]
Towards Automating Inconsistency Checking of Legal Texts
Internationales Rechtsinformatik Symposion
[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.

File(s) associated to this reference

Fulltext file(s):

Limited access
iris20.pdfAuthor preprint238.68 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.