IJAOSE
2007
14 years 15 days ago
2007
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
ITSSA
2006
14 years 17 days ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
JAIR
2008
14 years 17 days ago
2008
It is well-known that acting in an individually rational manner, according to the principles of classical game theory, may lead to sub-optimal solutions in a class of problems nam...
IJSEKE
2008
14 years 18 days ago
2008
- Multi-agent systems (MASs) have become an important topic in distributed systems research. These distributed multi-agent systems call for special software modeling methods that e...
ENTCS
2006
14 years 18 days ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
ENTCS
2006
14 years 18 days ago
2006
Communication in multi-agent systems is an important subject of the current research. In this paper, the syntax and semantics of a multi-agent programming language, called ECCS, a...
IJAOSE
2008
14 years 18 days ago
2008
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
APAL
2006
14 years 19 days ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
AAI
2006
14 years 20 days ago
2006
Multi-agent systems are well suited for building large software systems. A great deal of these complex systems includes process flows that are concerned with time or are even time...
CORR
2008
Springer
14 years 20 days ago
2008
Springer
: In this paper we present an idea of trusted communication platform for Multi-Agent Systems (MAS) called TrustMAS. Based on analysis of routing protocols suitable for MAS we have ...