Computational Models for Normative Multi-Agent Systems
Natasha Alechina, Nick Bassiliades, Mehdi M. Dastani, Marina De Vos, Brian S. Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013
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.