Agent and Multi-Agent Systems: Technology and Applications

This volume highlights new trends and challenges in research on agents and the new digital and knowledge economy, and includes 23 papers classified into the following categories: business process management, agent-based modeling and simulation, and anthropic-oriented computing. All papers were originally presented at the 11th International KES Conference on Agents and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2017) held June 21-23, 2017 in Vilamoura, Algarve, Portugal.

Today's economy is driven by technologies and knowledge. Digital technologies can free, shift and multiply choices, and often intrude on the territory of other industries by providing new ways of conducting business operations and creating value for customers and companies. The topics covered in this volume include software agents, multi-agent systems, agent modeling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems and nature inspired manufacturing, etc., all of which contribute to the modern Digital Economy.

The results presented here will be of theoretical and practical value to researchers and industrial practitioners working in the fields of artificial intelligence, collective computational intelligence, innovative business models, the new digital and knowledge economy and, in particular, agent and multi-agent systems, technologies, tools and applications.

Inhalt

Personalized HealthCare and Agent Technologies.- Multiagent Environments for Dynamic Transportation Applications.- Microservices as Agents in IoT Systems.- Enhancing Tactical Information Assessment Using An Agent-Based Cognitive Architecture.- Security and Trust on Mobile Agent Platforms: A Survey.- A self-adaptive system for improving autonomy and public spaces accessibility for elderly.- Meaning Negotiation with defeasible logic.- Artificial Intelligence Techniques for the Puerto Rico Strategy Game.- Simple Bounded MTLK Model Checking for Timed Interpreted Systems.- An Algorithm for Allocating Structured Tasks in Multi-Robot Scenarios.- SAT- versus SMT-based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.- Communication and Autonomous Control of Multi-UAV System in Disaster Response Tasks.- Decision Function Implementation in MAREA Simulations Influencing Financial Balance of Small-sized Enterprise.- Modelling of the Logistic Supplier-Consumer Behavior.- Multi-AgentBPMN Decision Footprint Towards Decision Collaboration Along Distributed BI Process.