PRIMA 2019: Principles and Practice of Multi-Agent Systems

22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings

AvMatteo Baldoni,Mehdi Dastani

Häftad, Engelska, 2019

Del 11873 i serien Lecture Notes in Computer Science

1 094 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2019-10-26
Mått:155 x 235 x 36 mm
Vikt:990 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:646
Förlag:Springer Nature Switzerland AG
ISBN:9783030337919

Utforska kategorier

Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT
Hårdvara inom Data och IT

Innehållsförteckning

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.