LPIS Home Page
Google Search

Title: Computational Models for Normative Multi-Agent Systems
Author(s): N. Alechina, N. Bassiliades, M. Dastani, M. de Vos, B. Logan, S. Mera, A. Morris-Martin, F. Schapachnik.
Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems.
Appeared in: Normative Multi-Agent Systems. Dagstuhl Follow-Ups, G. Andrighetto, G. Governatori, P. Noriega, L. W.N. van der Torre (Eds.), Schloss Dagstuhl, Vol. 4, pp. 71-92, 2013.
Abstract: This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided.
See also :

        This paper has been cited by the following:

1 Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani, Compliant Business Process Design by Declarative Specifications, Proceedings 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013), Dunedin, New Zealand, December 2013, LNAI Vol. 8291, 2013, pp 213-228.
2 Magnus Hjelmblom, Offline Evolution of Normative Systems, In: Proceedings of the 7th International Conference on Agents and Artificial Intelligence (ICAART 2015), Lisbon, Portugal: SciTePress, 2015, pp. 214-221.