Publication details

Towards Automating Inconsistency Checking of Legal Texts



Year of publication 2020
Type Article in Proceedings
Conference Responsible Digitalization Tagungsband des 23. Internationalen Rechtsinformatik Symposions
MU Faculty or unit

Faculty of Law

Keywords Legal inconsistency; Legal drafting; Legal reasoning; Automated reasoning
Description Inconsistencies in legal texts are sometimes hard to fi nd 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.

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

More info