Pages that link to "Item:Q4268878"

The following pages link to Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs (Q4268878):

Displayed 5 items.

• A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) ‎ (← links)
• Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) ‎ (← links)
• Characterizing Boundedness in Chase Variants (Q4957209) ‎ (← links)
• On the k-Boundedness for Existential Rules (Q6104757) ‎ (← links)
• Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) ‎ (← links)