PRIMA 2019 : principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings /: principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. (2019)
- Record Type:
- Book
- Title:
- PRIMA 2019 : principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings /: principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. (2019)
- Main Title:
- PRIMA 2019 : principles and practice of multi-agent systems : 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings
- Further Information:
- Note: Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila Wenkstern (eds.).
- Editors:
- Baldoni, Matteo, 1968-
Dastani, Mehdi
Liao, Beishui
Sakurai, Yuko
Zalila-Wenkstern, Rym - Other Names:
- International Conference on Principles and Practice of Multi-agent Systems, 22nd
- 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 -- SolvingMain 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 Generatio n -- 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 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: 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. … (more)
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2019
- Extent:
- 1 online resource (xvii, 646 pages), illustrations (some color)
- Subjects:
- 006.3/0285436
Multiagent systems -- Congresses
Electronic books - Languages:
- English
- ISBNs:
- 9783030337926
3030337928 - Related ISBNs:
- 9783030337919
- Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed October 30, 2019).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.467021
- Ingest File:
- 02_612.xml