Title: Towards Automating Inconsistency Checking of Legal Texts
Author, co-author: Libal, Tomer; Tereza,
Abstract: 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.
Author, co-author: Libal, Tomer; Tereza,
Abstract: 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.