430 search results - page 54 / 86 » On the logic of coalitional games |
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
LCC
1994
14 years 8 hour ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
DIGRA
2003
Springer
14 years 1 months ago
2003
Springer
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
GI
2008
Springer
13 years 9 months ago
2008
Springer
: The emerging tensions between the mobile application logic and the unfolding dynamic context of use belong to the core challenges of ubiquitous computing today. Starting from and...