Login / Signup

Coherence and transitivity of subtyping as entailment.

Giuseppe LongoKathleen MilstedSergei 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