Text and Contract Analysis DOI: 10.38023/336778dc-530a-48ac-95da-336a8bd40995

Towards Automating Inconsistency Checking of Legal Texts

Tomer Libal

Tereza Novotná

Category:

Articles

Region:

Frankreich

Field of law:

Semantic technology

Collection:

Conference proceedings IRIS 2020

Citation: Tomer Libal / Tereza Novotná, Towards Automating Inconsistency Checking of Legal Texts , in: Jusletter IT 27. Mai 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.

Table of contents

1. Introduction and related work
2. Inconsistency of legal texts
3. The NAI Tool
- 3.1. Legal formalization of example case
4. Finding and correcting inconsistencies in legal texts
- 4.1. Proving the inconsistency of legal formalizations
- 4.2. Correcting inconsistent legal texts
5. Conclusion and future work
6. References

Please log in to read the full text.