LEADER 05987nam 22008295 450 001 996465618003316 005 20200702111549.0 010 $a1-280-38682-7 010 $a9786613564740 010 $a3-642-13338-X 024 7 $a10.1007/978-3-642-13338-1 035 $a(CKB)2670000000028959 035 $a(SSID)ssj0000446588 035 $a(PQKBManifestationID)11282023 035 $a(PQKBTitleCode)TC0000446588 035 $a(PQKBWorkID)10504341 035 $a(PQKB)10414907 035 $a(DE-He213)978-3-642-13338-1 035 $a(MiAaPQ)EBC3065347 035 $a(PPN)149063563 035 $a(EXLCZ)992670000000028959 100 $a20100608d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLanguages, Methodologies, and Development Tools for Multi-Agent Systems$b[electronic resource] $eSecond International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers /$fedited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (X, 183 p. 40 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v6039 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-13337-1 320 $aIncludes bibliographical references and index. 327 $aAgent Architectures -- The ARTS Real-Time Agent Architecture -- Reducing Agent Plans to Workflows -- Agent Programming Languages and Methodologies -- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming -- Temporal Planning in Dynamic Environments for P-CLAIM Agents -- Data Driven Language for Agents Secure Interaction -- Programming Social Middleware through Social Interaction Types -- Social Interaction Models -- Detecting Exceptions in Commitment Protocols: Discovering Hidden States -- Verifiable Semantic Model for Agent Interactions Using Social Commitments -- Development Tools for Multi-agent Systems -- Call Graph Profiling for Multi Agent Systems -- Applications -- A Methodology for Developing Self-explaining Agents for Virtual Training. 330 $aThis book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7?9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems. 410 0$aLecture Notes in Artificial Intelligence ;$v6039 606 $aImmunology 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer simulation 606 $aComputers 606 $aApplication software 606 $aImmunology$3https://scigraph.springernature.com/ontologies/product-market-codes/B14000 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 607 $aTurin <2009>$2swd 615 0$aImmunology. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer simulation. 615 0$aComputers. 615 0$aApplication software. 615 14$aImmunology. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aSimulation and Modeling. 615 24$aModels and Principles. 615 24$aInformation Systems Applications (incl. Internet). 676 $a006.3 702 $aDastani$b Mehdi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEl Fallah Seghrouchni$b Amal$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTorroni$b Paolo$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465618003316 996 $aLanguages, Methodologies and Development Tools for Multi-Agent Systems$9774459 997 $aUNISA