05987nam 22008295 450 99646561800331620200702111549.01-280-38682-797866135647403-642-13338-X10.1007/978-3-642-13338-1(CKB)2670000000028959(SSID)ssj0000446588(PQKBManifestationID)11282023(PQKBTitleCode)TC0000446588(PQKBWorkID)10504341(PQKB)10414907(DE-He213)978-3-642-13338-1(MiAaPQ)EBC3065347(PPN)149063563(EXLCZ)99267000000002895920100608d2010 u| 0engurnn#008mamaatxtccrLanguages, Methodologies, and Development Tools for Multi-Agent Systems[electronic resource] Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers /edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 183 p. 40 illus.)Lecture Notes in Artificial Intelligence ;6039Bibliographic Level Mode of Issuance: Monograph3-642-13337-1 Includes bibliographical references and index.Agent 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.This 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.Lecture Notes in Artificial Intelligence ;6039ImmunologyArtificial intelligenceComputer programmingComputer simulationComputersApplication softwareImmunologyhttps://scigraph.springernature.com/ontologies/product-market-codes/B14000Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Models and Principleshttps://scigraph.springernature.com/ontologies/product-market-codes/I18016Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Turin <2009>swdImmunology.Artificial intelligence.Computer programming.Computer simulation.Computers.Application software.Immunology.Artificial Intelligence.Programming Techniques.Simulation and Modeling.Models and Principles.Information Systems Applications (incl. Internet).006.3Dastani Mehdiedthttp://id.loc.gov/vocabulary/relators/edtEl Fallah Seghrouchni Amaledthttp://id.loc.gov/vocabulary/relators/edtLeite Joaoedthttp://id.loc.gov/vocabulary/relators/edtTorroni Paoloedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465618003316Languages, Methodologies and Development Tools for Multi-Agent Systems774459UNISA