LEADER 04473nam 22008175 450 001 9910484719703321 005 20251226200055.0 010 $a3-540-79043-8 024 7 $a10.1007/978-3-540-79043-3 035 $a(CKB)1000000000490891 035 $a(SSID)ssj0000319607 035 $a(PQKBManifestationID)11243369 035 $a(PQKBTitleCode)TC0000319607 035 $a(PQKBWorkID)10339728 035 $a(PQKB)10144265 035 $a(DE-He213)978-3-540-79043-3 035 $a(MiAaPQ)EBC4975658 035 $a(MiAaPQ)EBC5591551 035 $a(MiAaPQ)EBC6386418 035 $a(Au-PeEL)EBL4975658 035 $a(CaONFJC)MIL185679 035 $a(OCoLC)1024276240 035 $a(Au-PeEL)EBL5591551 035 $a(OCoLC)1061358242 035 $a(PPN)125218796 035 $a(EXLCZ)991000000000490891 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Multi-Agent Systems $eFifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers /$fedited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (XII, 267 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4908 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-79042-X 327 $aInvited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods -- The Goal Oriented Teams (GORITE) Framework -- Regular Papers -- Agents Do It for Money - Accounting Features in Agents -- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions -- Interoperability for Bayesian Agents in the Semantic Web -- The A&A Programming Model and Technology for Developing Agent Environments in MAS -- A Practical Agent Programming Language -- A Common Semantic Basis for BDI Languages -- Adding Structure to Agent Programming Languages -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL -- Specifying and Verifying a MAS:The Robots on Mars Case Study -- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs -- Hybrid Multiagent Systems with Timed Synchronization ? Specification and Model Checking -- Agent Contest Competition -- Agent Contest Competition: 3rd Edition -- Developing a Team of Gold Miners Using Jason -- Going for Gold with 2APL -- Collecting Gold -- JIAC IV in Multi-Agent Programming Contest 2007 -- An Agent Team Based on FLUX for the ProMAS Contest 2007. 330 $aThis book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. The 11 revised full papers presented together with 2 invited articles address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v4908 606 $aArtificial intelligence 606 $aComputer networks 606 $aSoftware engineering 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 615 0$aArtificial intelligence. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 14$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 676 $a006.3 702 $aDastani$b Mehdi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484719703321 996 $aProgramming Multi-Agent Systems$9772268 997 $aUNINA