The following pages link to (Q5623241):
Displayed 13 items.
- An experimental logic based on the fundamental deduction principle (Q580998) (← links)
- Refinements to depth-first iterative-deepening search in automatic theorem proving (Q582116) (← links)
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- Optimal problem-solving search: All-or-none solutions (Q1226866) (← links)
- Problem representations and formal properties of heuristic search (Q1238643) (← links)
- On the modelling of search in theorem proving -- towards a theory of strategy analysis (Q1281504) (← links)
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090) (← links)
- Sequential testing of complex systems: a review (Q1878412) (← links)
- Computer science and decision theory (Q2271874) (← links)
- Towards a unified model of search in theorem-proving: subgoal-reduction strategies (Q2456542) (← links)
- Heuristic search viewed as path finding in a graph (Q2542693) (← links)
- Linear resolution with selection function (Q2551698) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)