In multiagent systems, agent interaction is ruled by means of interaction protocols.
Compliance to protocols can be hardwired in agent programs; however, this requires that …

In open societies of agents, where agents are autonomous and heterogeneous, it is not
realistic to assume that agents will always act so as to comply with interaction protocols …

Deontic concepts and operators have been widely used in several fields where
representation of norms is needed, including legal reasoning and normative multi-agent …

In this paper we present by a case study an approach to the verification of security protocols
based on Abductive Logic Programming. We start from the perspective of open multi-agent …

Although stemming from very different research areas, Multi-Agent Systems (MAS) and
Service Oriented Computing (SOC) share common topics, problems and settings. One of the …

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 social …

The focus of this work is on the interactions among (possibly heterogeneous) agents that
form an open society, and on the definition of a computational logic-based architecture for …

In open societies of agents, where agents are autonomous and heterogeneous, it is not
realistic to assume that agents will always act so as to comply to interaction protocols. Thus …

Computees are abstractions of the entities situated in global and open computing
environments. The societies that they populate give an institutional meaning to their …

We propose a simple event calculus representation of contracts and a reactive belief-desire-
intention agent architecture to enable the monitoring and execution of contract terms and …