Towards an Executable Methodology for the Formalization of Legal Texts-Reference-Cited by-同舟云学术

Towards an Executable Methodology for the Formalization of Legal Texts

Published:2020 Issue: Volume: Page:151-165
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Libal Tomer^ORCID,Steen Alexander^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-44638-3_10

Reference16 articles.

1. Bartolini, C., Lenzini, G., Santos, C.: An interdisciplinary methodology to validate formal representations of legal text applied to the GDPR. In: JURISIN (2018)

2. Lecture Notes in Computer Science;JC Blanchette,2010

3. Boella, G., Di Caro, L., Humphreys, L., Robaldo, L., Rossi, P., van der Torre, L.: Eunomos, a legal document and knowledge management system for the web to provide relevant, reliable and up-to-date information on the law. Artif. Intell. Law 24(3), 245–283 (2016). https://doi.org/10.1007/s10506-016-9184-3

4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Bouton,2009

5. Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: Proceedings of the 14th International Conference on Artificial Intelligence and Law, pp. 245–246. ACM (2013)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Evaluation of Methodologies for Legal Formalization;Explainable and Transparent AI and Multi-Agent Systems;2022

2. Towards Transparent Legal Formalization;Explainable and Transparent AI and Multi-Agent Systems;2021

3. GRADUATION: A GDPR-Based Mutation Methodology;Communications in Computer and Information Science;2021