Embedding landmarks and scenes in a computational model of institutions

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study. 2008 Springer-Verlag Berlin Heidelberg.
Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent Systems III
Subtitle of host publicationCOIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers
EditorsJ. S. Sichman, J. Padget, S. Ossowski, P. Noriega
PublisherSpringer
Pages41-57
Number of pages17
ISBN (Electronic)9783540790037
ISBN (Print)9783540790020
DOIs
Publication statusPublished - 2008
EventInternational Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007 - Durham, UK United Kingdom
Duration: 1 Jan 2008 → …

Publication series

NameLecture Notes in Computer Science
Volume4870
ISSN (Print)0302-9743

Conference

ConferenceInternational Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007
CountryUK United Kingdom
CityDurham
Period1/01/08 → …

Keywords

  • Technical presentations
  • Societies and institutions

Cite this

Cliffe, O., De Vos, M., & Padget, J. (2008). Embedding landmarks and scenes in a computational model of institutions. In J. S. Sichman, J. Padget, S. Ossowski, & P. Noriega (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers (pp. 41-57). (Lecture Notes in Computer Science; Vol. 4870). Springer. https://doi.org/10.1007/978-3-540-79003-7_4

Embedding landmarks and scenes in a computational model of institutions. / Cliffe, Owen; De Vos, Marina; Padget, Julian.

Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. ed. / J. S. Sichman; J. Padget; S. Ossowski; P. Noriega. Springer, 2008. p. 41-57 (Lecture Notes in Computer Science; Vol. 4870).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cliffe, O, De Vos, M & Padget, J 2008, Embedding landmarks and scenes in a computational model of institutions. in JS Sichman, J Padget, S Ossowski & P Noriega (eds), Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Lecture Notes in Computer Science, vol. 4870, Springer, pp. 41-57, International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, Durham, UK United Kingdom, 1/01/08. https://doi.org/10.1007/978-3-540-79003-7_4
Cliffe O, De Vos M, Padget J. Embedding landmarks and scenes in a computational model of institutions. In Sichman JS, Padget J, Ossowski S, Noriega P, editors, Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Springer. 2008. p. 41-57. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-79003-7_4
Cliffe, Owen ; De Vos, Marina ; Padget, Julian. / Embedding landmarks and scenes in a computational model of institutions. Coordination, Organizations, Institutions, and Norms in Agent Systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. editor / J. S. Sichman ; J. Padget ; S. Ossowski ; P. Noriega. Springer, 2008. pp. 41-57 (Lecture Notes in Computer Science).
@inproceedings{bd47bbdc38304dcc8064990420112967,
title = "Embedding landmarks and scenes in a computational model of institutions",
abstract = "Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study. 2008 Springer-Verlag Berlin Heidelberg.",
keywords = "Technical presentations, Societies and institutions",
author = "Owen Cliffe and {De Vos}, Marina and Julian Padget",
year = "2008",
doi = "10.1007/978-3-540-79003-7_4",
language = "English",
isbn = "9783540790020",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "41--57",
editor = "Sichman, {J. S.} and J. Padget and S. Ossowski and P. Noriega",
booktitle = "Coordination, Organizations, Institutions, and Norms in Agent Systems III",

}

TY - GEN

T1 - Embedding landmarks and scenes in a computational model of institutions

AU - Cliffe, Owen

AU - De Vos, Marina

AU - Padget, Julian

PY - 2008

Y1 - 2008

N2 - Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study. 2008 Springer-Verlag Berlin Heidelberg.

AB - Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different authors have tackled the problem of designing and verifying institutions from different angles. In this paper we propose a formalism that is capable of unifying and extending some of these approaches, as well as providing the necessary tools to assist in the design and verification processes. We demonstrate our approach with a non-trivial case-study. 2008 Springer-Verlag Berlin Heidelberg.

KW - Technical presentations

KW - Societies and institutions

UR - http://dx.doi.org/10.1007/978-3-540-79003-7_4

U2 - 10.1007/978-3-540-79003-7_4

DO - 10.1007/978-3-540-79003-7_4

M3 - Conference contribution

SN - 9783540790020

T3 - Lecture Notes in Computer Science

SP - 41

EP - 57

BT - Coordination, Organizations, Institutions, and Norms in Agent Systems III

A2 - Sichman, J. S.

A2 - Padget, J.

A2 - Ossowski, S.

A2 - Noriega, P.

PB - Springer

ER -