The following pages link to (Q4411130):
Displayed 4 items.
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin (Q1653439) (← links)
- (Q5020954) (← links)
- Restricted Chase Termination: A Hierarchical Approach and Experimentation (Q6104760) (← links)