867 search results - page 137 / 174 » On Two Forms of Structural Recursion |
SYNTHESE
2008
15 years 2 months ago
2008
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is develo...
113
click to vote
JOLLI
2007
15 years 2 months ago
2007
Abstract This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dia...
110
click to vote
ALIFE
2004
15 years 2 months ago
2004
Turn-taking behavior is simulated in a coupled-agents system. Each agent is modeled as a mobile robot with two wheels. A recurrent neural network is used to produce the motor outpu...
103
click to vote
COMBINATORICS
2000
15 years 2 months ago
2000
A tournament sequence is an increasing sequence of positive integers (t1, t2, . . .) such that t1 = 1 and ti+1 2ti. A Meeussen sequence is an increasing sequence of positive inte...
106
Voted
TCS
2002
15 years 2 months ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...