TY - CHAP
T1 - Computational Models for Normative Multi-Agent Systems.
AU - Alechina, Natasha
AU - Bassiliades, Nick
AU - Dastani, Mehdi
AU - Vos, Marina De
AU - Logan, Brian
AU - Mera, Sergio
AU - Morris-Martin, Andreasa
AU - Schapachnik, Fernando
N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.
PY - 2013/4/29
Y1 - 2013/4/29
N2 - 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.
AB - 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.
U2 - 10.4230/DFU.Vol4.12111.71
DO - 10.4230/DFU.Vol4.12111.71
M3 - Chapter
SP - 71
EP - 92
BT - Normative Multi-Agent Systems
ER -