681 search results - page 52 / 137 » Combining Theorem Proving with Natural Language Processing |
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
A semi-automatic procedure of linguistic knowledge acquisition is proposed, which combines corpus-based techniques with the conventional rule-based approach. The rule-based compon...
EACL
1989
ACL Anthology
14 years 11 months ago
1989
ACL Anthology
One way of characterising texts is in terms of the discourse structures on which they appear to be built. Each type of text, or genre, e.g. the sports report, the recipe, the serm...
EMNLP
2010
14 years 7 months ago
2010
This paper presents a method for the automatic discovery of MANNER relations from text. An extended definition of MANNER is proposed, including restrictions on the sorts of concep...
INLG
2010
Springer
14 years 7 months ago
2010
Springer
We describe our contribution to the Generation Challenge 2010 for the tasks of Named Entity Recognition and coreference detection (GREC-NER). To extract the NE and the referring e...
103
click to vote
CICLING
2011
Springer
14 years 1 months ago
2011
Springer
This paper introduces a work on identification of conjunct verbs in Hindi. The paper will first focus on investigating which noun-verb combination makes a conjunct verb in Hindi us...