681 search results - page 27 / 137 » Combining Theorem Proving with Natural Language Processing |
ICWS
2003
IEEE
14 years 11 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
CONTEXT
1999
Springer
15 years 2 months ago
1999
Springer
Appeared in: P. Bouquet, P. Br´ezillon, L. Serafini, M. Benerecetti, F. Castellani (Eds.), 2nd International and Interdisciplinary Conference on Modeling and Using Context (CONT...
101
click to vote
LREC
2010
14 years 11 months ago
2010
Determining semantic relatedness between words or concepts is a fundamental process to many Natural Language Processing applications. Approaches for this task typically make use o...
63
Voted
EACL
1989
ACL Anthology
14 years 11 months ago
1989
ACL Anthology
In this paper we describe a framework for research into translation that draws on a combination of two existing and independently constructed technologies: an analysis component d...
78
Voted
ANLP
2000
14 years 11 months ago
2000
This paper describes the results of some experiments using a new approach to information access that combines techniques from natural language processing and knowledge representat...