03405nam 22006855 450 991048374560332120200706075401.03-319-14484-710.1007/978-3-319-14484-9(CKB)3710000000325057(SSID)ssj0001408248(PQKBManifestationID)11727561(PQKBTitleCode)TC0001408248(PQKBWorkID)11346945(PQKB)10372189(DE-He213)978-3-319-14484-9(MiAaPQ)EBC5587174(Au-PeEL)EBL5587174(OCoLC)899066647(PPN)183152603(EXLCZ)99371000000032505720141212d2014 u| 0engurnn#008mamaatxtccrEngineering Multi-Agent Systems[electronic resource] Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers /edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (XII, 451 p. 125 illus.)Lecture Notes in Artificial Intelligence ;8758Bibliographic Level Mode of Issuance: Monograph3-319-14483-9 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.This 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.Lecture Notes in Artificial Intelligence ;8758Artificial intelligenceSoftware engineeringComputer programmingArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial intelligence.Software engineering.Computer programming.Artificial Intelligence.Software Engineering.Programming Techniques.006.3Dalpiaz Fabianoedthttp://id.loc.gov/vocabulary/relators/edtDix Jürgenedthttp://id.loc.gov/vocabulary/relators/edtvan Riemsdijk M. Birnaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483745603321Engineering Multi-Agent Systems2803788UNINA