Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base

L Robaldo, C Bartolini, M Palmirani, A Rossi… - Journal of Logic …, 2020 - Springer
The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing
the same name (https://www. fnr. lu/projects/data-protection-regulation-compliance). It is a …

Automated legal reasoning with discretion to act using s (LAW)

J Arias, M Moreno-Rebato… - Artificial Intelligence and …, 2024 - Springer
Automated legal reasoning and its application in smart contracts and automated decisions
are increasingly attracting interest. In this context, ethical and legal concerns make it …

Cognitive checkpoint: Emerging technologies for biometric-enabled watchlist screening

SN Yanushkevich, KW Sundberg, NW Twyman… - Computers & …, 2019 - Elsevier
This paper revisits the problem of individual risk assessment in the layered security model. It
contributes to the concept of balancing security and privacy via cognitive-centric machine …

Modeling administrative discretion using goal-directed answer set programming

J Arias, M Moreno-Rebato… - Conference of the …, 2021 - Springer
Automated legal reasoning and its application in smart contract is getting interest. In this
context, ethical and legal concerns make it necessary for automated reasoners to justify in …

An agile approach to validate a formal representation of the GDPR

C Bartolini, G Lenzini, C Santos - … in Artificial Intelligence: JSAI-isAI 2018 …, 2019 - Springer
Modelling in a knowledge base of logic formulæ the articles of the GDPR enables a semi-
automatic reasoning of the Regulation. To be legally substantiated, it requires that the …

An interdisciplinary methodology to validate formal representations of legal text applied to the GDPR

C Bartolini, G Lenzini, C Santos - Twelfth International Workshop on …, 2018 - orbilu.uni.lu
The modelling of a legal text into a machine-processable form, such as a list of logic
formulæ, enables a semi-automatic reasoning about legal compliance but might entail some …

[PDF][PDF] A legal validation of a formal representation of GDPR articles

C Bartolini, G Lenzini, C Santos - … of the 2nd JURIX Workshop on …, 2018 - academia.edu
It is possible to model the meaning of articles of the GDPR in logic formulæ and this enables
a semi-automatic reasoning over the Regulation, eg, to build an argument of compliance …

A Deep Dive into the Delta Wave: Forecasting SARS-CoV-2 Epidemic Dynamic in Poland with the pDyn Agent-Based Model

K Niedzielewski, RP Bartczuk, N Bielczyk, D Bogucki… - 2023 - europepmc.org
In this work, we describe and forecast the fourth wave of the SARS-CoV-2 epidemic, driven
by the Delta variant, using pDyn—a detailed epidemiological agent-based model. It is …

The efficiency of dynamic regional lockdown approach in controlling the COVID-19 epidemic. Insights from the agent-based epidemiological model for Poland

J Zieliński, M Gruziel-Słomka, JM Nowosielski… - medRxiv, 2021 - medrxiv.org
In this work properties of the dynamic regional lockdown approach to suppress the COVID-
19 epidemic spread in Poland were investigated. In particular, an agent based model was …

Value awareness and process automation: a reflection through school place allocation models

J Arias, M Moreno-Rebato… - … Workshop on Value …, 2023 - Springer
Value-aware systems need to explicitly represent and reason with norms and values
applicable to a problem domain. To this respect, a key question is to determine as to how far …