Visualizing Normative Systems: an Abstract Approach

Colombo Tosatto, Silvano; Boella, Guido; van der Torre, Leon; Villata, Serena

doi:10.1007/978-3-642-31570-1_2

Reference : Visualizing Normative Systems: an Abstract Approach


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/12977

Title :	Visualizing Normative Systems: an Abstract Approach
Language :	English
Author, co-author :	Colombo Tosatto, Silvano [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Boella, Guido [University of Torino, Italy]
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Villata, Serena [University of Torino, Italy]
Publication date :	2012
Main document title :	Deontic Logic in Computer Science - 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings
Editor :	Agotnes, Thomas
	Broersen, Jan
	Elgesem, Dag
Publisher :	Springer
Pages :	16-30
Peer reviewed :	Yes
Audience :	International
ISBN :	978-3-642-31569-5
Event name :	DEON 2012
Event date :	July 16-18, 2012
Event place (city) :	Bergen
Event country :	Norway
Keywords :	[en] Abstract normative systems ; Graph patterns
Abstract :	[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.
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/12977
DOI :	10.1007/978-3-642-31570-1_2
Other URL :	http://link.springer.com/chapter/10.1007%2F978-3-642-31570-1_2
Commentary :	Deontic Logic in Computer Science - 11th International Conference, DEON 2012

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	visualization.pdf		Publisher postprint	1.2 MB	View/Open

All documents in ORBi^lu are protected by a user license.

University of Luxembourg Library | Feedback | Legal notices