SATCHMOREBID

MaRDI QIDQ18711swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=876763

Described by source

• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

Cited in

(10)

• Duality for goal-driven query processing in disjunctive deductive databases
• Ordered semantic hyper tableaux
• SATCHMORE: SATCHMO with RElevancy
• DCTP
• DWAM
• I-SATCHMO
• R-SATCHMO
• SATCHMO
• R-SATCHMO: Refinements on I-SATCHMO
• A relevance restriction strategy for automated deduction

This page was built for software: SATCHMOREBID