157 search results - page 3 / 32 » Logic-Based Electronic Institutions |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we present an application build on top of electronic institutions in order to create a remote experimental platform for human and virtual agents. Our software object...
SBIA
2004
Springer
14 years 25 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...
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
NORMAS
2005
Springer
14 years 29 days ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
ATAL
2007
Springer
13 years 11 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...