Pages that link to "Item:Q5056424"
From MaRDI portal
The following pages link to Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (Q5056424):
Displaying 6 items.
- On rules with existential variables: walking the decidability line (Q646515) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- (Q2767089) (← links)
- Recent Advances in Datalog$$^\pm $$ (Q2970309) (← links)
- Combining decidability paradigms for existential rules (Q5398317) (← links)