LEADER 04692nam 22007815 450 001 9910144157403321 005 20251223170607.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 $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,$x2945-9141 ;$v3067 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$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,$x2945-9141 ;$v3067 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aArtificial Intelligence 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and 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 $a9910144157403321 996 $aProgramming Multi-Agent Systems$9772268 997 $aUNINA