LEADER 04080nam  22007815  450 
001 996466066703316
005 20200629221558.0
010   $a3-642-22723-6
024 7 $a10.1007/978-3-642-22723-3
035   $a(CKB)2550000000052318
035   $a(SSID)ssj0000610132
035   $a(PQKBManifestationID)11388426
035   $a(PQKBTitleCode)TC0000610132
035   $a(PQKBWorkID)10624019
035   $a(PQKB)10253441
035   $a(DE-He213)978-3-642-22723-3
035   $a(MiAaPQ)EBC3067116
035   $a(PPN)156321564
035   $a(EXLCZ)992550000000052318
100   $a20110819d2011      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] $eThird International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers /$fedited by Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (IX, 153 p.)
225 1 $aLecture Notes in Artificial Intelligence ;$v6822
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22722-8 
320   $aIncludes bibliographical references and index.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v6822
606   $aArtificial intelligence
606   $aComputer simulation
606   $aComputers
606   $aApplication software
606   $aComputer programming
606   $aComputer logic
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
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
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aArtificial intelligence.
615  0$aComputer simulation.
615  0$aComputers.
615  0$aApplication software.
615  0$aComputer programming.
615  0$aComputer logic.
615 14$aArtificial Intelligence.
615 24$aSimulation and Modeling.
615 24$aModels and Principles.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aProgramming Techniques.
615 24$aLogics and Meanings of Programs.
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   $aHübner$b Jomi$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLeite$b Joao$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466066703316
996   $aLanguages, Methodologies and Development Tools for Multi-Agent Systems$9774459
997   $aUNISA