| NOVOTNÁ, Tereza a 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, s. 241-248. ISBN 978-3-96698-589-5. |
Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1661257,
author = {Novotná, Tereza and Libal, Tomer},
address = {Bern},
booktitle = {Responsible Digitalization Tagungsband des 23. Internationalen Rechtsinformatik Symposions},
editor = {Erich Schweighofer, Franz Kummer, Ahti Saarenpää, Walter Hötzendorfe},
keywords = {Legal inconsistency; Legal drafting; Legal reasoning; Automated reasoning},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Bern},
isbn = {978-3-96698-589-5},
pages = {241-248},
publisher = {Weblaw AG},
title = {Towards Automating Inconsistency Checking of Legal Texts},
year = {2020}
}
TY - JOUR
ID - 1661257
AU - Novotná, Tereza - Libal, Tomer
PY - 2020
TI - Towards Automating Inconsistency Checking of Legal Texts
PB - Weblaw AG
CY - Bern
SN - 9783966985895
KW - Legal inconsistency
KW - Legal drafting
KW - Legal reasoning
KW - Automated reasoning
N2 - 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.
ER -
NOVOTNÁ, Tereza a Tomer LIBAL. Towards Automating Inconsistency Checking of Legal Texts. In Erich Schweighofer, Franz Kummer, Ahti Saarenpää, Walter Hötzendorfe. \textit{Responsible Digitalization Tagungsband des 23. Internationalen Rechtsinformatik Symposions}. Bern: Weblaw AG, 2020, s.~241-248. ISBN~978-3-96698-589-5.
|
