Login / Signup

The Continuous Realizability of Entailment.

Manfred E. Szabo
Published in: Math. Log. Q. (1983)
Keyphrases
  • logic programming
  • real time
  • databases
  • description logics
  • textual entailment
  • recognizing textual entailment