van der Torre, Leon[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Agotnes, Thomas
Broersen, Jan
Elgesem, Dag
Springer
16-30
Yes
International
978-3-642-31569-5
DEON 2012
July 16-18, 2012
Bergen
Norway
[en] Abstract normative systems ; Graph patterns
[en] Abstract normative systems allow to reason with norms even when their content is not detailed. In this paper, we propose a our preliminary results to visualize 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.
Researchers ; Professionals ; Students ; General public ; Others