(Semi)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications
Keszöcze O, Keiner B, Richter M, Antpöhler G, Wille R (2020)
Publication Language: English
Publication Type: Book chapter / Article in edited volumes
Publication year: 2020
Publisher: Springer
Edited Volumes: Natural Language Processing for Electronic Design Automation
ISBN: 978-3-030-52271-1
DOI: 10.1007/978-3-030-52273-5
Abstract
Caused by the challenges in the design of today’s hardware and
software systems, tools for electronic design automation (EDA) became
impressively powerful. However, these accomplishments can also be
exploited in other domains. In fact, the steps of formalizing and
checking legal regulations share many similarities with established
EDA design steps. In this work, this is demonstrated by proposing the
application of EDA tools in the domain of law processing. We propose
a (semi)automatic translation of real rules and regulations into a formal
representation. Afterwards, we discuss how—similar to the hardware/
software design—these formalization can be utilized in the respective
domain.
Authors with CRIS profile
Involved external institutions
Austria (AT)How to cite
APA:
Keszöcze, O., Keiner, B., Richter, M., Antpöhler, G., & Wille, R. (2020). (Semi)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications. In Mathias Soeken, Rolf Drechsler (Eds.), Natural Language Processing for Electronic Design Automation. Springer.
MLA:
Keszöcze, Oliver, et al. "(Semi)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications." Natural Language Processing for Electronic Design Automation. Ed. Mathias Soeken, Rolf Drechsler, Springer, 2020.
BibTeX: Download