research
∙
07/11/2023
Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561
We discuss model-checking problems as formal models of algorithmic law. ...
share
research
∙
03/02/2023
On the Consistency of Circuit Lower Bounds for Non-Deterministic Time
We prove the first unconditional consistency result for superpolynomial ...
research
∙
11/11/2022
A parameterized halting problem, Δ_0 truth and the MRDP theorem
We study the parameterized complexity of the problem to decide whether a...
research
∙
09/03/2020
Deep Learning in Science
Much of the recent success of Artificial Intelligence (AI) has been spur...
research
∙
04/05/2019