Sciweavers

214 search results - page 3 / 43
» Norms and Electronic Institutions
Sort
View
DEON
2006
Springer
13 years 11 months ago
Norms and Electronic Institutions
Frank Dignum
ATAL
2007
Springer
14 years 1 months ago
Designing protocols for agent institutions
We show how protocols can be derived from norms using landmarks. The resulting protocols can be used by agents to fulfill the norms governing an e-institution without having to h...
Huib Aldewereld, Frank Dignum, John-Jules Ch. Meye...
CEEMAS
2005
Springer
14 years 1 months ago
Towards an Institutional Environment Using Norms for Contract Performance
Abstract. A strong research emphasis is being given towards regulating interoperable multi-agent environments through norms and institutions. We are concerned with environments in ...
Henrique Lopes Cardoso, Eugénio C. Oliveira
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
13 years 11 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
ATAL
2007
Springer
14 years 1 months ago
Model Checking Norms and Sanctions in Institutions
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speci...
Francesco Viganò, Marco Colombetti