The following pages link to Generating relevant models (Q809621):
Displaying 12 items.
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy (Q1877374) (← links)
- Theorem proving for intensional logic (Q1891256) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Model generation for natural language interpretation and analysis. (Q2492154) (← links)
- Presenting Herbrand models with linguistically motivated techniques (Q2729798) (← links)
- Resource-Adaptive Model Generation as a Performance Model (Q4454093) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705951) (← links)
