LEADER 05678nam 22008415 450 001 996465733403316 005 20200706152815.0 010 $a3-540-35176-0 024 7 $a10.1007/11775331 035 $a(CKB)1000000000233021 035 $a(SSID)ssj0000317036 035 $a(PQKBManifestationID)11237289 035 $a(PQKBTitleCode)TC0000317036 035 $a(PQKBWorkID)10286925 035 $a(PQKB)10337002 035 $a(DE-He213)978-3-540-35176-4 035 $a(MiAaPQ)EBC3068049 035 $a(PPN)123135907 035 $a(EXLCZ)991000000000233021 100 $a20101222d2006 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination, Organizations, Institutions, and Norms in Multi-Agent Systems$b[electronic resource] $eAAMAS 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 /$fedited by Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Jaime Sichman, Javier Vázquez-Salceda 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (XII, 259 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3913 300 $a"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. 311 $a3-540-35173-6 320 $aIncludes bibliographical references and index. 327 $aModelling, 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. 410 0$aLecture Notes in Artificial Intelligence ;$v3913 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer programming 606 $aComputer communication systems 606 $aProgramming languages (Electronic computers) 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aComputer communication systems. 615 0$aProgramming languages (Electronic computers). 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aComputer Communication Networks. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a006.3 702 $aBoissier$b Olivier$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPadget$b Julian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDignum$b Virginia$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLindemann$b Gabriela$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMatson$b Eric T$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOssowski$b Sascha$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSichman$b Jaime$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVázquez-Salceda$b Javier$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Organizations in Multi-Agent Systems$f(2005 :$eUtrecht, Netherlands) 906 $aBOOK 912 $a996465733403316 996 $aCoordination, Organizations, Institutions, and Norms in Multi-Agent Systems$9772458 997 $aUNISA