1806 search results - page 69 / 362 » Programming Cognitive Agents |
AUSAI
2005
Springer
14 years 1 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
JCM
2006
13 years 7 months ago
2006
In established communication systems prices are determined in a quasi-static way and for a large area according to a fixed price model. Additionally, the main decision criteria of ...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
Computational models of motivation are tools that artificial agents can use to autonomously identify, prioritize, and select the goals they will pursue. Previous research has focu...
AAAI
2006
13 years 9 months ago
2006
LOCATE is workspace layout design software that also serves as a testbed for developing and refining principles of adaptive aiding. This demonstration illustrates LOCATE's ab...