Automated multi-level governance compliance checking

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 rules guide social interaction, in particular when they are coupled with reward and punishment regulations that are enforced for (non-)compliance. Institution...

When do rule changes count-as legal rule changes?

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 social reality comprising institutional facts (Bs) conditional on the social reality (contexts Cs). When brute facts change an institution evolves from one social...

Supporting request acceptance with use policies

This paper deals with the problem of automating the contribution of resources owned by people to do work for others, whilst providing a means for owners of resources to maintain autonomy over how, when and to whom their resources are used with the specification of resource use policies. We give representations of requests for resource usage as a...