research
∙
04/20/2023
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
We introduce CPDL+, a family of expressive logics rooted in Propositiona...
share
research
∙
04/13/2023
Conjunctive Regular Path Queries under Injective Semantics
We introduce injective semantics for Conjunctive Regular Path Queries (C...
research
∙
01/20/2023
A Simple Algorithm for Consistent Query Answering under Primary Keys
We consider the dichotomy conjecture for consistent query answering unde...
research
∙
12/03/2022
Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
We show that the problem of whether a query is equivalent to a query of ...
research
∙
07/21/2020
Universality Problem for Unambiguous VASS
We study languages of unambiguous VASS, that is, Vector Addition Systems...
research
∙
03/09/2020
Containment of Simple Regular Path Queries
Testing containment of queries is a fundamental reasoning task in knowle...
research
∙
04/01/2019
Boundedness of Conjunctive Regular Path Queries
We study the boundedness problem for unions of conjunctive regular path ...
research
∙
02/21/2018
Playing with Repetitions in Data Words Using Energy Games
We introduce two-player games which build words over infinite alphabets,...
research
∙
10/24/2017