143 search results - page 4 / 29 » Specifying and Reasoning with Institutional Agents |
150
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the speciļ¬cation of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
115
Voted
CLIMA
2011
14 years 26 days ago
2011
We propose a logical framework to represent and reason about some important aspects of a theory of institutional action: (1) the distinctions between physical facts and actions and...
116
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we propose a methodology for the construction of 3D electronic institutions. 3D electronic institutions are normative environments where software and human agents ca...
91
Voted
EUMAS
2006
15 years 2 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
82
Voted
ATAL
2007
Springer
15 years 7 months 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ļ...