681 search results - page 13 / 137 » Combining Theorem Proving with Natural Language Processing |
ANLP
1994
13 years 9 months ago
1994
This paper presents Delphi, the natural language component of the BBN Spoken Language System. Delphi is a domainindependent natural language question answering system that is soli...
KI
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. Natural language parsing, as one of the central tasks in natural language processing, is widely used in many AI fields. In this paper, we address an issue of parser perf...
DGCI
2000
Springer
14 years 2 days ago
2000
Springer
The importance of digital geometry in image processing is well documented. To understand global properties of digital spaces and manifolds we need a solid understanding of local pr...
GI
2001
Springer
14 years 7 days ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
AAAI
1990
13 years 9 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...