Towards Automating Inconsistency Checking of Legal Texts

Internationales Rechtsinformatik Symposion 2020


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.