Norms are utilised in agent societies to encourage acceptable behaviour by the participating
agents. They can be established or revised from the top-down (authority) or from the bottom …

Inst AL denotes both a declarative domain-specific language for the specification of
collections of interacting normative systems and a framework for a set of associated tools …

In the physical world, the rules governing behaviour are debugged by observing an outcome
that was not intended and the addition of new constraints to prevent the attainment of that …

Abstract We introduce Multimodal Logics of Normative Systems as a contribution to the
development of a general logical framework for reasoning about normative systems over …

In the last 10 years several approaches and technologies other than MAS (such as Web
services and Grid computing) have emerged, with the support of the industry, providing their …

The process of determining the appropriate set of norms, referred to as synthesis, for a
multiagent system has predominantly been carried out offline by the designers of the system …