(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

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