8 citations · 43 across the 20 of their papers we have counts for
1 paper · 2 filters
Antoine Amarilli, Michael Benedikt
Query answering under existential rules -- implications with existential quantifiers in the head -- is known to be decidable when imposing restrictions on the rule bodies such as f…