Sciweavers

Share
DALT
2003
Springer

Logic-Based Electronic Institutions

9 years 7 months ago
Logic-Based Electronic Institutions
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-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 specified in our formalism.
Wamberto Weber Vasconcelos
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where DALT
Authors Wamberto Weber Vasconcelos
Comments (0)
books