Accountability in Logic Programming

What is it about?

In real life, some disaster can occur and nobody is accountable for that. If nobody is accountable, then there must be something wrong in the rules. We define formally when a protocol is not accountable. We then define some guidelines: if a new protocol is designed following the guidelines, it is automatically accountable. Finally, we propose a tool to find non-accountability of an existing protocol.

Featured Image