Engineering Multi-Agent Systems Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers / [electronic resource] :
edited by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk.
- 1st ed. 2014.
- XII, 451 p. 125 illus. online resource.
- Lecture Notes in Artificial Intelligence, 8758 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 8758 .
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.
9783319144849
10.1007/978-3-319-14484-9 doi
Artificial intelligence.
Software engineering.
Computer programming.
Artificial Intelligence.
Software Engineering.
Programming Techniques.
Q334-342 TA347.A78
006.3
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.
9783319144849
10.1007/978-3-319-14484-9 doi
Artificial intelligence.
Software engineering.
Computer programming.
Artificial Intelligence.
Software Engineering.
Programming Techniques.
Q334-342 TA347.A78
006.3