04080nam 22007815 450 99646606670331620200629221558.03-642-22723-610.1007/978-3-642-22723-3(CKB)2550000000052318(SSID)ssj0000610132(PQKBManifestationID)11388426(PQKBTitleCode)TC0000610132(PQKBWorkID)10624019(PQKB)10253441(DE-He213)978-3-642-22723-3(MiAaPQ)EBC3067116(PPN)156321564(EXLCZ)99255000000005231820110819d2011 u| 0engurnn#008mamaatxtccrLanguages, Methodologies, and Development Tools for Multi-Agent Systems[electronic resource] Third International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers /edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (IX, 153 p.)Lecture Notes in Artificial Intelligence ;6822Bibliographic Level Mode of Issuance: Monograph3-642-22722-8 Includes bibliographical references and index.This book constitutes the thoroughly refereed post-workshop proceedings of the Third International Workshop on Languages, Methodologies, and Development Tools for Multi-Agent Systems, LADS 2010, held in Lyon, France, in August/September 2010, as part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The 8 revised full papers presented were carefully selected during two rounds of reviews from 11 initial submissions. The papers address issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictablity and verification.Lecture Notes in Artificial Intelligence ;6822Artificial intelligenceComputer simulationComputersApplication softwareComputer programmingComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Simulation 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/I18040Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Computer simulation.Computers.Application software.Computer programming.Computer logic.Artificial Intelligence.Simulation and Modeling.Models and Principles.Information Systems Applications (incl. Internet).Programming Techniques.Logics and Meanings of Programs.006.3Dastani Mehdiedthttp://id.loc.gov/vocabulary/relators/edtEl Fallah Seghrouchni Amaledthttp://id.loc.gov/vocabulary/relators/edtHübner Jomiedthttp://id.loc.gov/vocabulary/relators/edtLeite Joaoedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466066703316Languages, Methodologies and Development Tools for Multi-Agent Systems774459UNISA