681 search results - page 26 / 137 » Parsing as Natural Deduction |
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
Abstract. We describe the construction of a generic natural language query interface to an XML database. Our interface can accept an arbitrary English sentence as a query, which ca...
KI
2009
Springer
15 years 2 months 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...
FGR
1996
IEEE
15 years 1 months ago
1996
IEEE
A method for the recovery of the temporal structure and phasesin natural gesture is presented. The work is motivated by recent developments in the theory of natural gesture which ...
ACL
1996
14 years 11 months ago
1996
This paper describes a system that leads us to believe in the feasibility of constructing natural spoken dialogue systems in task-oriented domains. It specifically addresses the i...
IANDC
2010
14 years 7 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...