681 search results - page 121 / 137 » Combining Theorem Proving with Natural Language Processing |
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
DGO
2007
14 years 11 months ago
2007
A stakeholder is an individual, group, organization, or community that has an interest or stake in a consensus-building process. The goal of stakeholder identification is identify...
NLDB
2005
Springer
15 years 3 months ago
2005
Springer
For most English words, dictionaries give various senses: e.g., “bank” can stand for a financial institution, shore, set, etc. Automatic selection of the sense intended in a gi...
SIGMOD
1998
ACM
15 years 1 months ago
1998
ACM
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
74
Voted
COLING
2010
14 years 4 months ago
2010
Sentence-level aligned parallel texts are important resources for a number of natural language processing (NLP) tasks and applications such as statistical machine translation and ...