de en
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.
Register for Campus? More
Login Poster
Baldi & Caratsch
Rechtsanwältin/Rechtsanwalt; [...] Baldi & Caratsch
TURICUM LEGAL AG
Rechtsanwältin / Rechtsanwalt TURICUM LEGAL AG
Altenburger Ltd legal + tax
Erfahrene Steueranwältin oder Steueranwalt Altenburger Ltd legal + tax
taormina law AG
Eine Strafverteidigerin | Ein [...] taormina law AG
Bär & Karrer SA (Lugano)
Rechtsanwältin / Rechtsanwalt im [...] Bär & Karrer SA (Lugano)
BodmerFischer AG
Anwaltsassistent/in mit Zahlenflair [...] BodmerFischer AG
Chlup Legal Services
Jurist/in MLaw / Associate (60–100%, [...] Chlup Legal Services
Widmer Baurecht AG
Rechtsanwältin / Rechtsanwalt [...] Widmer Baurecht AG
Aktuelle Rechtsfragen im Bau-, [...]
/dam/jcr:3b19cfcc-674e-4cbb-80c7-76170c4aafbb/St.Galler%20Uni.PNG
St.Galler Erbrechtstag Institut für Rechtswissenschaft und [...]
/dam/jcr:d609667f-72a5-42a1-8c38-8551afcf5bfc/UniFreiburg_Europarecht.PNG
Weiterbildungen Datenschutzrecht / [...] Institut für Europarecht, [...]
7. Fortbildungsseminar zur [...]
/dam/jcr:8a7f3354-213a-43de-a59d-a7475e221373/Flyer-RechtssicherKI.png
Rechtssicher mit KI – Ganztageskurs [...] Begrenzte Plätze.
17. Liechtensteinischer Stiftungsrech[...]
/dam/jcr:83f09d58-4a62-41b1-9c9c-02abeb440d40/academy.svg
Webinar: «Update Familienrecht: Was [...] Weblaw Academy - Webinar @ Weblaw
Tagung zum öffentlichen Personalrecht 2025
/dam/jcr:110e5872-bd39-43a3-8ce3-f81b23cbf88f/Freiburg%20Uni.PNG
CAS Droit des migrations Les Universités de Berne, Neuchâtel [...]
St. Galler Mietrechtstag 2025
Entwicklungen im Recht der [...]
/dam/jcr:d86bd260-93c9-4843-a380-13c7048bd390/recht_aktuell_Logo_verkleinert.jpg
9. Basler Sozialversicherungsrechtst[...] Prof. Dr. iur. Kurt Pärli
Séance d’information: Paralegal avec [...]
Intensivkurs «Geldwäscherei und [...]
/dam/jcr:83f09d58-4a62-41b1-9c9c-02abeb440d40/academy.svg
KI im juristischen Alltag - [...] Weblaw Academy
Zertifikatsstudiengang Treuhandwesen
/dam/jcr:72c8dc43-22be-40c9-8c47-c9c2eb7d5f5c/fernunilogo.png
CAS Datenschutz Unternehmen und Verwaltung FernUni Schweiz | UniDistance Suisse
Protection des données & IA
/dam/jcr:83f09d58-4a62-41b1-9c9c-02abeb440d40/academy.svg
KI im juristischen Alltag - [...] Weblaw Academy
/dam/jcr:d609667f-72a5-42a1-8c38-8551afcf5bfc/UniFreiburg_Europarecht.PNG
Weiterbildungsstudiengang CAS [...] Institut für Europarecht, [...]
CAS MedLaw
Intensivkurs «Anti-Money Laundering»
Intensivkurs „Wirtschaftsstraftaten [...]
10. Basler Arbeitsrechtstagung - [...]
CAS Data Protection & Technology
CAS Strafprozessrecht
CAS IT Audit & Assurance
CAS Berufliche Vorsorge
Intensivkurs «Internationales [...]
Intensivkurs «Strafrecht und Unternehmen»
CAS Prozessführung – Civil Litigation
Intensivkurs „Strafrecht und [...]
/dam/jcr:c2a09a2e-ee26-4225-a6e7-2d9825723fad/irphsglogodergboriginal.jpg
CAS Compliance in Financial Services Institut für Rechtswissenschaft und [...]
Executive Master of Laws (LL.M.) in [...]
CAS Haftpflicht- und Versicherungsrecht
Executive Master of Laws (LL.M.) im [...]
Executive Master of Laws (LL.M.) im [...]