Publication details
Towards Automating Inconsistency Checking of Legal Texts
| Authors | |
|---|---|
| Year of publication | 2020 |
| Type | Article in Proceedings |
| Conference | Responsible Digitalization Tagungsband des 23. Internationalen Rechtsinformatik Symposions |
| MU Faculty or unit | |
| Citation | |
| 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. |