Computational Models for Normative Multi-Agent Systems

N. Alechina, N. Bassiliades, M. Dastani, M. de Vos, B. Logan, S. Mera, A. Morris-Martin, F. Schapachnik, “Computational Models for Normative Multi-Agent Systems”, 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.

You are here: Home » Publications » Computational Models for Normative Multi-Agent Systems

Author(s): N. Alechina, Nick Bassiliades, M. Dastani, M. de Vos, B. Logan, S. Mera, A. Morris-Martin, F. Schapachnik

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.

Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems.

Tags:

2013, Alechina, Bassiliades, Dastani, de Vos, Morris Martin, Schapachnik

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.