Skip to main content
SpringerLink
Log in
Book cover

Engineering Multi-Agent Systems

Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Fabiano Dalpiaz

    1. Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jürgen Dix

    1. Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. Birna Riemsdijk

    1. Department of Intelligent Systems, Faculty of Electrical Engineering, Delft University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

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

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

Included in the following conference series:

Conference proceedings info: EMAS 2014.

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

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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

Table of contents (22 papers)

  1. Front Matter

    Download chapter PDF

  2. The Shaping of the Agent-Oriented Mindset

    • Koen V. Hindriks
    Pages 1-14

  3. Keeping a Clear Separation between Goals and Plans

    • Costin Caval, Amal El Fallah Seghrouchni, Patrick Taillibert
    Pages 15-39

  4. A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

    • Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
    Pages 40-57

  5. Improving the Design and Modularity of BDI Agents with Capability Relationships

    • Ingrid Nunes
    Pages 58-80

  6. A Scalable Runtime Platform for Multiagent-Based Simulation

    • Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Philipp Kraus, Jörg P. M”uller
    Pages 81-102

  7. Security Games in the Field: Deployments on a Transit System

    • Francesco M. Delle Fave, Matthew Brown, Chao Zhang, Eric Shieh, Albert Xin Jiang, Heather Rosoff et al.
    Pages 103-126

  8. The AORTA Architecture: Integrating Organizational Reasoning in Jason

    • Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen
    Pages 127-145

  9. Keep Improving MAS Method Fragments: A Medee-Based Case Study for MOISE+

    • Sara Casare, Anarosa Alves Franco Brandao, Jaime Sichman
    Pages 146-162

  10. Towards Process-Oriented Modelling and Creation of Multi-Agent Systems

    • Tobias Küster, Axel Heßler, Sahin Albayrak
    Pages 163-180

  11. Environments and Organizations in Multi-Agent Systems: From Modelling to Code

    • Daniela Maria Uez, Jomi Fred Hübner
    Pages 181-203

  12. From Multi-Agent Programming to Object Oriented Design Patterns

    • Mehdi Dastani, Bas Testerink
    Pages 204-226

  13. CaFé: A Group Process to Rationalize Technologies in Hybrid AAMAS Systems

    • H. Van Dyke Parunak, Marcus Huber, Randolph Jones, Michael Quist, Jack Zaientz
    Pages 227-245

  14. Efficient Verification of MASs with Projections

    • Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
    Pages 246-270

  15. Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation

    • Slawomir Kmiec, Yves Lespérance
    Pages 271-290

  16. Side Effects of Agents Are Not Just Random

    • Bruno Mermet, Gaële Simon
    Pages 291-308

  17. Mutation Testing for Jason Agents

    • Zhan Huang, Rob Alexander, John Clark
    Pages 309-327

  18. Tractable Reasoning about Group Beliefs

    • Barbara Dunin-Kęplicz, Andrzej Szałas, Rineke Verbrugge
    Pages 328-350

  19. Semantic Representations of Agent Plans and Planning Problem Domains

    • Artur Freitas, Daniela Schmidt, Alison Panisson, Felipe Meneguzzi, Renata Vieira, Rafael H. Bordini
    Pages 351-366

  20. N-Jason: Run-Time Norm Compliance in AgentSpeak(L)

    • JeeHang Lee, Julian Padget, Brian Logan, Daniela Dybalova, Natasha Alechina
    Pages 367-387
Back to top

Other volumes

  1. Engineering Multi-Agent Systems

Keywords

About this book

This book constitutes the refereed proceedings of the Second International Workshop on Engineering Multi-Agent Systems, EMAS 2014, held in Paris, France, in May 2014. The 22 full papers were carefully reviewed and selected from 41 submissions. The focus of the papers is on following topics: intelligent agents, multi-agent systems, software design engineering, model-driven software engineering, reasoning about belief and knowledge, cooperation and coordination, constraint and logic programming, software verification, design patterns.

Editors and Affiliations

  • Department of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands

    Fabiano Dalpiaz

  • Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  • Department of Intelligent Systems, Faculty of Electrical Engineering, Delft University of Technology, Delft, The Netherlands

    M. Birna Riemsdijk

Bibliographic Information

  • Book Title: Engineering Multi-Agent Systems

  • Book Subtitle: Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

  • Editors: Fabiano Dalpiaz, Jürgen Dix, M. Birna Riemsdijk

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Cham

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

  • Copyright Information: Springer International Publishing Switzerland 2014

  • Softcover ISBN: 978-3-319-14483-2Published: 29 December 2014

  • eBook ISBN: 978-3-319-14484-9Published: 12 December 2014

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 451

  • Number of Illustrations: 125 b/w illustrations

  • Topics: Artificial Intelligence, Software Engineering, Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation