Towards Automating Inconsistency Checking of Legal Texts

[en] 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.

Disciplines :

Law, criminology & political science: Multidisciplinary, general & others
Computer science

Author, co-author :

LIBAL, Tomer ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Tereza; Masaryk University > Faculty of Law, Institute of Law and Technology

External co-authors :

yes

Language :

English

Title :

Towards Automating Inconsistency Checking of Legal Texts

Publication date :

2020

Event name :

Internationales Rechtsinformatik Symposion

Event place :

Salzburg, Austria

Event date :

27-02-2020

Audience :

International

Main work title :

Towards Automating Inconsistency Checking of Legal Texts

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 13 January 2021

Statistics

Number of views

180 (9 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations

publications

supporting

mentioning

contrasting

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

Bibliography

BAR-HAIM, ROY ET AL., The Second PASCAL Recognising Textual Entailment Challenge, In: Proceedings of the Second PASCAL Challenges Workshop on Recognising Textual Entailment, 2006.
CLARK, PETER ET AL., An Inference-Based Approach to Recognizing Entailment, In: Proceedings of the Fifth PASCAL Challenges Workshop on Recognising Textual Entailment (RTE 2009), 2009.
CONDORAVDI, CLEO ET AL., Entailment, Intensionality and Text Understanding, In: Proceedings of the Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies 2003 (NAACL-HLT 2003), USA: Association for Computational Linguistics, 2003.
COOPER, ROBIN ET AL., Using the Framework, 1996.
DAGAN, IDO ET AL., Recognizing Textual Entailment. Rational, Evaluation and Approaches, In: Nat. Lang. Eng., 2009.
DWORKIN, RONALD, No Right Answer?, New York University Law Review, 1978.
ENGEL, CHRISTOPH, Inconsistency in the Law: In Search of a Balanced Norm, SSRN Electronic Journal, 2004.
GIAMPICCOLO, DANILO ET AL., The Third PASCAL Recognizing Textual Entailment Challenge, In: Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing (RTE 2007), 2007.
HARABAGIU, SANDA M. ET AL., Negation, Contrast and Contradiction in Text Processing, In: Proceedings of the Twenty-First National Conference on Artifi cial Intelligence and the Eighteenth Innovative Applications of Artifi cial Intelligence Conference (AAAI 2006), 2006.
KARLOVA-BOURBONUS, NATALI, Automatic detection of contradictions in texts, 2018.
KRESS, GUNTHER R., Linguistic processes in sociocultural practice, B.m.: Oxford University Press, 1989.
LIBAL, TOMER/STEEN, ALEXANDER, The NAI Suite - Drafting and Reasoning over Legal Texts. In the proceedings of JURIX, 2019. To appear.
MACCARTNEY, BILL ET AL., An Extended Model of Natural Logic, In: Proceedings of the Eighth International Conference on Computational Semantics (IWCS-8), 2009.
TATU, MARTA ET AL., COGEX at RTE3, In: Proceedings of the ACL-PASCAL Workshop on Textual Entailment and Paraphrasing (RTE 2007), 2007.
TUSHNET, MARK V., Critical Legal Theory, The Blackwell Guide to the Philosophy of Law and Legal Theory. B.m.: Blackwell, 2005.