32 search results - page 1 / 7 » Multi-agent Coordination as Distributed Logic Programming |
AMAI
2004
Springer
13 years 4 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
ATAL
2009
Springer
13 years 9 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
DALT
2004
Springer
13 years 8 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
IPPS
1997
IEEE
13 years 9 months ago
1997
IEEE