Multiagent System Technologies

This book constitutes the refereed proceedings of the 7th German Conference on Multiagent Systems Technologies, MATES 2009, held in Hamburg, Germany in September 2009 - colocated with the 10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the 5th International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). The 14 revised full papers, 10 short papers, and 5 exhibition papers presented together with one invited talk were carefully reviewed and selected from 44 submissions. The papers present and discuss the latest advances of research and development in the area of autonomous agents and multiagent systems ranging from theoretical and methodological issues to applications in various fields.

Inhalt
Invited Talk.- Industrial Application of Agent Systems: Lessons Learned and Future Challenges.- Full Papers.- Multi-Agent Navigation Using Path-Based Vector Fields.- Verification of Epistemic Properties in Probabilistic Multi-Agent Systems.- GOAL as a Planning Formalism.- Towards Pattern-Oriented Design of Agent-Based Simulation Models.- Multi Criteria Decision Methods for Coordinating Case-Based Agents.- Agent Cooperation for Monitoring and Diagnosing a MAP.- Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems.- A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents.- Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises.- Embodied Organisations in MAS Environments.- MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks.- Towards Reactive Scheduling for Large-Scale Virtual Power Plants.- Concurrently Decomposable Constraint Systems.- SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit.- Short Papers.- Towards a Verification Framework for Communicating Rational Agents.- Designing Organized Multiagent Systems through MDPs.- A Reference Architecture for Modelling of Emotional Agent Systems.- Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems.- Modeling Tools for Platform Specific Design of Multi-Agent Systems.- L2-SVM Training with Distributed Data.- Framework for Dynamic Life Critical Situations Using Agents.- Unifying JIAC Agent Development with AWE.- Formalizing ARTIS Agent Model Using RT-Maude.- Implementing Over-Sensing in Heterogeneous Multi-Agent Systems on Top of Artifact-Based Environments.- Exhibition Papers.- Requirements and Tools for the Debugging of Multi-Agent Systems.- SONAR*: A Multi-Agent Infrastructure for Active Application Architectures and Inter-organisational Information Systems.- An Architecture for Simulating Internet-of-Services Economies.- Applying JIAC V to Real World Problems: The MAMS Case.- Agent-Based Semantic Search at motoso.de.