The entailment operator.

Peter A. Facione

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

Keyphrases

belief base
recognizing textual entailment
np complete
textual entailment
real time
data sets
genetic algorithm
programming language
fuzzy sets
logic programming
ordered weighted averaging