| 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.
|
| Availability: |
|
| 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. |
|
