Engineering Multi-Agent Systems: Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

✍ Scribed by Fabiano Dalpiaz, Jürgen Dix, M. Birna van Riemsdijk (eds.)

Publisher: Springer International Publishing
Year: 2014
Tongue: English
Leaves: 462
Series: Lecture Notes in Computer Science 8758 Lecture Notes in Artificial Intelligence
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
The Shaping of the Agent-Oriented Mindset....Pages 1-14
Keeping a Clear Separation between Goals and Plans....Pages 15-39
A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants....Pages 40-57
Improving the Design and Modularity of BDI Agents with Capability Relationships....Pages 58-80
A Scalable Runtime Platform for Multiagent-Based Simulation....Pages 81-102
Security Games in the Field: Deployments on a Transit System....Pages 103-126
The AORTA Architecture: Integrating Organizational Reasoning in Jason ....Pages 127-145
Keep Improving MAS Method Fragments: A Medee-Based Case Study for MOISE+....Pages 146-162
Towards Process-Oriented Modelling and Creation of Multi-Agent Systems....Pages 163-180
Environments and Organizations in Multi-Agent Systems: From Modelling to Code....Pages 181-203
From Multi-Agent Programming to Object Oriented Design Patterns....Pages 204-226
CaFé: A Group Process to Rationalize Technologies in Hybrid AAMAS Systems....Pages 227-245
Efficient Verification of MASs with Projections....Pages 246-270
Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation....Pages 271-290
Side Effects of Agents Are Not Just Random....Pages 291-308
Mutation Testing for Jason Agents....Pages 309-327
Tractable Reasoning about Group Beliefs....Pages 328-350
Semantic Representations of Agent Plans and Planning Problem Domains....Pages 351-366
N-Jason : Run-Time Norm Compliance in AgentSpeak(L)....Pages 367-387
Typing Multi-Agent Systems via Commitments....Pages 388-405
Robust Collaboration: Enriching Decisions with Abstract Preferences....Pages 406-430
The Interaction as an Integration Component for the JaCaMo Platform....Pages 431-450
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Software Engineering; Programming Techniques

📜 SIMILAR VOLUMES

Multi-Agent-Based Simulation XV: Interna

📁 Multi-Agent-Based Simulation XV: International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

✍ Francisco Grimaldo, Emma Norling (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Workshop on Multi-Agent-Based Simulation, MABS 2014, held in Paris, France, in May 2014. The workshop was held in conjunction with the 13th International Conference on Autonomous Agents and Mult

Engineering Multi-Agent Systems: Third I

📁 Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers

✍ Matteo Baldoni, Luciano Baresi, Mehdi Dastani (eds.) 📂 Library 📅 2015 🏛 Springer International Publishing 🌐 English

<div>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.

Engineering Multi-Agent Systems: First I

📁 Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

✍ Luciano Baresi, Sam Guinea, Adnan Shahzada (auth.), Massimo Cossentino, Amal El 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the refereed proceedings of the First International Workshop on Engineering Multi-Agent Systems, EMAS 2013, held in St. Paul, MN, USA, in May 2013. The 19 full papers were carefully reviewed and selected from 30 submissions. The focus of the papers is on following topics: ag

Engineering Multi-Agent Systems: 6th Int

📁 Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers

✍ Danny Weyns, Viviana Mascardi, Alessandro Ricci 📂 Library 📅 2019 🏛 Springer International Publishing 🌐 English

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 submission

Engineering Multi-Agent Systems: 7th Int

📁 Engineering Multi-Agent Systems: 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers

✍ Louise A. Dennis, Rafael H. Bordini, Yves Lespérance 📂 Library 📅 2020 🏛 Springer International Publishing;Springer 🌐 English

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019.The 13 revised full papers presented in this book were carefully selected and reviewed fro

Engineering Multi-Agent Systems: 4th Int

📁 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 (eds.) 📂 Library 📅 2016 🏛 Springer International Publishing 🌐 English

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 1