@inproceedings{5bf550a132144f37b1402ae196945a76,
title = "How do agents comply with norms?",
abstract = "The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' behaviour complies with the rules regulating them. The key point of our approach is that compliance is a relationship between two sets of specifications: the specifications for executing a process and the specifications regulating it. We propose a formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.",
author = "Guido Governatori and Antonino Rotolo",
year = "2009",
doi = "10.1109/WI-IAT.2009.332",
language = "English",
isbn = "9780769538013",
series = "Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009",
publisher = "IEEE, Institute of Electrical and Electronics Engineers",
pages = "488--491",
booktitle = "Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009",
address = "United States",
note = "2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009 ; Conference date: 15-09-2009 Through 18-09-2009",
}