345 search results - page 53 / 69 » Kripke models for classical logic |
146
Voted
IGPL
2010
15 years 4 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
160
Voted
ANSS
2006
IEEE
15 years 12 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
160
click to vote
IKE
2007
15 years 7 months ago
2007
The paper presents an integrated set-theoretic data model that offers a framework for defining a unified schema for any database environment. We utilise the concepts ”entity...
211
click to vote
KI
2010
Springer
15 years 17 days ago
2010
Springer
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
138
click to vote
ISMVL
2007
IEEE
16 years 2 days ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...