4 search results - page 1 / 1 » On the Logic of Theory Change: Relations Between Incision an... |
139
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
149
click to vote
CIE
2007
Springer
15 years 11 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
170
Voted
TRS
2008
15 years 5 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
137
Voted
AAMAS
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a model for adaptive agents. The model describes the behavior of an agent as a graph of roles, in short a behavior graph. Links between roles provide conditions...