Negotiation is essential in settings where autonomous agents have conflicting interests and
a desire to cooperate. For this reason, mechanisms in which agents exchange potential …

Agent technology is a new emerging paradigm for software systems. In order to fully utilize
the capability of this technology, multiple agents operate in software environment by …

Protocols represent the allowed interactions among communicating agents. Protocols are
essential in applications such as electronic commerce where it is necessary to constrain the …

Increasingly, software engineering involves open systems consisting of autonomous and
heterogeneous participants or agents who carry out loosely coupled interactions …

Electronic markets, dispute resolution and negotiation protocols are three types of
application domains that can be viewed as open agent societies. Key characteristics of such …

In this paper we propose an operational method to express the meaning of the messages
exchanged among agents that interact in open environments. In an open environment, like …

Commitments among agents are widely recognized as an important basis for organizing
interactions in multiagent systems. We develop an approach for formally representing and …

Marek Sergot abstract. The Kanger-Lindahl theory of normative positions is an attempt to
apply the tools of modal logic to the formalisation of Hohfeld's 'fundamental legal …

The Kanger-Lindahl theory of normative positions attempts to use a combination of deontic
logic (the logic of obligation and permission) and a logic of action/agency to give a formal …

Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …