Towards Automating Inconsistency Checking of Legal Texts

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Law. Official publication website can be found on muni.cz.

Authors	NOVOTNÁ Tereza LIBAL Tomer
Year of publication	2020
Type	Article in Periodical
Magazine / Source	Jusletter IT. Die Zeitschrift für IT und Recht.
MU Faculty or unit	Faculty of Law
Citation
Web	Repozitář MU Web nakladatele
Doi	http://dx.doi.org/10.38023/336778dc-530a-48ac-95da-336a8bd40995
Keywords	Legal inconsistency; Legal drafting; Legal reasoning; Automated reasoning
Attached files	iris_2020_towards_automatic_legal_inconsistency_checking.pdf
Description	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.
Related projects:	Právo a technologie VIII