Pages that link to "Item:Q4766066"
From MaRDI portal
The following pages link to MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066):
Displaying 5 items.
- \(\Pi\)-representation: A clause representation for parallel search (Q1216192) (← links)
- The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)
- MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)
