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 / [electronic resource] :
edited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simão Sichman, Javier Vázquez-Salceda.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
- XII, 259 p. Also available online. online resource.
- Lecture Notes in Computer Science, 3913 0302-9743 ; .
- Lecture Notes in Computer Science, 3913 .
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.
9783540351764
10.1007/11775331 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Q334-342 TJ210.2-211.495
006.3
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.
9783540351764
10.1007/11775331 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Artificial intelligence.
Computer Science.
Artificial Intelligence (incl. Robotics).
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Q334-342 TJ210.2-211.495
006.3