|
|
|
|
LEADER |
02101nmm a2200349 u 4500 |
001 |
EB000913893 |
003 |
EBX01000000000000000709789 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
150107 ||| eng |
020 |
|
|
|a 9783319144849
|
100 |
1 |
|
|a Dalpiaz, Fabiano
|e [editor]
|
245 |
0 |
0 |
|a Engineering Multi-Agent Systems
|h Elektronische Ressource
|b Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers
|c edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk
|
250 |
|
|
|a 1st ed. 2014
|
260 |
|
|
|a Cham
|b Springer International Publishing
|c 2014, 2014
|
300 |
|
|
|a XII, 451 p. 125 illus
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Programming Techniques
|
653 |
|
|
|a Computer programming
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Artificial Intelligence
|
653 |
|
|
|a Artificial intelligence
|
700 |
1 |
|
|a Dix, Jürgen
|e [editor]
|
700 |
1 |
|
|a van Riemsdijk, M. Birna
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
490 |
0 |
|
|a Lecture Notes in Artificial Intelligence
|
028 |
5 |
0 |
|a 10.1007/978-3-319-14484-9
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-319-14484-9?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 006.3
|
520 |
|
|
|a 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
|