Pages that link to "Item:Q1598444"
From MaRDI portal
The following pages link to Duality for goal-driven query processing in disjunctive deductive databases (Q1598444):
Displaying 5 items.
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- An extension to GCWA and query evaluation for disjunctive deductive databases (Q5957024) (← links)