69 search results - page 4 / 14 » Deriving individual obligations from collective obligations |
SBIA
2004
Springer
14 years 5 days ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
ECOOPW
1999
Springer
13 years 11 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
ESAW
2006
Springer
13 years 10 months ago
2006
Springer
The use of norms is a well-known technique of co-ordination in multi-agent systems (MAS) adopted from human societies. A normative position is the "social burden" associa...
ATAL
2003
Springer
14 years 2 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
DRM
2006
Springer
13 years 10 months ago
2006
Springer
In high-tech businesses ranging from Internet service providers to e-commerce websites and music stores like Apple iTunes, there is considerable potential for collecting personal ...