143 search results - page 4 / 29 » Specifying and Reasoning with Institutional Agents |
ATAL
2008
Springer
13 years 6 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 (...
CLIMA
2011
12 years 5 months 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...
ATAL
2007
Springer
13 years 9 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...
EUMAS
2006
13 years 7 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...
ATAL
2007
Springer
13 years 12 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ļ...