ACCEPTED PAPERS

Full Papers

  • 3: Budget-Constrained Knowledge in Multiagent Systems
    Pavel Naumov, Jia Tao
  • 9: Early detection of design faults relative to requirement specifications in agent-based models
    Yoosef Abushark, John Thangarajah, Tim Miller, James Harland, Michael Winikoff
  • 19: Pipelined Consensus for Global State Estimation in Multi-Agent Systems
    Golnaz Habibi, Zachary Kingston, Zijian Wang, James McLurkin, Mac Schwager
  • 26: Two Timescale Algorithms for Learning Nash Equilibria in General-Sum Stochastic Games
    H.L. Prasad, Prashanth L.A., Shalabh Bhatnagar
  • 27: Manipulating the Probabilistic Serial Rule
    Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
  • 38: Policy Transfer using Reward Shaping
    Tim Brys, Anna Harutyunyan, Matthew Taylor, Ann Nowé
  • 50: Bio-inspired Practicalities: Collective Behaviour using Passive Neighbourhood Sensing
    Mansoor Shaukat, Mandar Chitre Mandar
  • 53: Semi-feature Level Fusion for Bimodal Affect Regression Based on Facial and Bodily Expressions
    Yang Zhang, Li Zhang
  • 69: Waste Makes Haste: Bounded Time Protocols for Envy-Free Cake Cutting with Free Disposal
    Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann
  • 70: Epistemic Neuro-Symoblic Agents: Boltzmann Machines and Abstract Probabilistic Argumentation with Su
    Regis Riveret, Jeremy Pitt, Moez Draief, Dimitrios Korkinof
  • 83: Data-Driven Agent-Based Modeling, with Application to Rooftop Solar Adoption
    Haifeng Zhang, Yevgeniy Vorobeychik, Joshua Letchford, Kiran Lakkaraju
  • 84: Stackelberg Games for Vaccine Design
    Swetasudha Panda, Yevgeniy Vorobeychik
  • 85: ''A Game of Thrones'': When Human Behavior Models Compete in Repeated Stackelberg Security Games
    Debarun Kar, Fei Fang, Francesco Maria Delle Fave, Nicole Sintov, Milind Tambe
  • 86: Computational Aspects of Multi-Winner Approval Voting
    Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh
  • 89: Continuous Foraging and Information Gathering in a Multi-Agent Team
    Somchaya Liemhetcharat, Rui Yan, Keng Peng Tee
  • 102: Agreeing to agree: Reaching unanimity via preference dynamics based on reliable agents
    Sujata Ghosh, Fernando Ramundo Velázquez-Quesada
  • 108: Adaptive Advice in Automobile Climate Control Systems
    Rosenfeld Ariel, Amos Azaria, Sarit Kraus, Claudia Goldman, Omer Tsimhoni
  • 114: Facility Location Games with Dual Preference
    Shaokun Zou, Minming Li
  • 118: A Multi-Agent Platform for Automating the Collection of Patient-Provided Clinical Feedback
    Zina Ibrahim, Richard Dobson, Argyris Stringaris, Lorena Fernández de la Cruz, Robert Goodman, Michael Luck
  • 122: Are Aggressive Agents as Scary as Aggressive Humans?
    Romy Blankendaal, Tibor Bosse, Charlotte Gerritsen, Tessa de Jong, Jeroen de Man
  • 126: Improving the Performance of Mobile Phone Crowdsourcing Applications
    Erfan Davami, Gita Sukthankar
  • 137: Cybersecurity as an Application Domain for Multiagent Systems
    Munindar Singh
  • 140: Adversarial Modeling in the Robotic Coverage Problem
    Roi Yehoshua, Noa Agmon
  • 143: Monitoring hierarchical agent-based simulation traces
    Benjamin Herd, Simon Miles, Peter McBurney, Michael Luck
  • 144: Argumentation-based Ranking Logics
    Leila Amgoud, Jonathan Ben-Naim
  • 146: Parameterised Verification of Multiple Autonomous Mobile-Agents in Static but Unknown Environments
    Sasha Rubin
  • 151: Robust Strategy against Unknown Risk-averse Attackers in Security Games
    Yundi Qian, William Haskell, Milind Tambe
  • 154: Agent Oriented Modelling of Tactical Decision Making
    Rick Evertsz, John Thangarajah, Thanh Ly, Nitin Yadav
  • 158: General Tiebreaking Schemes for Computational Social Choice
    Rupert Freeman, Markus Brill, Vincent Conitzer
  • 166: How to Form a Task-Oriented Robust Team
    Tenda Okimoto, Nicolas Schwind, Maxime Clement, Tony Ribeiro, Katsumi Inoue, Pierre Marquis
  • 181: Global protocols as first class entities for self-adaptive agents
    Viviana Mascardi, Daniela Briola, Angelo Ferrando, Davide Ancona
  • 189: TAC AdX'14: Autonomous Agents for Realtime Ad Exchange
    Bingyang Tao, Fan Wu, Guihai Chen
  • 195: Adapting the Social Network to Affect Elections
    Sigal Sina, Noam Hazon, Avinatan Hassidim, Sarit Kraus
  • 224: Computational Bundling for Auctions
    Christian Kroer, Tuomas Sandholm
  • 226: On the Susceptibility of the Deferred Acceptance Algorithm
    Haris Aziz, Hans Georg Seedig, Jana Karina von Wedel
  • 228: Complexity of the Winner Determination Problem in Judgment Aggregation
    Ulle Endriss, Ronald de Haan
  • 229: Parameterized Complexity Results for Agenda Safety in Judgment Aggregation
    Ulle Endriss, Ronald de Haan, Stefan Szeider
  • 231: On Sex, Evolution, and the Multiplicative Weights Update Algorithm
    Reshef Meir, David Parkes
  • 232: Discretization of Continuous Action Spaces in Extensive-Form Games
    Christian Kroer, Tuomas Sandholm
  • 235: Observation Modelling for Vision-Based Target Search by Unmanned Aerial Vehicles
    Luke Teacy, Simon Julier, Renzo De Nardi, Alex Rogers, Nick Jennings
  • 239: DIRECT: A Scalable Approach for Route Guidance in Selfish Orienteering Problems
    Pradeep Varakantham, Hala Mostafa, Na Fu, Hoong Chuin Lau
  • 240: Signaled Queueing
    Laura Brink, Robert Shorten, Jia Yuan Yu
  • 244: A Study of Human Behavior in Voting Systems
    Maor Tal, Reshef Meir, Kobi Gal
  • 245: Bitcoin Mining Pools: A Game Theoretic Analysis
    Yoad Lewenberg, Yoram Bachrach, Yonatan Sompolinsky, Aviv Zohar, Jeffrey Rosenschein
  • 261: How Credible is the Prediction of a Party-Based Election?
    Yongjie Yang, Yash Raj Shrestha, Jiong Guo
  • 271: Manipulation with Bounded Single-Peaked Width: A Parameterized Study
    Yongjie Yang
  • 273: Every Team Deserves a Second Chance: Identifying When Things Go Wrong
    Vaishnavh Nagarajan, Leandro Marcolino, Milind Tambe
  • 281: Keeping pace with criminals: Designing patrol allocation against adaptive opportunistic criminals
    Chao Zhang, Arunesh Sinha, Milind Tambe
  • 298: Determining Placements of Influencing Agents in a Flock
    Katie Genter, Shun Zhang, Peter Stone
  • 305: Module Checking in Alternating-Time Temporal Logic
    Wojciech Jamroga, Aniello Murano
  • 312: A Self-Organizing Virtual Environment for Agent-Based Simulations
    Mohammad Al-Zinati, Rym Wenkstern
  • 313: Complexity of Mechanism Design with Signaling Costs
    Andrew Kephart, Vincent Conitzer
  • 320: Learning Behavior Patterns from Video: A Data-driven Framework for Agent-based Crowd Modeling
    Jinghui Zhong, Wentong Cai, Linbo Luo, Haiyan Yin
  • 323: Counterfactual Exploration for Improving Multiagent Learning
    Mitchell Colby, Sepide Kharaghani, Chris HolmesParker, Kagan Tumer
  • 325: ADA-HEAT: A General Adaptive Intelligent Agent for Domestic Heating Control
    Aris-Athanasios Panagopoulos, Muddasser Alam, Alex Rogers, Nick Jennings
  • 333: Incremental Policy Iteration with Guaranteed Escape from Local Optima in POMDP Planning
    Marek Grzes, Pascal Poupart
  • 337: Computing Manipulations of Ranking Systems
    Ethan Gertle, Erika Mackin, Malik Magdon-Ismail, Lirong Xia, Yuan Yi
  • 355: Human Behavior Models for Virtual Agents in Repeated Decision Making under Uncertainty
    Ming Yin, Yu-An Sun
  • 361: Near-Optimal Decentralized Power Supply Restoration in Smart Grids
    Pritee Agrawal, Akshat Kumar, Pradeep Varakantham
  • 373: Using Information Theory to Improve the Robustness of Trust Systems
    Dongxia Wang, Tim Muller, Athirai A. Irissappane, Yang Liu, Jie Zhang
  • 374: A Logic for Collective Choice
    Guifei Jiang, Dongmo Zhang, Laurent Perrussel
  • 375: Predictive State Representations with State Space Partitioning
    Yunlong Liu, Yun Tang, Yifeng Zeng
  • 378: A mechanism for smoothly handling human interrupts in team oriented plans
    Alessandro Farinelli, Nathan Brooks, Nicolò Marchi, Masoume Raeissi, Paul Scerri
  • 382: Effective Approximations for Multi Robot Coordination in Spatially Distributed Tasks
    Daniel Claes, Philipp Robbel, Frans Oliehoek, Karl Tuyls, Daniel Hennes, Wiebe van der Hoek
  • 394: Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off
    Gabriele Valentini, Heiko Hamann, Marco Dorigo
  • 397: Arbitrary public announcement logic with mental programs
    Tristan Charrier, Francois Schwarzentruber
  • 399: Reasoning with PCP-nets in a Multi-agent Context
    Cristina Cornelio, Umberto Grandi, Judy Goldsmith, Nicholas Mattei, Francesca Rossi, K. Brent Venable
  • 407: Propositional Opinion Diffusion
    Umberto Grandi, Emiliano Lorini, Laurent Perrussel
  • 415: On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks
    Francesco Belardinelli, Davide Grossi
  • 419: Distributed Bisimulation for Multi-agent Systems
    Lei Song, Yuan Feng, Lijun Zhang
  • 424: Generalized Commitment Alignment
    Amit Chopra, Munindar Singh
  • 428: Incentive Schemes for Participatory Sensing
    Goran Radanovic, Boi Faltings
  • 436: More freedom for the agents! Synthesising Liberal Normative Systems On-line
    Javier Morales, Maite Lopez-Sanchez, Juan Antonio Rodriguez-Aguilar, Michael Wooldridge, Wamberto Vasconcelos
  • 438: Integrating Norms and Agent Deliberation: A semantic exploration of strong norm compliance
    M. Birna van Riemsdijk, Louise Dennis, Michael Fisher, Koen Hindriks
  • 440: Kernelization Complexity of Possible Winner and Coalitional Manipulation Problems in Voting
    Palash Dey, Neeldhara Misra, Yadati Narahari
  • 441: Automated Extension of Narrative Planning Domains with Antonymic Operators
    Julie Porteous, Alan Lindsay, Jonathon Read, Mark Truran, Marc Cavazza
  • 442: Learning in Multi-agent Systems with Sparse Interactions by Knowledge Transfer and Game Abstraction
    Yujing Hu, Yang Gao, Bo An
  • 448: On the Price of Stability of Fractional Hedonic Games
    Vittorio Bilò, Angelo Fanelli, Michele Flammini, Gianpiero Monaco, Luca Moscardelli
  • 450: Detecting Possible Manipulators in Elections
    Palash Dey, Neeldhara Misra, Yadati Narahari
  • 454: A Truthful Budget Feasible Multi-Armed Bandit Mechanism for Crowdsourcing Time Critical Tasks
    Arpita Biswas, Shweta Jain, Debmalya Mandal, Yadati Narahari
  • 458: Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions
    Alessio Lomuscio, Jakub Michaliszyn
  • 460: Sample Complexity for Winner Prediction in Elections
    Palash Dey, Arnab Bhattacharyya
  • 461: Solving Infrastructure Monitoring Problems with Multiple Heterogeneous Unmanned Aerial Vehicles
    Jakub Ondracek, Ondrej Vanek, Michal Pechoucek
  • 468: Modeling the Management of Water Resources Systems Using Multi-Objective DCOPs
    Francesco Amigoni, Andrea Castelletti, Matteo Giuliani
  • 471: A Framework for Institutions Governing Institutions
    Thomas King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn Jonker, Julian Padget, M. Birna van Riemsdijk
  • 476: Strategic Free Information Disclosure for Search-Based Information Platforms
    Shani Alkoby, David Sarne, Sanmay Das
  • 484: The Fallacy of Endogenous Discounting of Trust Recommendations
    Tim Muller, Yang Liu, Jie Zhang
  • 486: Online Monte Carlo Counterfactual Regret Minimization for Search in Imperfect Information Games
    Viliam Lisy, Marc Lanctot, Michael Bowling
  • 488: Knowledge Revision for Reinforcement Learning with Abstract MDPs
    Kyriakos Efthymiadis, Daniel Kudenko
  • 490: Cooperative Coevolution of Partially Heterogeneous Multiagent Systems
    Jorge Gomes, Pedro Mariano, Anders Christensen
  • 491: Optimizing Efficiency of Taxi Systems: Scaling-up and Handling Arbitrary Constraints
    Jiarui Gan, Bo An, Chunyan Miao
  • 497: R-HybrID: Evolution of Agent Controllers with a Hybridisation of Indirect and Direct Encodings
    Fernando Silva, Luis Correia, Anders Christensen
  • 498: Metrics for Evaluating Modularity and Extensibility in HMAS Systems
    Massimo Cossentino, Carmelo Lodato, Salvatore Lopes, Patrizia Ribino, Valeria Seidita
  • 502: Real-time Opinion Aggregation Methods for Crowd Robotics
    Elliot Salisbury, Sarvapali Ramchurn, Sebastian Stein
  • 504: Electric Boolean Games: Redistribution among Resource-Bounded Agents
    Paul Harrenstein, Paolo Turrini, Mike Wooldridge
  • 509: Beyond traits: modeling social context based personalities
    Jaroslaw Kochanowicz, Ah-Hwee Tan, Daniel Thalmann
  • 523: Belief Merging versus Judgment Aggregation
    Patricia Everaere, Sebastien Konieczny, Pierre Marquis
  • 544: Predicting Bundles of Spatial Locations from Learning Revealed Preference Data
    Truc Viet Le, Siyuan Liu, Hoong Chuin Lau, Ramayya Krishnan
  • 547: A Multiagent Approach to Variable-Rate Electric Vehicle Charging Coordination
    Konstantina Valogianni, Wolfgang Ketter, John Collins
  • 550: Coordinating Measurements for Air Pollution Monitoring in Participatory Sensing Settings
    Alexandros Zenonos, Sebastian Stein, Nick Jennings
  • 551: Factored MDPs for Optimal Prosumer Decision-Making
    Angelos Angelidakis, Georgios Chalkiadakis
  • 554: Efficient inter-team task allocation in RoboCup Rescue
    Marc Pujol-Gonzalez, Jesus Cerquides, Alessandro Farinelli, Pedro Meseguer, Juan Antonio Rodriguez-Aguilar
  • 558: Practical Norm Enforcement
    Natasha Alechina, Nils Bulling, Mehdi Dastani, Brian Logan
  • 559: Managing Dynamic Multi-Agent Simple Temporal Network
    Guillaume Casanova, Cédric Pralet, Charles Lesire
  • 560: Multiple referenda and multiwinner elections using Hamming distances: complexity and manipulability
    Georgios Amanatidis, Nathanaël Barrot, Jerome Lang, Vangelis Markakis, Bernard Ries
  • 561: The Power of Verification for Greedy Mechanism Design
    Dimitris Fotakis, Piotr Krysta, Carmine Ventre
  • 563: Fractional Hedonic Games: Individual and Group Stability
    Florian Brandl, Felix Brandt, Martin Strobel
  • 564: Designing a marketplace for the trading and distribution of energy in the smart grid
    Jesus Cerquides, Gauthier Picard, Juan Antonio Rodriguez-Aguilar
  • 565: Truthful Interval Cover Mechanisms for Crowdsourcing Applications
    Pankaj Dayama, Balakrishnan Narayanaswamy, Dinesh Garg, Yadati Narahari
  • 568: Incentives for Participation and Abstention in Probabilistic Social Choice
    Florian Brandl, Felix Brandt, Johannes Hofbauer
  • 570: Crowdsourcing Societal Tradeoffs
    Vincent Conitzer, Markus Brill, Rupert Freeman
  • 571: Modeling Students Self Studies Behaviors
    Pedro Mota, Francisco Melo, Luisa Coheur
  • 572: Leading the Way: An Efficient Multi-Robot Guidance System
    Piyush Khandelwal, Samuel Barrett, Peter Stone
  • 574: Welfare Effects of Market Making in Continuous Double Auctions
    Elaine Wah, Michael Wellman
  • 580: Large-Scale Election Campaigns: Combinatorial Shift Bribery
    Robert Bredereck, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon
  • 582: Approximately Strategy-proof Mechanisms for (Constrained) Facility
    Xin Sui, Craig Boutilier
  • 587: A Syntactic Proof of Arrow\'s Theorem in a Modal Logic of Social Choice Functions
    Giovanni Cina, Ulle Endriss
  • 591: It Pays to Pay in Bi-Matrix Games -- a Rational Explanation for Bribery
    Anshul Gupta, Sven Schewe
  • 597: Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicaets
    Daniel Rosenkrantz, Madhav Marathe, Harry Hunt III, S. S. Ravi, Richard Stearns
  • 607: Particle Field Optimization: A New Paradigm for Swarm Intelligence
    Bell Nathan, John Oommen
  • 620: Aggregating partial rankings with applications to peer grading in massive online open courses
    Ioannis Caragiannis, George Krimpas, Alexandros Voudouris
  • 629: Effective Abstractions for Organizational Design
    Jason Sleight, Ed Durfee
  • 634: HAC-ER: A Disaster Response System based on Human-Agent Collectives
    Sarvapali Ramchurn, Edwin Simpson, Joel Fischer, Trung Dong Huynh, Yuki Ikuno, Steve Reece, Wenchao Jiang, Feng Wu, Jack Flann, Stephen J. Roberts, Luc Moreau, Tom Rodden, Nick Jennings
  • 643: CFQI: Fitted Q-Iteration with Complex Returns
    Robert Wright, Xingye Qiao, Steven Loscalzo, Lei Yu
  • 647: Swarm Robot Foraging with Wireless Sensor Motes
    Katherine Russell, Michael Schader, Kevin Andrea, Sean Luke
  • 651: Capability Models and their Application in Multi-agent Planning
    Yu Zhang, Subbarao Kambhampati
  • 652: Learning Inter-Task Transferability in the Absence of Target Task Samples
    Jivko Sinapov, Sanmit Narvekar, Matteo Leonetti, Peter Stone
  • 658: Incorporating Global and Local Knowledge in Intentional Narrative Planning
    Jonathan Teutenberg, Julie Porteous
  • 662: Bounty Hunters and Multiagent Task Allocation
    Drew Wicke, David Freelan, Sean Luke
  • 666: The Dependence of Effective Planning Horizon on Model Accuracy
    Nan Jiang, Alex Kulesza, Satinder Singh, Richard Lewis
  • 668: An Approach to Quantify Workload in a System of Agents
    Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael Goodrich
  • 671: Supporting Reasoning with Different Types of Evidence in Intelligence Analysis
    Alice Toniolo, Timothy Norman, Nir Oren, Anthony Etuk, Timothy Dropps, John A. Allen, Federico Cerutti, Robin Wentao Ouyang, Mani Srivastava, Paul Sullivan
  • 685: Composing Social Interactions via Social Games
    Daniel Shapiro, Karen Tanenbaum, Josh McCoy, Andrew Stern, Larry LeBron, Craig Reynolds, Michael Mateas, Bill Ferguson, David Diller, Kerry Moffitt, Bruce Roberts, William Coon
  • 689: The Power of Bilateral Deals in Distributed Resource Allocation
    Anastasia Damamme, Aurélie Beynier, Yann Chevaleyre, Nicolas Maudet
  • 690: Creating Socially Adaptive Electronic Partners: Interaction, Reasoning and Ethical Challenges
    M. Birna van Riemsdijk, Catholijn Jonker, Victor Lesser
  • 692: Learning by Observation Using Qualitative Spatial Relations
    Jay Young, Nick Hawes
  • 696: Teaching Robots Parametrized Executable Plans Through Spoken Interaction
    Guglielmo Gemignani, Emanuele Bastianelli, Daniele Nardi
  • 702: Iterative Online Planning in Multiagent Settings with Limited Model Spaces and PAC Guarantees
    Yingke Chen, Yifeng Zeng, Prashant Doshi
  • 705: Plan Adaptation in Partially Modeled Environments via Correction of Anomalous Subspaces
    Juan Pablo Mendoza, Manuela Veloso, Reid Simmons
  • 711: Endgame Solving in Large Imperfect-Information Games
    Sam Ganzfried, Tuomas Sandholm
  • 712: Adaptive Learning in Multi-Agent Navigation
    Julio Godoy, Ioannis Karamouzas, Stephen Guy, Maria Gini
  • 713: Hierarchical Abstraction, Distributed Equilibrium Computation, and Post-Processing, with Application to a Champion No-Limit Texas Hold'em Agent
    Sam Ganzfried, Noam Brown, Tuomas Sandholm
  • 721: Decision-theoretic Clustering of Strategies
    Nolan Bard, Deon Nicholas, Csaba Szepesvari, Michael Bowling
  • 732: To Ask, Sense, or Share: Ad Hoc Information Gathering
    Adam Eck, Leen-Kiat Soh
  • 734: Adaptive Budgeted Bandit Algorithms for Trust Development in a Supply Chain
    Sandip Sen, Anton Ridgway, Michael Ripley
  • 735: Planning for Crowdsourcing Hierarchical Tasks
    Ece Kamar, Eric Horvitz
  • 739: Selling Tomorrow's Bargains Today
    Melika Abolhassani, hossein esfandiari, Mohammad Hajiaghayi, Hamid Mahini, David Malec, Aravind Srinivasan
  • 745: DJ-MC: A Reinforcement-Learning Agent for Music Playlist Recommendation
    Elad Liebman, Maytal Saar-Tsechansky, Peter Stone
  • 755: Monte Carlo Hierarchical Model Learning
    Jacob Menashe, Peter Stone
  • 759: Dynamic Theoretical Analysis of the Distributed Stochastic and Distributed Breakout Algorithms
    Anton Ridgway, Roger Mailler
  • 761: Selecting Robust Strategies in RTS Games via Concurrent Plan Augmentation
    Abdelrahman Elogeel, Andrey Kolobov, Matthew Alden, Ankur Teredesai
  • 763: Dynamic Influence Maximization under Increasing Returns to Scale
    Haifeng Zhang, Ariel Procaccia, Yevgeniy Vorobeychik
  • 770: The Parameterized Complexity of Approval Voting
    Neeldhara Misra, Arshed Nabeel, Harman Singh
  • 771: Sliding Autonomy for UAV Path-Planning: Adding New Dimensions to Autonomy Management
    Lanny Lin, Michael Goodrich
  • 781: Optimisation and Relaxation for Multiagent Planning in the Situation Calculus
    Toby Davies, Adrian Pearce, Peter Stuckey, Harald Sondergaard
  • 782: Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases
    Christian Muise, Tim Miller, Paolo Felli, Adrian Pearce, Liz Sonenberg
  • 783: Information Disclosure as a Means to Security
    Zinovi Rabinovich, Albert Xin Jiang, Manish Jain, Haifeng Xu
  • 784: Mechanism Design for Daily Deals
    Binyi Chen, Tao Qin, Tie-Yan Liu
  • 786: An Effective Conversation Tactic for Creating Value over Repeated Negotiations
    Johnathan Mell, Gale Lucas, Jonathan Gratch
  • 787: Frontier-Based RTDP: A New Approach to Solving the Robotic Adversarial Coverage Problem
    Roi Yehoshua, Noa Agmon, Gal Kaminka
  • 799: Fairness and False-Name Manipulations in Randomized Cake Cutting
    Shunsuke Tsuruta, Masaaki Oka, Taiki Todo, Yuko Sakurai, Makoto Yokoo
  • 804: Representing and Solving Hedonic Games with Ordinal Preferences and Thresholds
    Jerome Lang, Anja Rey, Joerg Rothe, Hilmar Schadrack, Lena Schend
  • 805: Social Decision with Minimal Efficiency Loss: An Automated Mechanism Design Approach
    Mingyu Guo, Taiki Todo, Yuko Sakurai, Makoto Yokoo
  • 810: A dialogue game for recommendation with adaptive preference models
    Christophe Labreuche, Nicolas Maudet, Wassila Ouerdane, Simon Parsons
  • 824: Pervasive 'Calm' Perception for Autonomous Robotic Agents
    Thiemo Wiedemeyer, Ferenc Balint-Benczedi, Michael Beetz
  • 839: Firefly-inspired synchronization in swarms of mobile agents
    Fernando Perez-Diaz, Ruediger Zillmer, Roderich Gross

