@booklet {IIIA-2005-1106, title = {Norm-oriented programming language for electronic institutions}, number = {RR-IIIA-20}, year = {2005}, abstract = {Norms constitute a powerful coordination mechanism among heterogeneous agents [27, 4]. This work proposes a means to specify and control the normative dynamics of societies of software agents. For this we introduce a language with which one can explicitly manage the normative positions of agents [21] and distinct deontic notions and their relationships can be captured. This language is conceived as a machine language to facilitate norm-oriented programming and to found higher-level normative languages. We provide a modeltheoretic semantics to our formalism, as well as an operational semantics. Furthermore, we show that our rule-based language captures the expressiveness of a wide range of normative models and systems in the literature.}, author = {Andr{\'e}s Garc{\'\i}a-Camino and Ricardo Oscar Rodriguez and Carles Sierra and Wamberto W. Vasconcelos} }