681 search results - page 19 / 137 » Combining Theorem Proving with Natural Language Processing |
CICLING
2004
Springer
14 years 2 months ago
2004
Springer
The paper presents a method for automatic detection of “non-trivial” word combinations in the text. It is based on automatic syntactic analysis. The method shows better precisi...
EACL
2006
ACL Anthology
13 years 10 months ago
2006
ACL Anthology
We investigate the lexical and syntactic flexibility of a class of idiomatic expressions. We develop measures that draw on such linguistic properties, and demonstrate that these s...
EMNLP
2009
13 years 6 months ago
2009
We propose a novel unsupervised approach for distinguishing literal and non-literal use of idiomatic expressions. Our model combines an unsupervised and a supervised classifier. T...
CICLING
2005
Springer
14 years 2 months ago
2005
Springer
Passage retrieval consists in identifying short but informative runs of a long text, given a specific user query. We discuss the sources of evidence that help choosing likely high-...
EMNLP
2009
13 years 6 months ago
2009
This paper presents a supervised method for resolving metonymies. We enhance a commonly used feature set with features extracted based on collocation information from corpora, gen...