PRIMA 2013: Principles and Practice of Multi-Agent Systems: 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings

Front Matter....Pages -
Agents in the Era of Big Data: What the “End of Theory” Might Mean for Agent Systems....Pages 1-4
Norm Representation and Reasoning: A Formalization in Event Calculus....Pages 5-20
Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example....Pages 21-36
Reaching Your Goals without Spilling the Beans: Boolean Secrecy Games....Pages 37-53
Incorporating PGMs into a BDI Architecture....Pages 54-69
A Multi-agent Based Migration Model for Evolving Cooperation in the Spatial N -Player Snowdrift Game....Pages 70-84
Improving the Reactivity of BDI Agent Programs....Pages 85-100
Higher-Order Theory of Mind in Negotiations under Incomplete Information....Pages 101-116
GAMA 1.6: Advancing the Art of Complex Agent-Based Modeling and Simulation....Pages 117-131
Defendable Security in Interaction Protocols....Pages 132-148
An Efficient Route Minimization Algorithm for the Vehicle Routing Problem with Time Windows Based on Agent Negotiation....Pages 149-164
Designing a Multiagent System for Course-Offering Determination....Pages 165-180
A Human-Inspired Collision Avoidance Method for Multi-robot and Mobile Autonomous Robots....Pages 181-196
Embedding Preference Ordering for Symmetric DCOP Solvers on Spanning Trees....Pages 197-212
Compliant Business Process Design by Declarative Specifications....Pages 213-228
Non-standard Uses of PIRIKA: Pilot of the Right Knowledge and Argument....Pages 229-244
Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL....Pages 245-259
Procedural Justice and ‘Fitness for Purpose’ of Self-organising Electronic Institutions....Pages 260-275
A Reliability Analysis Technique for Estimating Sequentially Coordinated Multirobot Mission Performance....Pages 276-291
Strategy-Proof Mechanisms for the k -Winner Selection Problem....Pages 292-307
Social Norm Recommendation for Virtual Agent Societies....Pages 308-323
A Methodology for Plan Revision under Norm and Outcome Compliance....Pages 324-339
The Impact of Exchanging Opinions in Political Decision-Making on Voting by Using Multi-agent Simulation....Pages 340-354
SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic....Pages 355-371
Emotional Multiagent Reinforcement Learning in Social Dilemmas....Pages 372-387
On the Development of an MAS Based Evacuation Simulation System: Autonomous Navigation and Collision Avoidance....Pages 388-395
Prosperity and Decline of Online Communities....Pages 396-404
Information Dependencies in MCS: Conviviality-Based Model and Metrics....Pages 405-412
Model and Algorithm for Dynamic Multi-Objective Distributed Optimization....Pages 413-420
Lightweight Distributed Adaptive Algorithm for Voting Procedures by Using Network Average Consensus....Pages 421-428
nADICO: A Nested Grammar of Institutions....Pages 429-436
Towards Semantic Merging of Versions of BDI Agent Systems....Pages 437-444
A New Ant Colony Optimization Method Considering Intensification and Diversification....Pages 445-452
Evaluating the Impact of the Human-Agent Teamwork Communication Model (HAT-CoM) on the Development of a Shared Mental Model....Pages 453-460
Repeated Auctions for Reallocation of Tasks with Pickup and Delivery upon Robot Failure....Pages 461-469
Decentralized Area Partitioning for a Cooperative Cleaning Task....Pages 470-477
A Computational Agent Model of Influences on Physical Activity Based on the Social Cognitive Theory....Pages 478-485
Agent’s Strategy in Multiple-Issue Negotiation Competition and Analysis of Result....Pages 486-493
Estimating Arrival Time of Pedestrian Using Walking Logs....Pages 494-501
A Computational Model of Affective Moral Decision Making That Predicts Human Criminal Choices....Pages 502-509
Context-Aware Mobile Augmented Reality for Library Management....Pages 510-517
Using Agent Technology for Ambient Assisted Living....Pages 518-525
A Framework for Analyzing Simultaneous Negotiations....Pages 526-533
Back Matter....Pages -