16 search results - page 1 / 4 » dalt 2004 |
DALT
2004
Springer
14 years 2 months ago
2004
Springer
DALT
2004
Springer
14 years 2 months ago
2004
Springer
The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying soci...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
DALT
2004
Springer
14 years 1 months ago
2004
Springer
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...