2273 search results - page 5 / 455 » On the Expressiveness and Complexity of ATL |
BIBE
2006
IEEE
14 years 1 months ago
2006
IEEE
Bioinformatics data is growing at a phenomenal rate. Besides the exponential growth of individual databases, the number of data depositories is increasing too. Because of the comp...
ACII
2007
Springer
14 years 1 months ago
2007
Springer
IJHR
2006
13 years 7 months ago
2006
JOLLI
2010
13 years 2 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
RE
2004
Springer
14 years 21 days ago
2004
Springer
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...