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.
CITATION STYLE
Vasconcelos, W. W. (2004). Logic-based electronic institutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2990, pp. 221–242). Springer Verlag. https://doi.org/10.1007/978-3-540-25932-9_12
Mendeley helps you to discover research relevant for your work.