491 search results - page 99 / 99 » An Interpolating Theorem Prover |
139
Voted
CORR
2002
Springer
15 years 3 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...