Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Engineering Multi-Agent Systems

Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Matteo Baldoni

    1. Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luciano Baresi

    1. DEIB - Politecnico di Milano, Milano, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mehdi Dastani

    1. Dept. of Information& Computing Sciences, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: EMAS 2015.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This book constitutes the refereed proceedings of the Third International Workshop on Engineering Multi-Agent Systems, EMAS 2015, held in Istanbul, Turkey, in May 2015. 
The 10 full papers, presented with two invited talks, were carefully reviewed and selected from 19 submissions. The focus of the papers is on the topics such as: programming frameworks, languages, models and abstractions for MAS; formal methods and declarative technologies for specification, verification and engineering of MAS; MAS software engineering methodologies and techniques, and development concerns; interoperability and integration; tools and testbeds; MAS techniques; and empirical studies and (industrial) experience reports.

Similar content being viewed by others

Keywords

Table of contents (12 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Future for Agent Programming

      • Brian Logan
      Pages 3-17

    3. Towards Agent Aggregates: Perspectives and Challenges

      • Mirko Viroli, Alessandro Ricci
      Pages 18-30

  3. Contributed Papers

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. Designing a Knowledge Representation Interface for Cognitive Agents

      • Timea Bagosi, Joachim de Greeff, Koen V. Hindriks, Mark A. Neerincx
      Pages 33-50

    3. A Probabilistic BPMN Normal Form to Model and Advise Human Activities

      • Hector G. Ceballos, Victor Flores-Solorio, Juan Pablo Garcia
      Pages 51-69

    4. ACE: A Flexible Environment for Complex Event Processing in Logical Agents

      • Stefania Costantini
      Pages 70-91

    5. A Testbed for Agent Oriented Smart Grid Implementation

      • Jorge J. Gomez-Sanz, Nuria Cuartero-Soler, Sandra Garcia-Rodriguez
      Pages 92-108

    6. Quantitative Analysis of Multiagent Systems Through Statistical Model Checking

      • Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
      Pages 109-130

    7. Semantic Mutation Testing for Multi-agent Systems

      • Zhan Huang, Rob Alexander
      Pages 131-152

    8. A Formal Description of a Mapping from Business Processes to Agents

      • Tobias Küster, Marco Lützenberger, Sahin Albayrak
      Pages 153-170

    9. Validating Requirements Using Gaia Roles Models

      • Nektarios Mitakidis, Pavlos Delias, Nikolaos Spanoudakis
      Pages 171-190

    10. Programming Mirror Worlds: An Agent-Oriented Programming Perspective

      • Alessandro Ricci, Angelo Croatti, Pietro Brunetti, Mirko Viroli
      Pages 191-211

    11. Evaluating Different Concurrency Configurations for Executing Multi-Agent Systems

      • Maicon R. Zatelli, Alessandro Ricci, Jomi F. Hübner
      Pages 212-230

  4. Back Matter

    Pages 231-231
    Download chapter PDF
Back to top

Other volumes

  1. Engineering Multi-Agent Systems

Editors and Affiliations

  • Torino, Italy

    Matteo Baldoni

  • DEIB - Politecnico di Milano, Milano, Italy

    Luciano Baresi

  • Dept. of Information& Computing Sciences, Utrecht, The Netherlands

    Mehdi Dastani

Bibliographic Information

  • Book Title: Engineering Multi-Agent Systems

  • Book Subtitle: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

  • Editors: Matteo Baldoni, Luciano Baresi, Mehdi Dastani

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-319-26184-3

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer International Publishing Switzerland 2015

  • Softcover ISBN: 978-3-319-26183-6Published: 15 November 2015

  • eBook ISBN: 978-3-319-26184-3Published: 14 November 2015

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 231

  • Number of Illustrations: 55 illustrations in colour

  • Topics: Artificial Intelligence, Software Engineering, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation