Login / Signup
A proof-theoretic approach to entailment.
Neil Tennant
Published in:
J. Philos. Log. (1980)
Keyphrases
</>
theorem proving
theorem prover
databases
np complete
website
case study
artificial neural networks
logic programming
textual entailment
natural deduction
geometry theorem proving
computer vision
search engine
real world
real time
probabilistic logic
logical rules
recognizing textual entailment