IEAAIE
2011
Springer
12 years 8 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
AIL
1999
13 years 4 months ago
1999
Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for ...
DALT
2009
Springer
13 years 8 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
DALT
2006
Springer
13 years 8 months ago
2006
Springer
Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach. Deafeasible commitments are used to provi...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
In multi-agent systems, social commitments are increasingly used to capture roles, social norms, the semantics of agent communication as well as other inter-agent dependencies. Th...
ATAL
2006
Springer
13 years 8 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
MASA
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
ATAL
2001
Springer
13 years 9 months ago
2001
Springer
We develop an approach in which we model communication protocols via commitment machines. Commitment machines supply a content to protocol states and actions in terms of the social...
DALT
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. This paper aims at defining the semantics of Agent Communication Languages (ACLs) in terms of changes in the social relationships between agents, represented in terms of...
ESAW
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. For over a decade, agent research has shown that social commitments support the definition of open multiagent systems by capturing the responsibilities that agents contr...