Computational Models for Normative Multi-Agent Systems

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



PDF
Thumbnail PDF

File

DFU.Vol4.12111.71.pdf
  • Filesize: 412 kB
  • 22 pages

Document Identifiers

Author Details

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

Cite AsGet BibTex

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. Computational Models for Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 71-92, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/DFU.Vol4.12111.71

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.
Keywords
  • Norm verification
  • Computational Architectures for Normative MAS
  • Programming Normative Systems

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail