Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
by
Boissier, Olivier. editor.
Title
:
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
Author
:
Boissier, Olivier. editor.
ISBN
:
9783540351764
Physical Description
:
XII, 259 p. Also available online. online resource.
Series
:
Lecture Notes in Computer Science, 3913
Contents
:
Modelling, Analyzing and Programming Organizations -- A Coordination Framework Based on the Sociology of Organized Action -- Formal Modeling and Analysis of Organizations -- Towards Sustained Team Effectiveness -- Verification and Analysis of Organisational Change -- : A Middleware for Developing Organised Multi-agent Systems -- Modelling and Analyzing Institutions -- Fencing the Open Fields: Empirical Concerns on Electronic Institutions (Invited Paper) -- Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming -- Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation -- Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts -- An Event Driven Approach to Norms in Artificial Institutions -- Modelling Normative Designs -- Designing Normative Behaviour Via Landmarks -- Design by Contract Deontic Design Language for Multiagent Systems -- Informed Deliberation During Norm-Governed Practical Reasoning -- Organizations in Artificial Social Systems -- Evaluation and Regulation -- Exploring Congruence Between Organizational Structure and Task Performance: A Simulation Approach -- Verifying Norm Compliancy of Protocols -- A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems.
Subject Term
:
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Artificial Intelligence (incl. Robotics).
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Added Author
:
Boissier, Olivier.
Padget, Julian.
Dignum, Virginia.
Lindemann, Gabriela.
Matson, Eric.
Ossowski, Sascha.
Sichman, Jaime Simão.
Vázquez-Salceda, Javier.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | Status |
---|
IYTE Library | E-Book | 511249-1001 | Q334 -342 | Online Springer |