Sciweavers

4902 search results - page 75 / 981
» Multi-agent Systems Methodology
Sort
View
ICSOC
2007
Springer
15 years 10 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
SELMAS
2004
Springer
15 years 9 months ago
A Generative Approach for Multi-agent System Development
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
Uirá Kulesza, Alessandro F. Garcia, Carlos ...
ATAL
2003
Springer
15 years 9 months ago
A key-based coordination algorithm for dynamic readiness and repair service coordination
This paper describes an agent application for the coordination of aircraft repair, refit, refuel, and rearm teams in a dynamic setting. The paper also presents a new algorithm fo...
Thomas Wagner, Valerie Guralnik, John Phelps
AIL
2008
94views more  AIL 2008»
15 years 4 months ago
Building computational institutions for agents with RoleX
While the sociality of software agents drives toward the definition of institutions for multi agent systems, their autonomy requires that such institutions be ruled by appropriate...
Giacomo Cabri, Luca Ferrari, Rossella Rubino
167
Voted
ESAW
2009
Springer
15 years 10 months ago
Agent Architectures for Compliance
A Normative Multi-Agent System consists of autonomous agents who must comply with social norms. Different kinds of norms make different assumptions about the cognitive architecture...
Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan