16 search results - page 1 / 4 » dalt 2004 |
DALT
2004
Springer
14 years 25 days ago
2004
Springer
DALT
2004
Springer
14 years 25 days 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 25 days 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 25 days 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
13 years 11 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 ...