CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment

Schlangen, David and Lascarides, Alex

, 2002
[PDF]

@techreport{Schlangen-2002-1,
  author = {Schlangen, David and Lascarides, Alex},
  publisher = {Edinburgh University},
  title = {{CETP: An Automated Theorem Prover for a Fragment of Common Sense Entailment}},
  year = {2002},
  topics = {},
  domains = {},
  approach = {},
  project = {}
}