Publication details
Towards Automating Inconsistency Checking of Legal Texts
| Authors | |
|---|---|
| Year of publication | 2020 |
| Type | Article in Periodical |
| Magazine / Source | Jusletter IT. Die Zeitschrift für IT und Recht. |
| MU Faculty or unit | |
| 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: |