Coherence and transitivity of subtyping as entailment.

Giuseppe Longo Kathleen Milsted Sergei Soloviev

Published in: J. Log. Comput. (2000)

Keyphrases

textual entailment
logic programming
np complete
probabilistic logic
recognizing textual entailment
search engine
database
artificial intelligence
information systems