The following pages link to (Q4411130):
Displaying 7 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)
- (Q2754231) (← links)
- (Q5020954) (← links)
- Conceptual Structures at Work (Q5313122) (← links)
- Conceptual Structures for Knowledge Creation and Communication (Q5900610) (← links)
- Restricted Chase Termination: A Hierarchical Approach and Experimentation (Q6104760) (← links)