| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910629290003321 |
|
|
Titolo |
PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings / / edited by Reyhan Aydoğan, Natalia Criado, Jérôme Lang, Victor Sanchez-Anguix, Marc Serramia |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (714 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 13753 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Computer networks |
Computers, Special purpose |
Algorithms |
Computer science |
Software engineering |
Artificial Intelligence |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
Design and Analysis of Algorithms |
Computer Science Logic and Foundations of Programming |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Robustness of Congestion Pricing in Traffic Networks with Link-specific Noise -- Explanation-based Negotiation Protocol for Health Coaching -- Cooperative driving at intersections through agent-based argumentation -- Dyadic Obligations: Proofs and Countermodels via Hypersequents -- On Normative Reinforcement Learning via Safe Reinforcement Learning -- Analysis of Carbon Neutrality Scenarios of |
|
|
|
|
|
|
|
|
|
|
|
Industrial Consumers Using Electric Power Market Simulations -- Task Allocation on Networks with Execution Uncertainty -- Incorporating AI methods in micro-dynamic analysis to support group-specific policy-making -- False-Name-Proof Facility Location on Wheel Graphs -- Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF) -- Assume-Guarantee Verification of Strategic Ability -- Sample Complexity of Learning Multi-Value Opinions in Social Networks -- A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles -- MTIRL: Multi-trainer interactive reinforcementlearning system -- Action Languages Based Actual Causality in Decision Making Contexts -- Goal-oriented coordination with cumulative goals -- Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection -- Does Order Simultaneity Affect the Data Mining Task in Financial Markets? -- Effect Analysis of Order Simultaneity using Artificial Market -- Fine-grained Prediction and Control of Covid-19 Pandemic in a City: Application to Post-Initial Stages -- Preference Aggregation Mechanisms for a Tourism-Oriented Bayesian Recommender -- Weaponizing Actions in Multi-Agent Reinforcement Learning: Theoretical and Empirical Study on Security and Robustness -- Learning to Classify Logical Formulas based on their Semantic Similarity -- Time Series Predictive Models for Opponent Behavior Modeling in Bilateral Negotiations -- An MCTS-based Algorithm to Solve Sequential CFGs on Valuation Structures -- The FastMap Pipeline for Facility Location Problems -- An Axiomatic Approach to FormalizedResponsibility Ascription -- Task Selection Algorithm for Multi-Agent Pickup and Delivery with Time -- Synchronization -- Dynamic Continuous Distributed Constraint Optimization Problems -- DITURIA: A Framework for Decision Coordination Among Multiple Agents -- Evaluating Adaptive and Non-adaptive Strategies for Selecting and Orienting Influencer Agents for Effective Flock Control -- A Proportional Pricing Mechanism for Ridesharing Services With Meeting Points -- Privacy-Aware Explanations for Team Formation -- A New Semantics for The Action Language mA* -- Coalition Logic for Specification and Verification of Smart Contract Upgrades -- Collaborative Multi-Agent System for Automatic Linear Text Segmentation -- Start Making Sense: Identifying Behavioural Indicators When Things Go Wrong During Interaction with Artificial Agents -- Comparing mediated and unmediated agent-based negotiation in Wi-Fi channel assignment -- Design of Conversational Components to Facilitate Human-Agent Negotiation -- AN UsingLocal Search in Multi-Issue Bilateral and Repeated Negotiation -- Ontology-based Reflective Communication for Shared Human-AI Recognition of Emergent Collaboration Patterns -- Accounting for Strategic Response in Limit Order Book Dynamics -- Multi-Agent Modelling Notation (MAMN): A multi-layered graphical modelling notation for agent-based simulations -- On Reachable Assignments under Dichotomous Preferences -- Identifying Necessary and Sufficient Conditions for the Enforcement Problem of Argumentation Frameworks -- Collaborative filtering to capture AI user's preferences as norms -- Influence Of Expertise Complementarity on Ad Hoc Human-Agent Team Effectiveness -- STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions. The conference covers a wide range of ranging from |
|
|
|
|
|
|
|
|
|
|
foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research. |
|
|
|
|
|
| |