LEADER 03378nam 22006855 450 001 9910483745603321 005 20200706075401.0 010 $a3-319-14484-7 024 7 $a10.1007/978-3-319-14484-9 035 $a(CKB)3710000000325057 035 $a(SSID)ssj0001408248 035 $a(PQKBManifestationID)11727561 035 $a(PQKBTitleCode)TC0001408248 035 $a(PQKBWorkID)11346945 035 $a(PQKB)10372189 035 $a(DE-He213)978-3-319-14484-9 035 $a(MiAaPQ)EBC5587174 035 $a(Au-PeEL)EBL5587174 035 $a(OCoLC)899066647 035 $a(PPN)183152603 035 $a(EXLCZ)993710000000325057 100 $a20141212d2014 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEngineering Multi-Agent Systems $eSecond International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /$fedited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 451 p. 125 illus.) 225 1 $aLecture Notes in Artificial Intelligence ;$v8758 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-14483-9 327 $aIntelligent agents -- Multi-agent systems -- Software design engineering -- Model-driven software engineering -- Reasoning about belief and knowledge -- Cooperation and coordination -- Constraint and logic programming -- Software verification -- Design patterns. 330 $aThis book constitutes the refereed proceedings of the Second International Workshop on Engineering Multi-Agent Systems, EMAS 2014, held in Paris, France, in May 2014. The 22 full papers were carefully reviewed and selected from 41 submissions. The focus of the papers is on following topics: intelligent agents, multi-agent systems, software design engineering, model-driven software engineering, reasoning about belief and knowledge, cooperation and coordination, constraint and logic programming, software verification, design patterns. 410 0$aLecture Notes in Artificial Intelligence ;$v8758 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering. 615 24$aProgramming Techniques. 676 $a006.3 702 $aDalpiaz$b Fabiano$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDix$b Jürgen$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $avan Riemsdijk$b M. Birna$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483745603321 996 $aEngineering Multi-Agent Systems$92803788 997 $aUNINA