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.
|