Advertisement

Engineering Multi-Agent Systems

6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

  • Danny Weyns
  • Viviana Mascardi
  • Alessandro Ricci
Conference proceedings EMAS 2018

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

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

Table of contents

  1. Front Matter
    Pages i-xii
  2. State of the Art

    1. Front Matter
      Pages 1-1
    2. Viviana Mascardi, Danny Weyns
      Pages 3-16
  3. Programming Agents and MAS

    1. Front Matter
      Pages 17-17
    2. Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
      Pages 19-33
    3. Alessandro Ricci, Rafael H. Bordini, Jomi F. Hübner, Rem Collier
      Pages 34-51
  4. Agent-Oriented Software Engineering

    1. Front Matter
      Pages 53-53
    2. Tomás Miranda, Moharram Challenger, Baris Tekin Tezel, Omer Faruk Alaca, Ankica Barišić, Vasco Amaral et al.
      Pages 55-75
    3. Artur Freitas, Rafael H. Bordini, Renata Vieira
      Pages 76-95
    4. Massimo Cossentino, Luca Sabatucci, Valeria Seidita
      Pages 96-116
  5. Formal Analysis and Techniques

    1. Front Matter
      Pages 137-137
    2. Michael Winikoff, Louise Dennis, Michael Fisher
      Pages 139-157
    3. Łukasz Białek, Barbara Dunin-Kęplicz, Andrzej Szałas
      Pages 158-180
    4. Timotheus Kampik, Juan Carlos Nieves, Helena Lindgren
      Pages 181-201
    5. László Z. Varga
      Pages 202-221
  6. Modeling and Simulations

    1. Front Matter
      Pages 223-223
    2. Igor Conrado Alves de Lima, Luis Gustavo Nardin, Jaime Simão Sichman
      Pages 225-241
    3. Tasio Méndez, J. Fernando Sánchez-Rada, Carlos A. Iglesias, Paul Cummings
      Pages 263-282
  7. Frameworks and Application Domains

    1. Front Matter
      Pages 283-283
    2. Andrei Ciortea, Olivier Boissier, Alessandro Ricci
      Pages 285-301
    3. Vincent J. Koeman, Harm J. Griffioen, Danny C. Plenge, Koen V. Hindriks
      Pages 302-319
    4. Antonio Chella, Francesco Lanza, Valeria Seidita
      Pages 320-339
    5. Arthur Casals, Amal El Fallah Seghrouchni, Orso Negroni, Anthony Othmani
      Pages 340-350
  8. Back Matter
    Pages 351-351

About these proceedings

Introduction

This book constitutes the revised and selected papers from the 6th International Workshop on Engineering Multi-Agent Systems held in Stockholm, Sweden, in July 2018, in conjunction with AAMAS 2018. The 17 full papers presented in this volume were carefully reviewed and selected from 32 submissions. The book also contains a state-of-the-art paper that reflects on the role and potential of MAS engineering in a number of key facets. The papers are clustered around the following themes: programming agents and MAS, agent-oriented software engineering, formal analysis techniques, rational agents, modeling and simulation, frameworks and application domains.

Keywords

agent based agents artificial intelligence concurrency domain-specific languages emergent behaviour emphatic agents hypermedia intelligent agents Multi-Agent Systems (MAS) ontology models program compilers programming languages self-adaptation semantics software engineering verification

Editors and affiliations

  1. 1.Department of Computer ScienceKU LeuvenLeuvenBelgium
  2. 2.Department of Computer Science, Bioengineering, Robotics and Systems EngineeringUniversità degli Studi di GenovaGenoaItaly
  3. 3.Department of Computer Science and EngineeringUniversity of BolognaCesenaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-25693-7
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-25692-0
  • Online ISBN 978-3-030-25693-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Health & Hospitals
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering