InstAL: An Institutional Action Language

J Padget, E ElDeen Elakehal, T Li, M De Vos - … frameworks for social …, 2016 - Springer
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 …

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 …

A framework for institutions governing institutions

T King, T Li, M De Vos, V Dignum, C Jonker… - Proceedings of the …, 2015 - ora.ox.ac.uk
Norms guide multi-agent systems away from being potentially anarchic towards a
coordinated and collaborative society. Institutions provide an explicit, external …

[PDF][PDF] Societal challenges need social agents

V Dignum, F Dignum - 2017 AAAI Spring Symposium Series, 2017 - cdn.aaai.org
Big societal challenges involve many interdependent parties at different levels of society that
are all interacting and reacting to each other. Although agent based simulations can help to …

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 …

[PDF][PDF] Governing Government: A Framework for Multi-tier Institution Specification and Reasoning (Doctoral Consortium)

TC King - Proceedings of the 2015 International Conference on …, 2015 - ifaamas.org
ABSTRACT A key challenge of institutions is how to guide their governing into being
desirable. This is important from the perspective of an agent governed by an institution to …