• Medientyp: Sonstige Veröffentlichung; E-Artikel
  • Titel: Computational Models for Normative Multi-Agent Systems
  • Beteiligte: Alechina, Natasha [VerfasserIn]; Bassiliades, Nick [VerfasserIn]; Dastani, Mehdi [VerfasserIn]; De Vos, Marina [VerfasserIn]; Logan, Brian [VerfasserIn]; Mera, Sergio [VerfasserIn]; Morris-Martin, Andreasa [VerfasserIn]; Schapachnik, Fernando [VerfasserIn]
  • Erschienen: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
  • Sprache: Englisch
  • DOI: https://doi.org/10.4230/DFU.Vol4.12111.71
  • Schlagwörter: Programming Normative Systems ; Computational Architectures for Normative MAS ; Norm verification
  • Entstehung:
  • Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Beschreibung: 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.
  • Zugangsstatus: Freier Zugang