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/03/2023
Data-graph repairs: the preferred approach
Repairing inconsistent knowledge bases is a task that has been assessed,...
research
∙
06/15/2022
On the complexity of finding set repairs for data-graphs
In the deeply interconnected world we live in, pieces of information lin...
research
∙
09/29/2021
An epistemic approach to model uncertainty in data-graphs
Graph databases are becoming widely successful as data models that allow...
research
∙
07/28/2017