PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings

by Matteo Baldoni (Editor), Mehdi Dastani (Editor), Beishui Liao (Editor), Yuko Sakurai (Editor), Rym Zalila Wenkstern (Editor)

Overview

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.

Product Details

ISBN-13:	9783030337919
Publisher:	Springer International Publishing
Publication date:	10/25/2019
Series:	Lecture Notes in Computer Science , #11873
Edition description:	1st ed. 2019
Pages:	646
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

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 Verification 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 verification.- 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.- Selfish 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 Netflow-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 Reified 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 defined 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 shastic 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: clarification 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.