1383 search results - page 12 / 277 » Autonomous Agents with Norms |
AAMAS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
ATAL
2007
Springer
14 years 27 days ago
2007
Springer
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ļ...
SBIA
2004
Springer
14 years 2 days ago
2004
Springer
We elaborate on the veriļ¬cation of properties of electronic institutions, a formalism to deļ¬ne and analyse protocols among agents with a view to achieving global and individual...
ATAL
2008
Springer
13 years 8 months ago
2008
Springer
Our main interest research is focused on reaching a decentralized form of social order through the usage of social norms in virtual communities. In this paper, we analyze the effe...
IAT
2009
IEEE
14 years 1 months ago
2009
IEEE
āThe import of the notion of institution in the design of MASs requires to develop formal and efļ¬cient methods for modeling the interaction between agentsā behaviour and norm...