Normative Multi-Agent Programs and Their Logics

Authors Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick Tinnemeier

Thumbnail PDF


  • Filesize: 242 kB
  • 16 pages

Document Identifiers

Author Details

Mehdi Dastani
Davide Grossi
John-Jules Ch. Meyer
Nick Tinnemeier

Cite AsGet BibTex

Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, and Nick Tinnemeier. Normative Multi-Agent Programs and Their Logics. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)


Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.
  • Multi-agent systems
  • norms
  • agent-oriented programming


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

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail