25 citations · 39 across the 15 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
On the Relationship between Shy and Warded Datalog+/-
Teodoro Baldazzi, Luigi Bellomarini, Marco Favorito +1
Datalog^E is the extension of Datalog with existential quantification. While its high expressive power, underpinned by a simple syntax and the support for full recursion, renders i…
cs.LO2021★ 2 cited
Query Evaluation in DatalogMTL -- Taming Infinite Query Results
Luigi Bellomarini, Markus Nissl, Emanuel Sallinger
In this paper, we investigate finite representations of DatalogMTL models. First, we discuss sufficient conditions for detecting programs that have finite models. Then, we study in…