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
http://dx.doi.org/10.1007/11775331


LibraryMaterial TypeItem BarcodeShelf NumberStatus
IYTE LibraryE-Book511249-1001Q334 -342Online Springer