5 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 5 cited
Rewriting the Infinite Chase
Michael Benedikt, Maxime Buron, Stefano Germano +2
Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answe…
cs.LO2019★ 2 cited
Decision Procedures for Guarded Logics
Kevin Kappelmann
An important class of decidable first-order logic fragments are those satisfying a guardedness condition, such as the guarded fragment (GF). Usually, decidability for these logics…