681 search results - page 27 / 137 » Combining Theorem Proving with Natural Language Processing |
107
Voted
ICWS
2003
IEEE
15 years 3 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 ...
107
Voted
CONTEXT
1999
Springer
15 years 6 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...
137
click to vote
LREC
2010
15 years 3 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...
EACL
1989
ACL Anthology
15 years 3 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...
106
click to vote
ANLP
2000
15 years 3 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...