We introduce a general abstract framework for database repairing that
di...
Repairing inconsistent knowledge bases is a task that has been assessed,...
Semiring semantics for first-order logic provides a way to trace how fac...
For a fixed property (graph class) Π, given a graph G and an integer
k, ...
In the deeply interconnected world we live in, pieces of information lin...
Given a property (graph class) Π, a graph G, and an integer k, the
Π-com...
Graph databases are becoming widely successful as data models that allow...
A (0,1)-matrix has the consecutive-ones property (C1P) if its columns ca...
A graph is circle if its vertices are in correspondence with a family of...
A graph is circle if there is a family of chords in a circle such that t...
A (0,1)-matrix has the Consecutive Ones Property (C1P) for the rows if
t...