License
When quoting this document, please refer to the following
DOI: 10.4230/DFU.Vol4.12111.71
URN: urn:nbn:de:0030-drops-40001
URL: http://drops.dagstuhl.de/opus/volltexte/2013/4000/
Go to the corresponding DFU Volume Portal


Alechina, Natasha ; Bassiliades, Nick ; Dastani, Mehdi ; De Vos, Marina ; Logan, Brian ; Mera, Sergio ; Morris-Martin, Andreasa ; Schapachnik, Fernando

Computational Models for Normative Multi-Agent Systems

pdf-format:
p071-ch03-alechina-comp-models.pdf (0.4 MB)


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.

BibTeX - Entry

@InCollection{alechina_et_al:DFU:2013:4000,
  author =	{Natasha Alechina and Nick Bassiliades and Mehdi Dastani and Marina De Vos and Brian Logan and Sergio Mera and Andreasa Morris-Martin and Fernando Schapachnik},
  title =	{{Computational Models for Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{71--92},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leendert W. N. van der Torre},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4000},
  URN =		{urn:nbn:de:0030-drops-40001},
  doi =		{10.4230/DFU.Vol4.12111.71},
  annote =	{Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems}
}

Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems
Seminar: Normative Multi-Agent Systems
Issue Date: 2013
Date of publication: 15.04.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI