The Dawn of the Human-Machine Era: A forecast of new and emerging language technologies.
This report began life in October 2020 at the start of the Language In The Human-Machine
Era network (lithme. eu). Several online co-writing workshops followed, working together in …
Era network (lithme. eu). Several online co-writing workshops followed, working together in …
Enforcing the GDPR
Violations of data protection laws such as the General Data Protection Regulation (GDPR)
are ubiquitous. Currently, building IT support to implement such laws is difficult and the …
are ubiquitous. Currently, building IT support to implement such laws is difficult and the …
[PDF][PDF] Paradata as a Tool for Legal Analysis: Utilising Data-on-Data Related Processes
L Enqvist - Perspectives on Paradata: Research and Practice of …, 2024 - library.oapen.org
This chapter explores aspects of the relationship between technology, transparency, and
accountability in public decision-making. It addresses how technological advancements …
accountability in public decision-making. It addresses how technological advancements …
The legai editor: a tool for the construction of legal knowledge bases
T Libal - Legal Knowledge and Information Systems, 2022 - ebooks.iospress.nl
A key challenge in legal knowledge representation is the construction of formal knowledge
bases. Such knowledge bases then allow for various applications such as searching and …
bases. Such knowledge bases then allow for various applications such as searching and …
A semi-automated software model to support AI ethics compliance assessment of an AI system guided by ethical principles of AI
MA Cappelli, G Di Marzo Serugendo - AI and Ethics, 2024 - Springer
Compliance with principles and guidelines for ethical AI has a significant impact on
companies engaged in the development of artificial intelligence (AI) systems. Specifically …
companies engaged in the development of artificial intelligence (AI) systems. Specifically …
Towards transparent legal formalization
A key challenge in making a transparent formalization of a legal text is the dependency on
two domain experts. While a legal expert is needed in order to interpret the legal text, a …
two domain experts. While a legal expert is needed in order to interpret the legal text, a …
Cross-Border Data Security from the Perspective of Risk Assessment
N Wang, G Wu, J Rong, Z Yan, Q Yue, J Hu… - … on Information Security …, 2023 - Springer
In the cross-border process of data, major issues such as national security and personal
information security caused by complex processes and variable risk factors are gradually …
information security caused by complex processes and variable risk factors are gradually …
[PDF][PDF] Search Strategy Selection for Automated Theorem Proving
J McKeown - 2024 - scholarship.miami.edu
Automated Theorem Proving (ATP), has important applications, eg, software verification. In
the future it is expected that ATP will play an important role verifying the conclusions from …
the future it is expected that ATP will play an important role verifying the conclusions from …
[PDF][PDF] The Expansion, Modernisation, and Future of the TPTP World.
G Sutcliffe - ARCADE@ CADE, 2021 - cl-informatik.uibk.ac.at
Abstract The Thousands of Problems for Theorem Provers (TPTP) World is a rich
infrastructure that supports the development, deployment, and application of Automated …
infrastructure that supports the development, deployment, and application of Automated …
[PDF][PDF] Do Lawyers Use Automated Reasoning?
T Libal - ARQNL@ IJCAR, 2022 - ceur-ws.org
Laws must be understood and their application must be explained and justified. As such,
they seem to be the perfect use case for (non-classical) automated reasoning. Indeed, there …
they seem to be the perfect use case for (non-classical) automated reasoning. Indeed, there …