Advances in AI techniques and computing platforms have triggered a lively and expanding
discourse on ethical decision making by autonomous agents. Much recent work in AI …

Norms provide a way to model the social architecture of a sociotechnical system (STS) and
are thus crucial for understanding how such a system supports secure collaboration …

An institution typically comprises constitutive rules, which give shape and meaning to social
interactions and regulative rules, which prescribe agent behaviour in the society. Regulative …

We address the problem of associating access policies with datasets and how to monitor
compliance via policy-carrying data. Our contributions are a formal model in first-order logic …

Using Punch and Judy as a story domain, we describe an interactive puppet show, where
the flow and content of the story can be influenced by the actions of the audience. As the …

Institutions governing multi-agent systems (MASs) are a pervasive means to guide agents
towards the aims of the MAS (eg collecting data) with regulations on the outcomes of agents' …

This dissertation is motivated by the need, in today's globalist world, for a precise way to
enable governments, organisations and other regulatory bodies to evaluate the constraints …

Abstract Institutions regulate societies. Comprising Searle's constitutive counts-as rules,“A
counts-as B in context C”, an institution ascribes from brute and institutional facts (As), a …

Abstract TropICAL is a Domain Specific Language (DSL) for the description of abstract legal
policies. Taking inspiration from narrative tropes, our DSL enables the creation of …

Abstract Using Punch and Judy as a story domain, we describe an interactive puppet show,
where the flow and content of the story can be influenced by the actions of the audience. As …