Model Building

We use logical inference techniques for recognising textual entailment. As the performance of theorem proving turns out to be highly dependent on not read- ily available background knowledge, we incorporate …...