14 citations · 18 across the 18 of their papers we have counts for
4 papers · 1 filter
Generative Datalog with Stable Negation
Mario Alviano, Matthias Lanzinger, Michael Morak +1
Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this di…
Absolute Expressiveness of Subgraph-based Centrality Measures
Andreas Pieris, Jorge Salas
In graph-based applications, a common task is to pinpoint the most important or ``central'' vertex in a (directed or undirected) graph, or rank the vertices of a graph according to…
Non-Uniformly Terminating Chase: Size and Complexity
Marco Calautti, Georg Gottlob, Andreas Pieris
The chase procedure, originally introduced for checking implication of database constraints, and later on used for computing data exchange solutions, has recently become a central…
Uniform Operational Consistent Query Answering
Marco Calautti, Ester Livshits, Andreas Pieris +1
Operational consistent query answering (CQA) is a recent framework for CQA, based on revised definitions of repairs and consistent answers, which opens up the possibility of effici…