Pages that link to "Item:Q1844090"
From MaRDI portal
The following pages link to The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090):
Displayed 7 items.
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- Problem representations and formal properties of heuristic search (Q1238643) (← links)
- Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing (Q1375332) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- Weighting strategy for non-clausal resolution (Q3499018) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)