5510 search results - page 305 / 1102 » Mathematics |
181
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
182
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
170
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
128
click to vote
AML
2008
15 years 6 months ago
2008
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
116
click to vote
APAL
2008
15 years 6 months ago
2008
We characterize the o-minimal expansions of the ring of real numbers, in mathematically transparent terms. This should help bridge the gap between investigators in ominimality and ...