The following pages link to (Q5282952):
Displaying 5 items.
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation (Q4957206) (← links)
- Characterizing Boundedness in Chase Variants (Q4957209) (← links)
- $$\exists $$ -ASP for Computing Repairs with Existential Ontologies (Q5268421) (← links)
