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

Towards Automating Inconsistency Checking of Legal Texts

Tomer Libal

Tereza Novotná

Kategorie:

Beiträge

Region:

Frankreich

Rechtsgebiete:

Semantische Technologien

Sammlung:

Tagungsband IRIS 2020

Zitiervorschlag: 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.

Inhaltsverzeichnis

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

Loggen Sie sich bitte ein, um den ganzen Text zu lesen.

Für Campus registrieren? Mehr dazu