Short Papers

  • 11: Multi-Objective Multiagent Credit Assignment in NSGA-II Using Difference Evaluations
    Logan Yliniemi, Kagan Tumer
  • 16: An Agent-Based Simulation of Reform Policies in the Maritime Customs Domain
    Jordan Srour, Neil Yorke-Smith
  • 31: Ex post efficiency of random assignments
    Haris Aziz, Simon Mackenzie, Lirong Xia, Chun Ye
  • 34: Multi-Scale Reward Shaping via an Off-Policy Ensemble
    Anna Harutyunyan, Tim Brys, Peter Vrancx, Ann Nowé
  • 44: Consistency-based Reliability Assessment
    Laurence Cholvy, Laurent Perrussel, William Raynaut, Jean Marc Thévenin
  • 51: Estimating the Progress of Maintenance Goals
    James Harland, John Thangarajah, Neil Yorke-Smith
  • 54: Heuristic Collective Learning for Efficient and Robust Emergence of Social Norms
    Jianye Hao, Chao Yu
  • 55: ``I like this painting too'': when an ECA shares appreciations to engage users
    Sabrina Campano, Chloé Clavel, Catherine Pelachaud
  • 57: Towards Probabilistic Decision Making on Human Activities modeled with Business Process Diagrams
    Hector Ceballos, Victor Flores-Solorio, Juan Pablo Garcia-Vazquez
  • 64: Accounting for Circumstances in Reputation Assessment
    Simon Miles, Nathan Griffiths
  • 66: Worth Fixing: Personalizing Maintenance Alerts for Optimal Performance
    Avraham Shvartzon, Amos Azaria, Sarit Kraus, Claudia Goldman, Omer Tsimhoni, Joachim Meyer
  • 74: The efficient interaction of costly punishment and commitment
    The Anh Han, Tom Lenaerts
  • 78: Approximating Difference Evaluations with Local Knowledge
    Mitchell Colby, William Curran, Kagan Tumer
  • 79: A Replicator Dynamics Analysis of Difference Evaluation Functions
    Mitchell Colby, Kagan Tumer
  • 87: Planning Defender Strategies Against Attackers In Domains Involving Frequent Adversary Interaction
    Fei Fang, Peter Stone, Milind Tambe
  • 99: New winning strategies for the Iterated Prisoner's dilemma
    Philippe Mathieu, Jean-Paul Delahaye
  • 107: Filling Knowledge Gaps in Human-Robot Interaction Using Rewritten Knowledge of Common Verbs
    Dongcai Lu, Jianmin Ji, Xiaoping Chen, Jiangchuan Liu
  • 110: Agents Coping with Moral Emotions
    Cristina Battaglino, Rossana Damiano
  • 112: SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL
    Agnieszka Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny
  • 117: Bounded rationality of restricted Turing machines
    Lijie Chen, Pingzhong Tang
  • 119: Situation Calculus Game Structures and GDL
    Giuseppe De Giacomo, Yves Lespérance, Adrian Pearce
  • 123: Private Expansion and Revision in Multi-Agent Settings
    Thomas Caridroit, Sebastien Konieczny, Tiago de Lima, Pierre Marquis
  • 129: Near Optimal Strategies for Targeted Marketing on Social Networks
    Ramakumar Pasumarthi, Ramasuri Narayanam, Balaraman Ravindran
  • 133: Planning Commitment Protocols under Uncertainty
    Felipe Meneguzzi, Pankaj R. Telang, Neil Yorke-Smith
  • 139: Calibration of multiagent simulations through a semi-automated behaviour analysis method
    Kevin Darty, Julien Saunier, Nicolas Sabouret
  • 157: Trajectory Sampling Value Iteration: Improved Dyna Search for MDPs
    Zhou Yicheng, Liu Quan, Fu Qiming, Zhang Zongzhang
  • 160: Empirical Analysis of Reputation aware Task Delegation by Human Beings from a Multi-agent Game
    Han Yu, Han Lin, Xinjia Yu, Su Fang Lim, Jun Lin, Shen Zhiqi, Chunyan Miao
  • 161: Quality and Budget aware Task Allocation for Spatial Crowdsourcing
    Han Yu, Chunyan Miao, Shen Zhiqi, Cyril Leung
  • 170: Modelling of Personality in Agents: From Psychology to Logical Formalisation and Implementation
    Sebastian Ahrndt, Johannes Fähndrich
  • 171: Validating Business Requirements Using MAS Analysis Models
    Nektarios Mitakides, Pavlos Delias, Nikolaos Spanoudakis
  • 175: Adversarial Synergy Graph Model for Predicting Game Outcomes in Human Basketball
    Somchaya Liemhetcharat, Yicheng Luo
  • 177: PrivHab: a Multiagent Secure Georouting Protocol for Podcast Distribution on Disconnected Areas
    Adrián Sánchez-Carmona, Sergi Robles, Carlos Borrego
  • 190: Survival of the Chartist: An Evolutionary Agent-Based Analysis of Stock Market Trading
    Daan Bloembergen, Daniel Hennes, Simon Parsons, Karl Tuyls
  • 200: Exploring the Influence of a Dancing Virtual Agent on the Evocation of Human Emotions
    Deborah Richards, Cedric Roxas, Ayse Aysin Bilgin, Nader Hanna
  • 211: Influence-Optimistic Local Values for Multiagent Planning
    Frans Oliehoek, Matthijs Spaan, Stefan Witwicki
  • 219: Programming with Social Relationships and Goals in JaCaMo+
    Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Roberto Micalizio
  • 236: Voter Dissatisfaction in Committee Elections
    Dorothea Baumeister, Sophie Dennisen
  • 241: Bidding in non-stationary energy markets
    Pablo Hernandez-Leal, Enrique Munoz de Cote, Matthew Taylor, Enrique Sucar
  • 243: How does affective virtual agent feedback influence performance in a real-world treasure hunt?
    Mary Ellen Foster, Amol Deshmukh, Srinivasan Janarthanam, Mei Yii Lim, Helen Hastie, Ruth Aylett
  • 246: Verification of Multi-Agent Systems via SDD-based Model Checking
    Alessio Lomuscio, Hugo Paquet
  • 247: Multi-Agent Task Assignment for Mobile Crowdsourcing under Trajectory Uncertainties
    CHEN Cen , Shih-Fen Cheng, Hoong Chuin Lau, Archan MISRA
  • 249: Evolution of Cooperation with Entrenchment Effects
    Jayati Deshmukh, Srinath Srinivasa
  • 250: The Cost of Interference in Evolving Multiagent Systems
    The Anh Han, Long Tran-Thanh, Nick Jennings
  • 251: Playing Congestion Games with Bandit Feedback
    Chi-Jen Lu, Po-An Chen
  • 252: Hybrid Evolutionary and Reinforcement Learning Approach to Accelerate Traffic Assignment
    Ana Bazzan, Camelia Chira
  • 259: How Hard is Bribery in Party Based Elections
    Yongjie Yang, Yash Raj Shrestha, Jiong Guo
  • 264: Reinforcement Learning For Nash Equilibrium Generation
    Cittern David, Abbas Edalat
  • 267: Election Control in Multi-Peaked Elections: a Parameterized Study
    Yongjie Yang, Jiong Guo
  • 275: Modeling Tipping Point Theory using Normative Multi-agent Systems
    Rahmatollah Beheshti, Gita Sukthankar
  • 276: Beyond Plurality: Truth-Bias in Binary Scoring Rules
    Svetlana Obraztsova, Omer Lev, Vangelis Markakis, Zinovi Rabinovich, Jeffrey Rosenschein
  • 278: Efficient Knowledge Transfer Solution to a Novel SMDP Formalization of a Broker's Decision Problem
    Rodrigue Talla Kuate, Maria Chli, Hai H. Wang
  • 285: Controlling Elections by Replacing Candidates or Votes
    Andrea Loreggia, Nina Narodytska, Francesca Rossi, K. Brent Venable, Toby Walsh
  • 286: Social Contexts and Social Pragmatics
    Matteo Baldoni, Cristina Baroglio, Amit Chopra, Munindar Singh
  • 287: Mechanism design for resource allocation - with applications to centralized multi-commodity routing
    Qipeng Liu, Yicheng Liu, Pingzhong Tang
  • 289: A Bayesian Approach to Norm Identification
    Stephen Cranefield, Felipe Meneguzzi, Nir Oren, tony savarimuthu
  • 295: The RoboCup 2014 SPL Drop-in Player Competition: Encouraging Teamwork without Pre-coordination
    Katie Genter, Tim Laue, Peter Stone
  • 300: Emigration or Tax Evasion? Solutions for Portuguese escape its economic crisis
    Nuno Magessi, Luis Antunes
  • 310: On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing
    Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi
  • 321: Crowdfunding Investment for Renewable Energy
    Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara
  • 338: Profit Maximizing Prior-free Multi-unit Procurement Auctions with Capacitated Sellers
    Arupratan Ray, Debmalya Mandal, Yadati Narahari
  • 342: Competitive Pricing for Cloud Computing in an Evolutionary Market
    Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu
  • 343: Towards Completely Decentralized StarCraft Play with Price of Anarchy Performance Guarantees
    Suffern Zachary, Craig Tovey, Sven Koenig
  • 346: An Agent-based Simulation System for Dynamic Scheduling and Online Disruption Resolving
    Hui Xi, Chi Keong Goh, Partha S. Dutta, Meng Sha, Jie Zhang
  • 352: Social Network driven Traffic Decongestion using near time Forecasting
    Deepika Pathania, Kamalakar Karlapalem
  • 376: A Gillespie-based computational model for integrating event-driven and multi-agent based simulation
    Sara Montagna, Andrea Omicini, Danilo Pianini
  • 377: New Mechanisms for Selling Reserved Instances in Cloud Computing
    Changjun Wang, Weidong Ma, Tao Qin, Feidiao Yang, Tie-Yan Liu, Xujin Chen, Xiaodong Hu
  • 383: Competitive Influence in Social Networks: Convergence, Submodularity, and Competition Effects
    Aris Anagnostopoulos, Diodato Ferraioli, Stefano Leonardi
  • 401: Now, Later, or Both: a Closed-Form Optimal Decision for a Risk-Averse Buyer
    Jasper Hoogland, Mathijs de Weerdt, Han La Poutre
  • 405: A Large-Scale Study of Agents Learning from Human Reward
    Guangliang Li, Hayley Hung, Shimon Whiteson
  • 409: Game-Theoretic Algorithms for Optimal Nework Security Hardening Using Attack Graphs
    Karel Durkota, Viliam Lisy, Christopher Kiekintveld, Branislav Bosansky
  • 420: Social Insect-Inspired Multi-Robot Coverage
    Ipek Caliskanelli, Bastian Broecker, Karl Tuyls, Elizabeth Sklar
  • 425: The Impact of Virtual Agent Personality on a Shared Mental Model with Humans during Collaboration
    Nader Hanna, Deborah Richards
  • 426: Computing Pareto Optimal Agreements in Multi-issue Negotiation for Service Composition
    Claudia Di Napoli, Dario Di Nocera, Silvia Rossi
  • 432: Security in Collaborative Monitors
    Bas Testerink, Nils Bulling, Mehdi Dastani
  • 439: A Formal Description of a Mapping from BPMN to Agents
    Tobias Küster
  • 444: Convention Emergence and Influence in Dynamic Topologies
    James Marchant, Nathan Griffiths, Matthew Leeke
  • 456: A Multi-phase Approach for Improving Information Diffusion in Social Networks
    Swapnil Dhamal, Prabuchandran K.J., Yadati Narahari
  • 462: An Optimal Bidimensional Multi-Armed Bandit Auction for Multi-unit Procurement
    Satyanath Bhat, Shweta Jain, Sujit Gujar, Yadati Narahari
  • 479: A continuous negotation based model for traffic regulation at an intersection
    Matthis Gaciarz, Samir Aknine, Neïla Bhouri
  • 482: Randomized Coordination Search for Scalable Multiagent Planning
    Nazim Kemal Ure, Jonathan How, John Vian
  • 483: Elements of Epistemic Crypto Logic
    Jan van Eijck, Malvin Gattinger
  • 489: Using Kullback-Leibler Divergence for Feedbacks Credibility Assessment
    Thibaut Vallée, Grégory Bonnet
  • 506: A Personalised Thermal Comfort Model for Smart Home Heating
    Frederik Auffenberg, Sebastian Stein, Alex Rogers
  • 507: Contextualize Agent Interactions by Combining Social and Physical Dimensions in the Environment
    Stéphane Galland, Flavien Balbo, Nicolas Gaud, Sebastian Rodriguez, Gauthier Picard, Olivier Boissier
  • 519: Quantal Response Equilibrium for Sponsored Search Auctions
    Jiang Rong, Tao Qin, Bo An
  • 521: When opinion request meets majority search: avoiding fraud in on-line review systems
    Roberto Centeno, Ramon Hermoso
  • 526: Strategies for Truth Discovery under Resource Constraints
    Anthony Etuk, Timothy Norman, Nir Oren, Murat Sensoy
  • 531: Symbolic Model-checking for Resource-Bounded ATL
    Natasha Alechina, Brian Logan, Leonardo Mostarda, Hoang Nga Nguyen, Franco Raimondi
  • 535: Trusted Mediator Agents to Better Manage Complex and Competitive Supply Chains
    Moath Jarrah, Jie Zhang
  • 537: Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games
    Jiri Cermak, Branislav Bosansky, Nicola Gatti
  • 538: Some results on analysis of strategies for graph exploration
    Alessandro Riva, Alberto Quattrini Li, Francesco Amigoni
  • 548: Laughing with a Virtual Agent
    Florian Pecune, Maurizio Mancini, Beatrice Biancardi, Giovanna Varni, Gualtiero Volpe, Catherine Pelachaud, Antonio Camurri
  • 556: Norm Establishment with Resource-Aware Adaptive Punishment
    Samhar Mahmoud, Simon Miles, Michael Luck, Adel Taweel, Brendan Delaney
  • 557: Verifying Normative System Specification containing Collective Imperatives and Deadlines
    Luca Gasparini, Timothy Norman, Martin Kollingbaum, Liang Chen, John-Jules Meyer
  • 573: Decomposition Techniques for DCOPs to Exploit Multi-Variable Agents and Multi-Level Parallelism
    Ferdinando Fioretto, William Yeoh, Enrico Pontelli
  • 576: Computer Aided Tax Evasion Policy Analysis: Directed Search using Autonomous Agents
    Jacob Rosen, Erik Hemberg, Geoff Warner, Sanith Wijesinghe, Uma Marques, Una-May O\'Reilly
  • 578: Improving Value Function Approximation in Factored POMDPs by Exploiting Model Structure
    Tiago Veiga, Matthijs Spaan, Pedro Lima
  • 586: Real-time Bidding based Vehicle Sharing
    Chow Yinlam, Jia Yuan Yu
  • 588: Cascade Model with Contextual Externalities and Bounded User Memory for Sponsored Search Auctions
    Nicola Gatti, Marco Rocco, Paolo Serafino, Carmine Ventre
  • 590: A Market for Reliability for Electricity Scheduling in Developing World Microgrids
    Daniel Strawser, Wardah Inam, Brian Williams
  • 594: Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems
    Ferdinando Fioretto, Federico Campeotto, Agostino Dovier, Enrico Pontelli, William Yeoh
  • 595: Multi-Robot Inverse Reinforcement Learning Under Occlusion with State Transition Estimation
    Kenneth Bogert, Prashant Doshi
  • 601: Improved Planning for Infinite-Horizon Interactive POMDPs Using Probabilistic Inference
    Xia Qu, Prashant Doshi
  • 630: Voting with Social Influence: Using Arguments to Uncover Ground Truth
    John Doucette, Alan Tsang, Hadi Hosseini
  • 637: Cognitive Robots Learning Failure Contexts Through Experimentation
    Sertac Karapinar, Sanem Sariel
  • 646: Tuning Belief Revision for Coordination with Inconsistent Agents in Ad Hoc Teams
    Trevor Sarratt, Arnav Jhala
  • 656: Global Approximations for Principal Agent Theory 
  • Federico Cerutti, Nir Oren, Chris Burnett
  • 657: The evolutionary perks of being irrational
    Fernando Santos, Francisco C. Santos, Ana Paiva
  • 660: A Computational Model of Trust based on Message Content and Source
    Célia da Costa Pereira, Andrea Tettamanzi, Serena Villata
  • 664: How to safely exploit predictions in general-sum normal form games
    Steven Damer, Maria Gini
  • 665: Probabilistic Copeland Tournaments
    Sam Saarinen, Judy Goldsmith, Craig Tovey
  • 667: Quantifier Learning: An Agent-based Coordination Model
    Gierasimczuk Nina, Dariusz Kalocinski, Marcin Mostowski
  • 688: Paving the way for large-scale combinatorial auctions
    Francisco Cruz-Mencia, Jesus Cerquides, Antonio Espinosa, Juan Carlos Moure, Juan Antonio Rodriguez-Aguilar
  • 691: A Model for Social Power Intelligent Agents
    Gonçalo Pereira, Rui Prada, Pedro A. Santos
  • 703: Exploring Social Power Intelligent Behavior
    Gonçalo Pereira, Rui Prada, Pedro A. Santos
  • 709: Considering Agent and Task Openness in Ad Hoc Team Formation
    Bin Chen, Xi Chen, Anish Timsina, Leen-Kiat Soh
  • 710: Reducing diffusion time in attitude diffusion models through agenda setting.
    Kiran Lakkaraju
  • 714: Incremental Knowledge Acquisition with Selective Active Learning
    Batbold Myagmarjav, Mohan Sridharan
  • 717: If you can draw it, you can recognize it: Sketch recognition by mirroring
    Mor Vered, Gal Kaminka
  • 722: The Effect of Apex Length on Smile Genuineness for Digital and Robotic Characters
    J. Dean McDaniel, Mei Si
  • 728: Exploiting Objects as Artifacts in Multi-Agent Based Social Simulations
    Felicitas Mokom, Ziad Kobti
  • 737: Decentralized allocation of tasks with costs changing over time
    James Parker, Alessandro Farinelli, Maria Gini
  • 744: Making Personalized Persuasion: A Computational Model for Adaptive Persuasion
    kang yilin, Ah-Hwee Tan
  • 754: Discovery, Evaluation, and Exploration of Human Supplied Options and Constraints
    Jesse Rosalia, Guliz Tokadli, Charles L. Isbell Jr., Andrea Thomaz, Karen Feigh
  • 764: Nonparametric Bayesian Learning of Other Agents' Policies in Multiagent POMDPs
    Alessandro Panella, Piotr Gmytrasiewicz
  • 766: Selecting Robust Strategies Based on Abstracted Game Models
    Oscar Veliz, Christopher Kiekintveld
  • 769: Task Recognition and Generalization in Long-Term Robot Teaching
    Guglielmo Gemignani, Steven Klee, Manuela Veloso, Daniele Nardi
  • 775: Learning Payoffs in Large Symmetric Games
    Bryce Wiedenbeck, Michael Wellman
  • 778: Managing Multi Robotic Agents to Avoid Congestion and Stampedes
    Garima Ahuja, Kamalakar Karlapalem
  • 791: Parametric mechanism design via quantifier elimination
    Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
  • 795: Improving fairness in nonwasteful matching with hierarchical regional minimum quotas
    Masahiro Goto, Ryoji Kurata, Naoto Hamada, Atsushi Iwasaki, Makoto Yokoo
  • 807: Behaviour analysis of mixed DCOP learning algorithms
    Michail Smyrnakis, Hongyang Qu, Sandor Veres
  • 808: Generalized Plan Design And Entity Description For Autonomous Mobile Manipulation in Open Environme
    Jan Winkler, Michael Beetz
  • 809: Spiteful bidding in the Dollar Auction
    Agata Niescieruk, Marcin Waniek, Tomasz Michalak, Talal Rahwan
  • 819: Multiagent fair optimization with Lorenz dominance
    Lucie Galand, Thibaut Lust
  • 828: P-MARL: Prediction-Based Multi-Agent Reinforcement Learning for Non-Stationary Environments
    Andrei Marinescu, Ivana Dusparic, Adam Taylor, Vinny Cahill, Siobhan Clarke
  • 830: Social Importance: A Mechanism for the Emergence of Cooperation through Local Discrimination
    Pedro Sequeira, Samuel Mascarenhas, Francisco Melo, Ana Paiva
  • 832: ASAP UCT- Action and State Abstractions for Planning in UCT
    Ankit Anand, Aditya Grover, . Mausam, Parag Singla