270 search results - page 17 / 54 » atal 2005 |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
The Prometheus Design Tool is a graphical editor which supports the design tasks specified within the Prometheus methodology for designing agent systems. The tool propagates info...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
The use of digital pheromones for controlling and coordinating swarms of unmanned vehicles is studied under various conditions to determine their effectiveness in multiple militar...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a rich decision model for intelligent agents involved in multi issue negotiations. The model, grounded on information theory, takes into account the aspec...