TY  - BOOK
AU  - Baldoni,Matteo
AU  - Müller,Jörg P.
AU  - Nunes,Ingrid
AU  - Zalila-Wenkstern,Rym
ED  - SpringerLink (Online service)
TI  - Engineering Multi-Agent Systems: 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers 
T2  - Lecture Notes in Artificial Intelligence
SN  - 9783319509839
AV  - Q334-342 
U1  - 006.3 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Artificial intelligence
KW  - Software engineering
KW  - Computer programming
KW  - Computer communication systems
KW  - Mathematical logic
KW  - Computers and civilization
KW  - Artificial Intelligence
KW  - Software Engineering
KW  - Programming Techniques
KW  - Computer Communication Networks
KW  - Mathematical Logic and Formal Languages
KW  - Computers and Society
N2  - This book constitutes revised, selected, and invited papers from the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in Singapore, in May 2016, in conjunction with AAMAS. The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The book also contains 2 invited papers; extended versions of AAMAS 2016 demonstration abstracts. EMAS deals with MAS software engineering processes, methodologies and techniques; Programming languages for MAS; Formal methods and declarative technologies for the specification, validation and verification of MAS; and development tools
UR  - https://doi.org/10.1007/978-3-319-50983-9
ER  -