Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems [electronic resource] : AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers /
International Workshop on Agents, Norms, and Institutions for Regulated Multi-Agent Systems(2005 :Utrecht, Netherlands)
International Workshop on Organizations in Multi-Agent Systems(2005 :Utrecht, Netherlands)
Boissier, Olivier.editor.
Padget, Julian.editor.
Dignum, Virginia.editor.
Lindemann, Gabriela.editor.
Matson, Eric T.editor.
Ossowski, Sascha.editor.
Sichman, Jaime.editor.
Vázquez-Salceda, Javier.editor.
"ANIREM (Agents, Norms and Institutions for Regulated Multiagent Systems) and OOOP (From Organizations to Organization-Oriented Programming in MAS), that were part of the workshop program at AAMAS 2005"--Pref.
Includes bibliographical references and index.
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.
Artificial intelligence.
Software engineering.
Computer logic.
Computer programming.
Computer communication systems.
Programming languages (Electronic computers).
Artificial Intelligence.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.

Lecture Notes in Computer Science