Research

Embedding landmarks and scenes in a computational model of institutions


Reference:

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., 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. Springer, pp. 41-57. (Lecture Notes in Computer Science; 4870)

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

Official URL:

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

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.

Details

Item Type Book Sections
CreatorsCliffe, O., De Vos, M. and Padget, J.
EditorsSichman, J. S., Padget, J., Ossowski, S. and Noriega, P.
DOI10.1007/978-3-540-79003-7_4
Uncontrolled Keywordstechnical presentations, societies and institutions
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code16186

Export

Actions (login required)

View Item