NOVOTNÁ, Tereza and Tomer LIBAL. Towards Automating Inconsistency Checking of Legal Texts. In Erich Schweighofer, Franz Kummer, Ahti Saarenpää, Walter Hötzendorfe. Responsible Digitalization Tagungsband des 23. Internationalen Rechtsinformatik Symposions. Bern: Weblaw AG, 2020, p. 241-248. ISBN 978-3-96698-589-5.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Towards Automating Inconsistency Checking of Legal Texts
Authors NOVOTNÁ, Tereza (203 Czech Republic, guarantor, belonging to the institution) and Tomer LIBAL (203 Czech Republic).
Edition Bern, Responsible Digitalization Tagungsband des 23. Internationalen Rechtsinformatik Symposions, p. 241-248, 8 pp. 2020.
Publisher Weblaw AG
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 50501 Law
Country of publisher Switzerland
Confidentiality degree is not subject to a state or trade secret
Publication form printed version "print"
RIV identification code RIV/00216224:14220/20:00115764
Organization unit Faculty of Law
ISBN 978-3-96698-589-5
Keywords (in Czech) Inkonzistence právního textu; Právní posuzování; Automatické posuzování
Keywords in English Legal inconsistency; Legal drafting; Legal reasoning; Automated reasoning
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. Tereza Novotná, Ph.D., učo 421694. Changed: 10/6/2020 10:10.
Abstract
Inconsistencies in legal texts are sometimes hard to fi nd 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.
PrintDisplayed: 30/7/2024 14:21