ADVANCED METHODS AND TECHNOLOGIES FOR AGENT AND MULTI-AGENT SYSTEMS -- Preface -- International Programme Committee -- International Reviewer Board -- Contents -- Keynote -- Partiality and Inconsistency in Agents' Belief Bases -- Multi-Agent Systems Design and Implementation -- Erlang as a High Performance Software Agent Platform -- Travel Routes Flexibility in Transport Systems -- On Scalable, Event-Oriented Control for Lighting Systems -- Emergence of Collective Escaping Strategies in Caribou Agents -- On Acceleration of Multi-Agent System Performance in Large Scale Photometric Computations -- Agent-Based Modeling and Simulation -- Modeling Value Co-creation Process in Complex Service Systems Using Kauffman's NKCS Architecture -- Agent-Based Simulator for Travelers Multimodal Mobility -- Multi-Level Agent-Based Modeling: a Generic Approach and an Implementation -- Optimizing an Environmental Surveillance Network with Gaussian Process Entropy − -- Coordination, Cooperation and Teamwork -- Obligation and Prohibition Norms Mining Algorithm for Normative Multi-agent Systems -- Role and Member Selection in Team Formation Using Resource Estimation -- Incorporating Explicit Coordination Mechanisms by Agents to Obtain Green Waves -- Communication Leading to Coalition Nash Equilibrium I -- Agent-Based Optimization -- An Agent-Based Cooperative Population Learning Algorithm for Vehicle Routing Problem with Time Windows -- Mobile Agent-based Dynamic Resource Allocation Method for Query Optimization in Data Grid Systems -- Memetic Multi-Agent Computing in Difficult Continuous Optimisation -- Web Services and Semantic Web -- A Technical Survey for Linked Open Data Federation Building -- A Deduction-based System for Formal Verification of Agent-ready Web Services -- Software Bug Ontology Supporting Bug Search on Peer-to-Peer Networks.

Agent Theories, Models and Communication -- On the Horn Fragments of Serial Regular Grammar Logics with Converse -- Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms -- Abstract Test Suite Specification for ACL Communicating Agents -- Perceiving Speech Acts under Incomplete and Inconsistent Information -- Social and Business Issues -- The Agent-Based Diffusion Model on a Combined Social Network -- Towards the Validation of Agent-based BPM Simulation -- The Supply Chain in Cloud Computing -the Natural Future -- Incentive Contracts in Logistics Outsourcing -- A Multi-Agent System for Games Trading on B2B Market Based on Users' Skills and Preferences -- Intelligent Agents with Semantic Technology (IAST 2013) -- Automatic Reuse of Interaction Protocols in Mas: Arip Model -- A Method for Knowledge Integration Using Indeterminate Model of Time with Criterion O2 -- A Layered Adjustable Autonomy Approach for Dynamic Autonomy Distribution -- K-depth RDF Keyword Search Algorithm Based on Structure Indexing -- An Efficient Method for Hiding High Utility Itemsets -- A Method for the Generation of Semantic Annotation from Sport News Using Ontology Based Patterns -- A Multi-Agent Architecture for Health Information Systems -- Web Service Composition with Petri Net and Ontology -- A New BDI Architecture To Formalize Cognitive Agent Behaviors Into Simulations -- Agent-based Military EngagementSimulation System Architecture withI mplementation -- Computational Intelligence for Business Collaboration (CIBC 2013) -- Relationships Among the Concepts of Reduct in Incomplete Decision Tables -- Exploiting Linked Open Data for Attribute Selection on Recommendation Systems -- Semantic Service Matchmaking for Ad Hoc Supply Chain Formation: a Network Analysis Approach.

A Combination of Business Rule and Modeling Languages for Semantic Business Processes Modeling -- An Ontological Approach for CollaborativeBusiness Processes formulation with Consensus Methodology -- Subject Index -- Author Index.