70 search results - page 2 / 14 » Focus and Higher-Order Unification |
CADE
2006
Springer
14 years 5 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...
EMNLP
2010
13 years 3 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...
ICLP
2005
Springer
13 years 10 months ago
2005
Springer
LICS
1997
IEEE
13 years 8 months ago
1997
IEEE
JAR
2000
13 years 5 months ago
2000
