681 search results - page 41 / 137 » Combining Theorem Proving with Natural Language Processing |
IR
2000
14 years 9 months ago
2000
ct Although always present in text, word sense ambiguity only recently became regarded as a problem to information retrieval which was potentially solvable. The growth of interest ...
EMNLP
2009
14 years 7 months ago
2009
A large body of recent research has been investigating the acquisition and application of applied inference knowledge. Such knowledge may be typically captured as entailment rules...
EACL
2003
ACL Anthology
14 years 11 months ago
2003
ACL Anthology
The paper describes ongoing work on the evaluation of methods for extracting collocation candidates from large text corpora. Our research is based on a German treebank corpus used...
BSL
2004
14 years 9 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
CSLP
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...