491 search results - page 99 / 99 » An Interpolating Theorem Prover |
CORR
2002
Springer
13 years 4 months ago
2002
Springer
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...