SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

DOI10.1007/BF03037473zbMath1089.68546OpenAlexW2030494571MaRDI QIDQ1877374

Adnan Yahya, Donald W. Loveland

Publication date: 7 September 2004

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037473

zbMATH Keywords

disjunctive deductive databasesbidirectional searchrelevancy

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

SATCHMOREBID, A relevance restriction strategy for automated deduction

Uses Software

• SATCHMO
• I-SATCHMO
• DWAM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An efficient strategy for non-Horn deductive databases
• Generating relevant models
• A relevance restriction strategy for automated deduction
• Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
• Positive unit hyperresolution tableaux and their application to minimal model generation
• Duality for goal-driven query processing in disjunctive deductive databases
• SATCHMORE: SATCHMO with RElevancy
• I-SATCHMO: An improvement of SATCHMO