Multi-Agent Systems and Applications V 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings

The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent research and development results. With its p- ticular geographicalorientationtowards Central and EasternEurope, CEEMAS has become an internationally recognized event with participants from all over the world. After the successful CEEMAS conferences in St. Petersburg (1999), Cracow (2001), Prague (2003) and Budapest (2005), the CEEMAS 2007 c- ference took place in Leipzig. The Program Committee of the conference series consists of established researchers from the region and renowned international colleagues, showing the prominent rank of CEEMAS among the leading events in multi-agent systems. In the very competitive ?eld of agent-oriented conferences and workshops, (such as AAMAS, EUMAS, CIA, MATES) CEEMAS is special in trying to bridge the gap between applied research achievements and theoretical research activities. The ambition of CEEMAS is to provide a forum for presenting th- retical research with an evident application potential, implemented application prototypes and their properties, as well as industrial case studies of successful (or unsuccessful) agent technology deployments. This is why the CEEMAS p- ceedings provide a collection of research and application papers. The technical research paper section of the proceedings (see pages 1–290) contains pure - search papers as well as research results in application settings. The goal is to demonstrate the real-life value and commercial reality of multi-agent systems as well as to foster the communication between academia and industry in this ?eld.

Full Papers.- A Multi-agent Approach for Range Image Segmentation.- Abstractions of Multi-agent Systems.- Agent-Based Network Protection Against Malicious Code.- Agents Deliberating over Action Proposals Using the ProCLAIM Model.- An Attacker Model for Normative Multi-agent Systems.- An Environment to Support Multi-Party Communications in Multi-Agent Systems.- An Interaction Protocol for Agent Communication.- Collaborative Attack Detection in High-Speed Networks.- Commitment Monitoring in a Multiagent System.- Competencies and Profiles Management for Virtual Organizations Creation.- Complexity of Verifying Game Equilibria.- Component-Based Development of Secure Mobile Agents Applications.- Design Patterns for Self-organising Systems.- Experience with Feedback Control Mechanisms in Self-replicating Multi-Agent Systems.- Exploring Social Networks in Request for Proposal Dynamic Coalition Formation Problems.- Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS.- Governing Environments for Agent-Based Traffic Simulations.- Knowledge Driven Architecture for Home Care.- MASL: A Logic for the Specification of Multiagent Real-Time Systems.- Modeling of Agents in Organizational Context.- Motivations as an Abstraction of Meta-level Reasoning.- On Complex Networks in Software: How Agent–Orientation Effects Software Structures.- Simulating a Human Cooperative Problem Solving.- Supporting Agent Organizations.- The Agents’ Attitudes in Fuzzy Constraint Based Automated Purchase Negotiations.- Towards a Model Driven Process for Multi-Agent System.- Towards an Epistemic Logic for Uncertain Agents.- Towards Approximate BGI Systems.- Verifying Dominant Strategy Equilibria in Auctions.- Short Papers.- Agent Environment and Knowledge in Distributed Join Calculus.- Agent-Based Architecture of Intelligent Distance Learning System.- An Architecture and Framework for Agent-Based Web Applications.- Closing the Gap Between Organizational Models and Multi-Agent System Deployment.- Clustering Techniques in Automated Purchase Negotiations.- Cooperative CBR System for Sharing Student Models in Cooperative Intelligent Tutoring Systems.- Decision Making System: Agent Diagnosing Child Care Diseases.- FIPA-Based Interoperable Agent Mobility.- HeCaSe2: A Multi-agent Ontology-Driven Guideline Enactment Engine.- jTRASTO: A Development Toolkit for Real-Time Multi-Agent Systems.- Models and Tools for Mulan Applications.- Multi-agent Architecture for Intelligent Tutoring Systems Interoperability in Health Education.- Multi-agent Planning in Sokoban.- Ontology Matching in Communication and Web Services Composition for Agent Community.- Plugin-Agents as Conceptual Basis for Flexible Software Structures.- Selection of Efficient Production Management Strategies Using the Multi-agent Approach.- The Impact of Network Topology on Trade in Bartering Networks – Devising and Assessing Network Information Propagation Mechanisms.