Presupposition and entailment.

Published in: Notre Dame J. Formal Log. (1976)

Keyphrases

logic programming
textual entailment
np complete
probabilistic logic
recognizing textual entailment
textual entailment recognition
discourse structure
databases
database
real time
clustering algorithm
high level
data structure
question answer