Abstract We study Normative Temporal Logic (ntl), a formalism intended for reasoning about
the temporal properties of normative systems. ntl is a generalisation of the well-known …

Ideally, open multi-agent systems (MAS) involve heterogeneous and autonomous agents
whose interactions ought to conform to some shared conventions. The challenge is how to …

There is a wide agreement on the use of norms in order to specify the expected behaviour of
agents in open MAS. However, current norm formalisms focus on the declarative nature of …

Software agents' ability to interact within different open systems, designed by different
groups, presupposes an agreement on an unambiguous definition of a set of concepts, used …

Both conversation specifications and policies are required to facilitate effective agent
communication. Specifications provide the order in which speech acts can occur in a …

We consider the problem of updating a multi-agent system with a set of conditional norms. A
norm comes into effect when its condition becomes true, and imposes either an obligation or …

Legal Theory, Sources of Law and the Semantic Web is an attempt to construct an integrated
conceptual framework for the application-neutral and problem-neutral representation of …

There is a wide agreement on the use of norms in order to specify the expected behaviour of
agents in open MAS. However, current norm formalisms focus on the declarative nature of …

This study considers decision making beyond a dyadic buyer-supplier context to the network
context. Decisions made by firms are shaped by behavioral norms within the supply network …

Multi-agent models are a suitable starting point to model complex social interactions.
However, as the complexity of the systems increase, we argue that novel modeling …