681 search results - page 23 / 137 » Combining Theorem Proving with Natural Language Processing |
JACM
2010
14 years 8 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
84
Voted
EMNLP
2009
14 years 7 months ago
2009
System combination has emerged as a powerful method for machine translation (MT). This paper pursues a joint optimization strategy for combining outputs from multiple MT systems, ...
CICLING
2008
Springer
14 years 11 months ago
2008
Springer
Nowadays there exist several kinds of question answering systems. According to recent evaluation results, most of these systems are complementary (i.e., each one is better than the...
EACL
2006
ACL Anthology
14 years 11 months ago
2006
ACL Anthology
We describe a word alignment platform which ensures text pre-processing (tokenization, POS-tagging, lemmatization, chunking, sentence alignment) as required by an accurate word al...
EACL
2003
ACL Anthology
14 years 11 months ago
2003
ACL Anthology
Previous work on the induction of selectional preferences has been mainly carried out for English and has concentrated almost exclusively on verbs and their direct objects. In thi...