Towards Automating Inconsistency Checking of Legal Texts

Warning

This publication doesn't include Faculty of Arts. 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
Doi http://dx.doi.org/10.38023/336778dc-530a-48ac-95da-336a8bd40995
Keywords Legal inconsistency; Legal drafting; Legal reasoning; Automated reasoning
Attached files
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:

You are running an old browser version. We recommend updating your browser to its latest version.