Logic-based electronic institutions

Research output: Book/ReportBook

13 Citations (Scopus)

Abstract

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.

Original languageEnglish
PublisherUnknown Publisher
Number of pages22
Publication statusPublished - 2004

Cite this

Logic-based electronic institutions. / Vasconcelos, W W .

Unknown Publisher, 2004. 22 p.

Research output: Book/ReportBook

Vasconcelos WW. Logic-based electronic institutions. Unknown Publisher, 2004. 22 p.
Vasconcelos, W W . / Logic-based electronic institutions. Unknown Publisher, 2004. 22 p.
@book{4ddb9c3e410247c58a4ddcb003789f8b,
title = "Logic-based electronic institutions",
abstract = "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.",
author = "Vasconcelos, {W W}",
year = "2004",
language = "English",
publisher = "Unknown Publisher",

}

TY - BOOK

T1 - Logic-based electronic institutions

AU - Vasconcelos, W W

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

M3 - Book

BT - Logic-based electronic institutions

PB - Unknown Publisher

ER -