Engineering Multi-agent Systems : 4th International Workshop, Revised, Selected, and Invited Papers, Paperback by Baldoni, Matteo (EDT); Müller, Jörg P. (EDT); Nunes, Ingrid (EDT); Zalila-wenkstern, Rym (EDT), ISBN 3319509829, ISBN-13 9783319509822, Brand New, Free shipping in the US

<p>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. <br> The 10 full papers presented in this volume were carefully reviewed and selected from 14 submissions. Th 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.</p>