Co-occurring keywords · papers mentioning both
Papers
General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
AAAI 2023
Capturing Homomorphism-Closed Decidable Queries with Existential Rules (Extended Abstract)
IJCAI 2022
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
IJCAI 2020
Checking Chase Termination over Ontologies of Existential Rules with Equality
AAAI 2020
Oblivious and Semi-Oblivious Boundedness for Existential Rules
IJCAI 2019