17 search results - page 2 / 4 » Simple Types in Type Theory: Deep and Shallow Encodings |
COLING
2002
13 years 5 months ago
2002
The LinGO Redwoods initiative is a seed activity in the design and development of a new type of treebank. While several medium- to large-scale treebanks exist for English (and for...
SEMCO
2009
IEEE
14 years 15 hour ago
2009
IEEE
- Semantic processing represents the new challenge for all applications that require text understanding, as for instance Q/A. In this paper we will highlight the need to couple sta...
NN
2000
Springer
13 years 5 months ago
2000
Springer
A neural network model that can simulate the learning of some simple proportional analogies is presented. These analogies include, for example, (a) red-square:red-circle yellow-sq...
LREC
2008
13 years 6 months ago
2008
Notwithstanding its acknowledged richness, the SIMPLE semantic model does not offer the representational vocabulary for encoding some conceptual links holding between events and t...
TPHOL
2005
IEEE
13 years 11 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...