Engineering Multi-Agent Systems

4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

  • Matteo Baldoni
  • Jörg P. Müller
  • Ingrid Nunes
  • Rym Zalila-Wenkstern
Conference proceedings EMAS 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10093)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 10093)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Katie Atkinson, Frans Coenen, Phil Goddard, Terry R. Payne, Luke Riley
    Pages 1-21
  3. Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, Marco Montali
    Pages 22-38
  4. Angelo Ferrando, Davide Ancona, Viviana Mascardi
    Pages 39-58
  5. Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker
    Pages 59-80
  6. Gustavo Ortiz-Hernández, Jomi Fred Hübner, Rafael H. Bordini, Alejandro Guerra-Hernández, Guillermo J. Hoyos-Rivera, Nicandro Cruz-Ramírez
    Pages 117-135
  7. Carlos Eduardo Pantoja, Márcio Fernando Stabile Jr., Nilson Mori Lazarin, Jaime Simão Sichman
    Pages 136-155
  8. Ferdinand Piette, Costin Caval, Cédric Dinont, Amal El Fallah Seghrouchni, Patrick Tailliert
    Pages 156-175
  9. Yuan Yao, Lavindra de Silva, Brian Logan
    Pages 176-191
  10. Back Matter
    Pages 227-227

About these proceedings

Introduction

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.

Keywords

formal methods intelligent agents mobile agents multi-agent systems software system structures agent design agent-oriented programming ambient intelligence application framework commitment cooperation and coordination goal-driven agents knowledge representation and reasoning medical protocol execution modularity online social networks ontology privacy protocol-driven agents software system models

Editors and affiliations

  • Matteo Baldoni
    • 1
  • Jörg P. Müller
    • 2
  • Ingrid Nunes
    • 3
  • Rym Zalila-Wenkstern
    • 4
  1. 1.Università degli Studi di TorinoTurinItaly
  2. 2.TU ClausthalClausthal-ZellerfeldGermany
  3. 3.Universidade Federal do Rio Grande do SulPorto AlegreBrazil
  4. 4.University of Texas at DallasRichardsonUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-50983-9
  • Copyright Information Springer International Publishing AG 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-50982-2
  • Online ISBN 978-3-319-50983-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book