LEADER 03847oam 2200661 450 001 9910484719703321 005 20210420125408.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 $a20210420d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aProgramming multi-agent systems $e5th international workshop, ProMAS 2007 Honolulu, Hi, USA, May 15, 2007 : revised and invited papers /$fMehdi Dastani [and three others] (editors) 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer,$d[2008] 210 4$d©2008 215 $a1 online resource (XII, 267 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v4908 300 $aBibliographic Level Mode of Issuance: Monograph 311 $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 computer science.$pLecture notes in artificial intelligence ;$v4908. 606 $aIntelligent agents (Computer software)$vCongresses 606 $aComputer programming$vCongresses 606 $aComputer programming 615 0$aIntelligent agents (Computer software) 615 0$aComputer programming 615 0$aComputer programming. 676 $a006.3 702 $aDastani$b Mehdi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a9910484719703321 996 $aProgramming Multi-Agent Systems$9772268 997 $aUNINA