Professor Dr. Guido Boella of Università degli Studi di Torino Dipartimento di Informatica, and colleagues, will present a paper entitled Visualizing Normative Systems: An Abstract Approach, at DEON 2012: The 11th International Conference on Deontic Logic in Computer Science, to be held 16-18 July 2012, at the University of Bergen, in Bergen, Norway.
Here is the abstract:
Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a visualization for abstract normative systems, in such a way that we are able to reason with institutional facts, obligations and permissions. Moreover, we detect meaningful patterns emerging from the proposed visualization, and we show how these patterns can be used to define commonly used reusable solutions.
The paper discusses a number of legal norms.