Login / Signup
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