- Abstract:
-
This document describes CETP, an automated theorem prover for a quantifier-free, non-negative fragment of a non-monotonic logic called Common Sense Entailment (Asher & Morreau 1991, Asher 1995), which is especially usefull for natural language processing tasks.
- Copyright:
- 2002 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- No links available
- Bibtex format
- @Misc{EDI-INF-RR-0119,
- author = {
David Schlangen
and Alex Lascarides
},
- title = {CETP: An automated theorem prover for a fragment of Common Sense Entailment},
- year = 2002,
- month = {May},
- }
|
