We explore the view that coordinated behavior is driven by the social constraints (e.g. obligations and interdictions) that agents in organizations are subject to. In this framework, agents adopt those goals that are requested by their obligations, knowing that not fulllling obligations induces a price to pay or a loss of utility. Based on this idea we build a coordination system where we repre...

Accountability is a central feature of any rights-based approach to health because it converts passive beneficiaries into claims-holders and identifies states and other actors as duty-bearers that can be held responsible for their discharge of legal, and not merely moral, obligations. This article reviews what we mean by accountability, how courts and other mechanisms are being engaged to promo...

It is now widely understood how to write formal specifications so as to be able to justify designs (and thus implementations) against such specifications. In many formal approaches, a “posit and prove” approach allows a designer to record an engineering design decision from which a collection of “proof obligations” are generated; their discharge justifies the design step. Modern theorem proving...