000 03362nam a22006375i 4500
001 978-3-642-22723-3
003 DE-He213
005 20240730183315.0
007 cr nn 008mamaa
008 110819s2011 gw | s |||| 0|eng d
020 _a9783642227233
_9978-3-642-22723-3
024 7 _a10.1007/978-3-642-22723-3
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aLanguages, Methodologies, and Development Tools for Multi-Agent Systems
_h[electronic resource] :
_bThird International Workshop, LADS 2010, Lyon, France, August 30--September 1, 2010, Revised Selected Papers /
_cedited by Mehdi Dastani, Amal El Fallah Seghrouchni, Jomi Hübner, Joao Leite.
250 _a1st ed. 2011.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2011.
300 _aIX, 153 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v6822
520 _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.
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer simulation.
_95106
650 0 _aComputer science.
_99832
650 0 _aApplication software.
_9131432
650 0 _aComputer programming.
_94169
650 1 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Modelling.
_9131433
650 2 4 _aModels of Computation.
_931806
650 2 4 _aComputer and Information Systems Applications.
_9131434
650 2 4 _aProgramming Techniques.
_9131435
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aDastani, Mehdi.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9131436
700 1 _aEl Fallah Seghrouchni, Amal.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9131437
700 1 _aHübner, Jomi.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9131438
700 1 _aLeite, Joao.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9131439
710 2 _aSpringerLink (Online service)
_9131440
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642227226
776 0 8 _iPrinted edition:
_z9783642227240
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v6822
_9131441
856 4 0 _uhttps://doi.org/10.1007/978-3-642-22723-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91793
_d91793