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.

Authors:

  • N. Alechina, Nick Bassiliades, M. Dastani, M. de Vos, B. Logan, S. Mera, A. Morris-Martin, F. Schapachnik

Appeared In:

Keywords:

  • Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems.

Tags:

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.
Address

School of Informatics
Aristotle University of Thessaloniki
54124 Thessaloniki, Greece

Contact

Prof. Ioannis P. Vlahavas
tel: ++30 231099-8145
fax: ++30 231099-8362
e-mail: vlahavas@csd.auth.gr

Useful Pages
© 2024
Intelligent Systems Lab
AUTh IT Center