11716 search results - page 57 / 2344 » Computable symbolic dynamics |
117
click to vote
AI50
2006
15 years 3 months ago
2006
I analyze some of the attacks against the Physical Symbol System Hypothesis--attacks based on the presumed need for symbolgrounding and non-symbolic processing for intelligent beha...
LFP
1994
15 years 1 months ago
1994
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
DAC
1999
ACM
16 years 25 days ago
1999
ACM
APAL
2010
14 years 12 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
ACSC
2003
IEEE
15 years 5 months ago
2003
IEEE
In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot ...