Automated multi-level governance compliance checking

TC King, M De Vos, V Dignum, CM Jonker, T Li… - Autonomous Agents and …, 2017 - Springer
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 …

Governing governance: A formal framework for analysing institutional design and enactment governance

TC King - arXiv preprint arXiv:1704.06654, 2017 - arxiv.org
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 …