PRIMA 2019: Principles and Practice of Multi-Agent Systems

This book constitutes the refereed proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2019, held in Turin, Italy, in October 2019. The 25 full papers presented and 25 short papers were carefully reviewed and selected from 112 submissions.

The papers presented at the PRIMA 2019 conference focus on the following topics: Logic and Reasoning, Engineering Multi-Agent Systems, Agent-Based Modeling and Simulation, Collaboration and Coordination, Economic Paradigms, Human-Agent Interaction, Decentralized Paradigms, and Application Domains for Multi-Agent Systems.

Inhalt

Main track full papers.- Deliberation towards transitivity with unshared features.- K-ACE: a Flexible Environment for Knowledge-Aware Multi-Agent Systems.- Formal analysis of responsibility attribution in a multimodal framework.- Decidable Veri cation of Agent-Based Data-aware Systems.- New Distributed Constraint Reasoning Algorithms for Load Balancing in Edge Computing.- A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation.- Dynamic multi-agent systems: conceptual framework, automata-based modelling and veri cation.- Usefulness of Information for Goal Achievement.- A Scheduler for Smart Homes with Probabilistic User Preferences.- Supply Chain Management World: A benchmark environment for situated negotiations.- Coordination of Mobile Agents for Simultaneous Coverage.- MCTS-based Automated Negotiation Agent.- Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.- Sel sh Mining in Proof-of-Work Blockchain with Multiple Miners: An Empirical Evaluation.- A Co-Evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market.- Modelling Shared Decision Making in Medical Negotiations: Interactive Training with Cognitive Agents.- Doxastic Group Reasoning via Multiple Belief Shadowing.- Subset Spaces for Conditional Norms.- Integrating CP-nets in Reactive BDI Agents.- SAT-Based Automated Mechanism Design for False-Name-Proof Facility Location.- Solving Coalition Structure Generation Problems over Weighted Graph.- From good intentions to behaviour change: Probabilistic Feature Diagrams for Behaviour Support Agents.- Identifying Belief Sequences in a Network of Communicating Agents.- Non-monotonic collective decisions.- A Coalitional Algorithm for Recursive Delegation.- Short papers.- Compact Frequency Memory for Reinforcement Learning with Hidden States.- Leveraging Symmetric Relations for Approximation Coalition Structure Generation.- Deception/Honesty Detection and (Mis)trust Building in Manipulable Multi-Agent Argumentation: an Insight.- Self-Vehicle Positioning Using Smart Infrastructures.- A Combined Net ow-driven and Agent-based Social Modeling Approach for Building Evacuation.- Imperfect Information in Alternating-time Temporal Logic on Finite Traces.- TAMER: Task Allocation in Multi-Robot Systems Through an Entity-Relationship Model.- A Modeling Environment for Rei ed Temporal-Causal Networks: Modeling Plasticity and Metaplasticity in Cognitive Agent Models.- The Choice Between Bad and Worse: A Cognitive Agent Model for Desire Regulation under Stress.- Modeling Higher-Order Adaptive Evolutionary Processes by Multilevel Adaptive Agent Models.- Emergent Privacy Norms for Collaborative Systems.- Estimating Missing Environmental Information by Contextual Data Cooperation.- Semantics of extended argumentation frameworks de ned by renovation sets.- Smart RogAgent: where Agents and Humans Team Up.- Coordination in Collaborative Work by Deep Reinforcement Learning with Various State Descriptions.- Learning to Explain Anger : An Adaptive Humanoid-Agent for Cyber-Aggression.- SPSC: a new execution policy for exploring discrete-time stochastic simulations.- Computational Complexity of Hedonic Games on Sparse Graphs.- Strategies for Energy-Aware Multi-Agent Continuous Cooperative Patrolling Problems subject to Requirements.- Deep false-name-proof auction mechanisms.- Ubiquitous computing and multi-agent systems: clari cation of the lexicon.- Explainable ASP.- Block Argumentation.- DyNeMoC: Statistical Model Checking for Agent Based Systems on Graphs.- An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy.