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 4 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)
