PRIMA 2015: Principles and Practice of Multi-Agent Systems: 18th International Conference, Bertinoro, Italy, October 26–30, 2015, Proceedings

Front Matter....Pages -
Front Matter....Pages 1-1
Solving F3MDPs: Collaborative Multiagent Markov Decision Processes with Factored Transitions, Rewards and Stochastic Policies....Pages 3-19
Managing Autonomous Mobility on Demand Systems for Better Passenger Experience....Pages 20-35
Norm Establishment in a Single Dimension Axelrod Model....Pages 36-48
Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan....Pages 49-64
CAMP-BDI: A Pre-emptive Approach for Plan Execution Robustness in Multiagent Systems....Pages 65-84
Optimizing Long-Running Action Histories in the Situation Calculus Through Search....Pages 85-100
Semantics for Modelling Reason-Based Preferences....Pages 101-117
Strategy-Proof Cake Cutting Mechanisms for All-or-Nothing Utility....Pages 118-133
Leximin Asymmetric Multiple Objective DCOP on Factor Graph....Pages 134-151
Dynamic Coalition Formation in Energy Micro-Grids....Pages 152-168
On the Hierarchical Nature of Partial Preferences....Pages 169-184
Verification of Asynchronous Mobile-Robots in Partially-Known Environments....Pages 185-200
Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms....Pages 201-217
Multi-agent Path Planning in Known Dynamic Environments....Pages 218-231
Module Checking for Uncertain Agents....Pages 232-247
Towards Systematic Evaluation of Multi-agent Systems in Large Scale and Dynamic Logistics....Pages 248-264
Paraconsistent Multi-party Persuasion in TalkLOG....Pages 265-283
A Micro Study on the Evolution of Arguments in Amazon.com’s Reviews....Pages 284-300
The Long-Term Benefits of Following Fairness Norms: A Game-Theoretic Analysis....Pages 301-318
Using Preferences in Negotiations over Ontological Correspondences....Pages 319-334
Front Matter....Pages 1-1
Designing a Source-Level Debugger for Cognitive Agent Programs....Pages 335-350
Reflecting on Agent Programming with AgentSpeak(L)....Pages 351-366
Checking the Reliability of Information Sources in Recommendation Based Trust Decision Making....Pages 367-382
Supporting Human-Robot Teams in Space Missions Using ePartners and Formal Abstraction Hierarchies....Pages 383-399
Flexible Reward Plans for Crowdsourced Tasks....Pages 400-415
Majoritarian Group Actions....Pages 416-432
Programming Deliberation Strategies in Meta-APL....Pages 433-448
Multi-Context Systems with Preferences....Pages 449-466
A Dynamic-Logical Characterization of Solutions in Sight-Limited Extensive Games....Pages 467-480
Front Matter....Pages 481-481
Kinetic Description of Opinion Evolution in Multi-agent Systems: Analytic Model and Simulations....Pages 483-491
An Agent-Based Model to Study Effects of Team Processes on Compliance with Safety Regulations at an Airline Ground Service Organization....Pages 492-500
Agent-Oriented Programming Languages as a High-Level Abstraction Facilitating the Development of Intelligent Behaviours for Component-Based Applications....Pages 501-509
Towards a Taxonomy of Task-Oriented Domains of Dialogue....Pages 510-518
Mechanism Design for Argumentation-Based Information-Seeking and Inquiry....Pages 519-527
Fair Assessment of Group Work by Mutual Evaluation with Irresponsible and Collusive Students Using Trust Networks....Pages 528-537
Modeling the Effects of Personality on Team Formation in Self-assembly Teams....Pages 538-546
Real-Time Conditional Commitment Logic....Pages 547-556
A Double Auction Mechanism for On-Demand Transport Networks....Pages 557-565
Exploiting Social Commitments in Programming Agent Interaction....Pages 566-574
Social Continual Planning in Open Multiagent Systems: A First Study....Pages 575-584
Front Matter....Pages 481-481
Security Games with Ambiguous Beliefs of Agents....Pages 585-593
Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases....Pages 594-602
Compliant Business Processes with Exclusive Choices from Agent Specification....Pages 603-612
Probabilistic Perception Revision in AgentSpeak(L)....Pages 613-621
Adaptive Multi-stage Optimisation for EV Charging Integration into Smart Grid Control....Pages 622-630
Collaborative Judgement....Pages 631-639
Model Checking Resource Bounded Systems with Shared Resources via Alternating Büchi Pushdown Systems....Pages 640-649
Integrating Conversation Trees and Cognitive Models Within an ECA for Aggression De-escalation Training....Pages 650-659
Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking....Pages 660-669
Games with Communication: From Belief to Preference Change....Pages 670-677
Design Patterns for Environments in Multi-agent Simulations....Pages 678-686
Commitments, Expectations, Affordances and Susceptibilities: Towards Positional Agent Programming....Pages 687-696
Using Conceptual Spaces for Object Recognition in Multi-agent Systems....Pages 697-705
Back Matter....Pages -