Previous work on detecting fulfilments and violations of expectations (which may correspond to conventions, norms, commitments or contracts) assumed that information about the world is available as an abstract logical model ...

Before deploying a software system we need to assure ourselves that the system will behave correctly. This assurance is usually done by testing the system. However, it is intuitively obvious that adaptive systems, including ...

In multi-agent systems, software agents are modelled to possess characteristics and behaviour borrowed from human societies. Norms are expectations of behaviours of the agents in a society. Norms can be established in a ...