Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

DALT
2003
Springer

favoriteEmaildiscussreport

105views Intelligent Agents» more DALT 2003»

Logic-Based Electronic Institutions

13 years 9 months ago

Logic-Based Electronic Institutions

Download www.csd.abdn.ac.uk

We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on ﬁrst-order logic and set theory to represent an expressive class of electronic institutions. We also provide a formal semantics for our constructs and present a distributed implementation of a platform to enact electronic institutions speciﬁed in our formalism.

Wamberto Weber Vasconcelos

Real-time Traffic

DALT 2003 | Electronic Institutions | Logic-based Rendition | Open Agent Organisations |

claim paper

Related Content

» Adaptation of Autonomic Electronic Institutions Through Norms and Institutional Agents

» Electronic institutions development environment

» AMELI An AgentBased Middleware for Electronic Institutions

» Humans and agents in 3D electronic institutions

» Virtual institutions prototype

» Completing the Virtual Analogy of Real Institutions via iObjects

» Fencing the Open Fields Empirical Concerns on Electronic Institutions Invited Paper

» Using CaseBased Reasoning in Autonomic Electronic Institutions

» Norm Verification and Analysis of Electronic Institutions

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	DALT
Authors	Wamberto Weber Vasconcelos

Comments (0)