DFU.Vol4.12111.71.pdf
- Filesize: 412 kB
- 22 pages
Document
Computational Models for Normative Multi-Agent Systems
Authors
-
Part of:
Volume:
Normative Multi-Agent Systems (DFU - Vol. 4)
Series: Dagstuhl Follow-Ups (DFU) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-04-29
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
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)
0PDF Downloads