12459 search results - page 2405 / 2492 » cans 2006 |
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
In this paper we produce complexity and impossibility results and develop algorithms for a task allocation problem that needs to be solved by a group of autonomous agents working ...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
A long-standing challenge in interactive entertainment is the creation of story-based games with dynamically responsive story-lines. Such games are populated by multiple objects a...
ATAL
2006
Springer
14 years 24 days ago
2006
Springer
This paper reports on the development of a utility-based mechanism for managing sensing and communication in cooperative multi-sensor networks. The specific application considered...