research
∙
01/13/2022
Rewriting with Acyclic Queries: Mind your Head
The paper studies the rewriting problem, that is, the decision problem w...
share
research
∙
05/12/2021
Iltis: Teaching Logic in the Web
The Iltis project provides an interactive, web-based system for teaching...
research
∙
03/02/2020
Distribution Constraints: The Chase for Distributed Data
This paper introduces a declarative framework to specify and reason abou...
research
∙
04/04/2018
