Add to ORKGAbstract. Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organisation-oriented nor-mative artifact. This paper presents a simplified version of a program-ming language that is designed to implement normative artifacts. Such artifacts 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.
All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...
In this paper, we study normative multi-agent systems from a supervisory control theory perspective....
In this paper, we study normative multi-agent systems from a supervisory control theory perspective....
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by a...
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by a...
Abstract. Multi-agent systems are viewed as consisting of individual agents whose behaviors are regu...
This paper presents a programming language that facilitates the implementation of coordination artif...
International audienceThe specification of multi-agent organisations is typically based on high-leve...
Abstract. There is growing interest in the idea that, in some cases, in-teractions among multiple, i...
Abstract. We propose a programming framework for the implementation of norm-aware multi-agent system...
A multi-agent system is a computerized system that is composed of multiple interacting agents within...
Abstract. Although many formalisms have been developed for reasoning about normative behaviour, most...
Abstract. Norms constitute a powerful coordination mechanism among hetero-geneous agents [27, 4]. Th...
Abstract—Recent work shows a tendency to use programming languages specific to the social aspects of...
This report documents the program and the outcomes of Dagstuhl Seminar 12111 ``Normative Multi-Agent...
All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...
In this paper, we study normative multi-agent systems from a supervisory control theory perspective....
In this paper, we study normative multi-agent systems from a supervisory control theory perspective....
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by a...
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by a...
Abstract. Multi-agent systems are viewed as consisting of individual agents whose behaviors are regu...
This paper presents a programming language that facilitates the implementation of coordination artif...
International audienceThe specification of multi-agent organisations is typically based on high-leve...
Abstract. There is growing interest in the idea that, in some cases, in-teractions among multiple, i...
Abstract. We propose a programming framework for the implementation of norm-aware multi-agent system...
A multi-agent system is a computerized system that is composed of multiple interacting agents within...
Abstract. Although many formalisms have been developed for reasoning about normative behaviour, most...
Abstract. Norms constitute a powerful coordination mechanism among hetero-geneous agents [27, 4]. Th...
Abstract—Recent work shows a tendency to use programming languages specific to the social aspects of...
This report documents the program and the outcomes of Dagstuhl Seminar 12111 ``Normative Multi-Agent...
All in-text references underlined in blue are linked to publications on ResearchGate, letting you ac...
In this paper, we study normative multi-agent systems from a supervisory control theory perspective....
In this paper, we study normative multi-agent systems from a supervisory control theory perspective....