651 search results - page 111 / 131 » Reasoning about agent deliberation |
ATAL
2006
Springer
14 years 1 months 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...
DAI
1995
Springer
14 years 1 months ago
1995
Springer
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
ATAL
2011
Springer
12 years 10 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
CSFW
2009
IEEE
14 years 4 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...