Pages that link to "Item:Q753478"
From MaRDI portal
The following pages link to An efficient strategy for non-Horn deductive databases (Q753478):
Displaying 7 items.
- The semantics of incomplete databases as an expression of preferences (Q753482) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- Dynamic maintenance of the transitive closure in disjunctive graphs (Q1924722) (← links)
- Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700) (← links)
