LEADER 05121nam 22007815 450 001 996466227303316 005 20200706113929.0 010 $a3-540-25936-8 024 7 $a10.1007/b98149 035 $a(CKB)1000000000212415 035 $a(DE-He213)978-3-540-25936-7 035 $a(SSID)ssj0000228778 035 $a(PQKBManifestationID)11173478 035 $a(PQKBTitleCode)TC0000228778 035 $a(PQKBWorkID)10154662 035 $a(PQKB)11310159 035 $a(MiAaPQ)EBC3088105 035 $a(PPN)155209655 035 $a(EXLCZ)991000000000212415 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Multi-Agent Systems$b[electronic resource] $eFirst International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers /$fedited by Mehdi Dastani, Juergen Dix, Amal EL Fallah-Seghrouchni 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (X, 226 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3067 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22180-8 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aSection I: Programming Multiagent Systems -- A Vision for Multi-agent Systems Programming -- Implementing Industrial Multi-agent Systems Using JACKTM -- Programming Software Agents as Designing Executable Business Processes: A Model-Driven Perspective -- Section II: Languages for Multiagent Systems -- Verifiable Multi-agent Programs -- CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents -- A Programming Language for Cognitive Agents Goal Directed 3APL -- Section III: Principles and Tools for Multiagent Systems -- Team Oriented Programming and Proxy Agents: The Next Generation -- Developing Agent Interaction Protocols Using Graphical and Logical Methodologies -- Norm Adoption and Consistency in the NoA Agent Architecture -- A Tool for Integrated Design and Implementation of Conversations in Multiagent Systems -- SPACE: A Method to Increase Tracability in MAS Development. 330 $aAutonomous agents and multi-agent systems have grown into a promising technology offering a credible alternative for the design of intelligent and cooperative systems. Recently efforts have been made to provide novel tools, methods, and frameworks to establish the necessary standards for wider use of MAS as a technology of its own and not only as an attractive paradigm. This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Programming of the First International Workshop on Programming Multi-Agent Systems, PROMAS 2003, held in Melbourne, Australia in July 2003 as part of AAMAS 2003. Besides 8 workshop papers, the volume contains 3 invited papers to complete coverage of the relevant aspects. The papers are organized in topical sections on programming multi-agent systems, languages for multi-agent systems, and principles and tools for multi-agent systems. 410 0$aLecture Notes in Artificial Intelligence ;$v3067 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer logic 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 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 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 communication systems. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a006.3 702 $aDastani$b Mehdi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDix$b Juergen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEL Fallah-Seghrouchni$b Amal$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aProMAS (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466227303316 996 $aProgramming Multi-Agent Systems$9772268 997 $aUNISA