Towards Automating Inconsistency Checking of Legal Texts

Reference : Towards Automating Inconsistency Checking of Legal Texts


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Law, criminology & political science : Multidisciplinary, general & others Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/45476

Title :	Towards Automating Inconsistency Checking of Legal Texts
Language :	English
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]
Publication date :	2020
Main document title :	Towards Automating Inconsistency Checking of Legal Texts
Peer reviewed :	Yes
Audience :	International
Event name :	Internationales Rechtsinformatik Symposion
Event date :	27-02-2020
Event place (city) :	Salzburg
Event country :	Austria
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/45476

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	iris20.pdf		Author preprint	238.68 kB	Request a copy

All documents in ORBi^lu are protected by a user license.