2026-07-22T13:49:41Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1637 2024-03-06T11:08:16Z ddc:004 open_access

Normative Multi-Agent Programs and Their Logics Dastani, Mehdi Grossi, Davide Meyer, John-Jules Ch. Tinnemeier, Nick Multi-agent systems norms agent-oriented programming 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mehdi Dastani and Davide Grossi and John-Jules Ch. Meyer and Nick Tinnemeier 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08361.9 urn:nbn:de:0030-drops-16374 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.9 eng https://creativecommons.org/licenses/by/4.0/legalcode