Sciweavers

Share
7 search results - page 1 / 2
» Specifying and enforcing norms in artificial institutions
Sort
View
ATAL
2008
Springer
8 years 5 months ago
Specifying and enforcing norms in artificial institutions
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
Nicoletta Fornara, Marco Colombetti
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
8 years 7 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
ESAW
2009
Springer
8 years 10 months ago
Normative Multi-Agent Organizations
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by organization artifacts. This abstract presents a programming language, which is d...
Mehdi Dastani
DEON
2004
Springer
8 years 8 months ago
Specifying Multiagent Organizations
Abstract. In this paper we investigate the speciļ¬cation and veriļ¬cation of information systems with an organizational structure. Such systems are modelled as a normative multia...
Leendert W. N. van der Torre, Joris Hulstijn, Mehd...
EPIA
2001
Springer
8 years 8 months ago
Modelling Agent Societies: Co-ordination Frameworks and Institutions
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
Virginia Dignum, Frank Dignum
books