In this paper we describe a verification system for multi-agent programs. This is the first
comprehensive approach to the verification of programs developed using programming …

This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to
answer the questions:“what are the key current issues in developing multi-agent systems?” …

Business service engagements involve processes that extend across two or more
autonomous organizations. Because of regulatory and competitive reasons, requirements …

Traditionally, distributed computing concentrates on computation understood at the level of
information exchange and sets aside human and organizational concerns as largely to be …

Before engaging in a group venture agents may require commitments from other members
in the group, and based on the level of acceptance (participation) they can then decide …

Commitments provide a basis for understanding interactions in multiagent systems.
Successful interoperation relies upon the interacting parties being aligned with respect to …

Upon starting a collective endeavour, it is important to understand your partners' preferences
and how strongly they commit to a common goal. Establishing a prior commitment or …

We describe the Gwendolen BDI (Belief, Desires and Intentions) agent programming
language. Gwendolen is implemented in the Agent Infrastructure Layer (AIL), a collection of …

In our studies of global software engineering (GSE) teams, we found that informal, non-work-
related conversations are positively associated with trust. Seeking to use novel analytical …

We conceptualize a decentralized software application as one constituted from autonomous
agents that communicate via asynchronous messaging. Modern software paradigms such …