@conference {IIIA-2007-1383, title = {The Simple Normative System Language (SNL)}, booktitle = {IJCAI Workshop AOMS}, year = {2007}, pages = {1{\textendash}12}, abstract = {Although many formalisms have been developed for reason- ing about normative behaviour, most of these have been somewhat di- vorced from real systems. That is, while they allow the specification of what is obligatory or permissible, there is often no direct mapping to concrete computational systems, and so no way of really being able to tell (for example) whether a system respects or violates some system of norms. In this paper, we introduce the Simple Normative Systems Lan- guage, a concrete computational language for defining normative systems that has a concrete interpretation with respect to Reactive Modules, a well-known and widely used language for defining multi-agent systems. We introduce and formally define the language, briefly investigate some of its properties, and illustrate its use by means of an example.}, author = {Thomas Agotnes and Wiebe van der Hoek and Juan A. Rodr{\'\i}guez-Aguilar and Carles Sierra and Michael Wooldridge}, editor = {Virginia Dignum and Frank Dignum and Eric Matson and Bruce Edmonds} }