The informal pre-proceedings of EMAS14 can be downloaded as a single file here.

Day 1: Monday, May 5, 2014

Introduction to the workshop [emas14-intro]

Session 1: Invited Talk 1 (9.00 to 10.30)

[Chair: Jürgen Dix]

  • Maarten Sierhuis. A brief history of Engineering MAS: from Mission Control to Healthcare and Autonomous Vehicles

Coffee break (10.30 to 11.00)

Session 2: Abstractions and Primitives (11.00 to 12.30)

[Chair: Michael Winikoff]

  • Costin Caval, Amal El Fallah Seghrouchni and Patrick Taillibert. Keeping a clear separation between goals and plans
  • Antonio Costa. Proposal for a Notion of Modularity in Multiagent Systems
  • Zeineb Graja, Frederic Migeon, Christine Maurel, Marie-Pierre Gleizes, Amira Regayeg and Ahmed Hadj Kacem. A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application on the Foraging Ants
  • Ingrid Nunes. Capability Relationships in BDI Agents

Lunch break (12.30 to 14.00)

Session 3: Platforms and Architectures (14.00 to 15.00)

[Chair: Brian Logan]

  • Tobias Ahlbrecht, Jürgen Dix, Michael Köster, Philipp Kraus and Jörg P. Müller. A scalable runtime platform for multiagent-based simulation
  • Francesco Delle Fave, Matthew Brown, Chao Zhang, Eric Shieh, Heather Rosoff, Albert Jiang, Milind Tambe and J.P. Sullivan. Security Games in the Field: Deployments on a Transit System
  • Andreas Schmidt Jensen, Virginia Dignum and Jørgen Villadsen. The AORTA Architecture: Integrating Organizational Reasoning in Jason

Session 4:  Methodologies (15.00 to 15.30 and 16.00 to 16.30)

[Chair: Fabiano Dalpiaz]

  • Sara Casare, Anarosa A. F. Brandão and Jaime S. Sichman. Keep improving MAS method fragments: a Medee-based case study for MOISE+
  • Tobias Küster and Axel Hessler. Towards Process-Oriented Modelling and Creation of Multi-Agent Systems
  • Daniela Maria Uez and Jomi Fred Hubner. Environments and Organizations in Multi-Agent Systems: From Modelling to Code

Session 5: Patterns (16.30 to 17.15)

[Chair: Matteo Baldoni]

  • Mehdi Dastani and Bas Testerink. From Multi-Agent Programming to Object Oriented Design Patterns
  • H. Van Dyke Parunak, Marc Huber, Randolph Jones, Michael Quist and Jack Zaientz. CaFé: A Group Process to Rationalize Technologies in Hybrid AAMAS Systems

Discussion: Relation between agent-oriented and mainstream software engineering and programming (17.15 to 18.00)

[Moderators: Mehdi Dastani and Alessandro Ricci]

Day 2: Tuesday, May 6, 2014

Session 6: Invited Talk 2 (9.00 to 10.30)

[Chair: Birna van Riemsdijk]

  • Koen Hindriks. Twenty Years of Engineering Multiagent Systems [slides]

Coffee break (10.30 to 11.00)

Session 7: Verification and Testing (11.00 to 12.30)

[Chair: Rafael Bordini]

  • Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi and Patrick Taillibert. Efficient Verification of MASs with Projections
  • Slawomir Kmiec and Yves Lespérance. Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation
  • Bruno Mermet and Gaële Simon. Side effects of agent are not just random
  • Zhan Huang, Rob Alexander and John Clark. Mutation Testing for Jason Agents

Lunch break (12.30 to 14.00)

Session 8: Agent Reasoning (14.00 to 15.00)

[Chair: Yves Lesperance]

  • Barbara Dunin-Keplicz, Andrzej Szalas and Rineke Verbrugge. Tractable Reasoning about Group Beliefs
  • Artur Freitas, Daniela Schmidt, Alison Panisson, Felipe Meneguzzi, Renata Vieira and Rafael Bordini. Semantic Representations of Agent Plans and Planning Problem Domains
  • Jeehang Lee, Julian Padget, Brian Logan, Daniela Dybalova and Natasha Alechina. N-Jason: Run-Time Norm Compliance in AgentSpeak(L)

Session 9: Interaction and Collaboration (15.00 to 15.30 and 16.00 to 16.30)

[Chair: Viviana Mascardi]

  • Matteo Baldoni, Cristina Baroglio and Federico Capuzzimati. Typing Multi-Agent Systems via Commitments
  • Loïs Vanhée, Frank Dignum and Jacques Ferber. Robust Collaboration: Enriching Decisions with Abstract Preferences
  • Maicon Rafael Zatelli and Jomi Fred Hubner. The Interaction as an Integration Component for the JaCaMo Platform

Open discussion on day 2 and wrap-up (16.30 to 18.00)

[Moderators: Viviana Mascardi and Michael Winikoff]