16. AAMAS 2018: Stockholm, Sweden

• 
  Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar:
  Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM 2018

Keynote Presentations

• 
  Thomas A. Henzinger:
  Temporal Logics for Multi-Agent Systems. 1
• 
  Craig Boutilier:
  Toward User-Centric Recommender Systems. 2
• 
  Ana Paiva:
  Ready Team Player One: Social Robots in Teams. 3
• 
  Ariel Rosenfeld:
  Strategic Human-Agent Interaction: From Promoting Traffic Safety to Search and Rescue. 4
• 
  Josh Tenenbaum:
  Building Machines that Learn and Think Like People. 5
• 
  Joyce Y. Chai:
  Language to Action: Towards Interactive Task Learning with Physical Agents. 6

Session 1: Social Choice Theory 1

• 
  Siddharth Barman, Sanath Kumar Krishnamurthy, Rohit Vaish:
  Greedy Algorithms for Maximizing Nash Social Welfare. 7-13
• 
  Piotr Faliszewski, Nimrod Talmon:
  Between Proportionality and Diversity: Balancing District Sizes under the Chamberlin-Courant Rule. 14-22
• 
  Haris Aziz, Barton E. Lee, Nimrod Talmon:
  Proportionally Representative Participatory Budgeting: Axioms and Algorithms. 23-31
• 
  Piotr Faliszewski, Stanislaw Szufa, Nimrod Talmon:
  Optimization-Based Voting Rule Design: The Closer to Utopia the Better. 32-40

Session 2: Mechanism Design 1

• 
  Hao Cheng, Lei Zhang, Yi Zhang, Jun Wu, ChongJun Wang:
  Optimal Constraint Collection for Core-Selecting Path Mechanism. 41-49
• 
  Takamasa Suzuki, Akihisa Tamura, Makoto Yokoo:
  Efficient Allocation Mechanism with Endowments and Distributional Constraints. 50-58
• 
  Kentaro Yahiro, Yuzhe Zhang, Nathanaël Barrot, Makoto Yokoo:
  Strategyproof and Fair Matching Mechanism for Ratio Constraints. 59-67
• 
  Dengji Zhao, Bin Li, Junping Xu, Dong Hao, Nicholas R. Jennings:
  Selling Multiple Items via Social Networks. 68-76

Session 3: Game Theory 1

• 
  Karl Tuyls, Julien Pérolat, Marc Lanctot, Joel Z. Leibo, Thore Graepel:
  A Generalised Method for Empirical Game Theoretic Analysis. 77-85
• 
  Reshef Meir, David C. Parkes:
  Playing the Wrong Game: Bounding Externalities in Diverse Populations of Agents. 86-94
• 
  Ganesh Ghalme, Sujit Gujar, Amleshwar Kumar, Shweta Jain, Y. Narahari:
  Design of Coalition Resistant Credit Score Functions for Online Discussion Forums. 95-103
• 
  Shibashis Guha, Orna Kupferman, Gal Vardi:
  Multi-Player Flow Games. 104-112

Session 4: Learning and Adaptation 1

• 
  Tharindu Fernando, Simon Denman, Sridha Sridharan, Clinton Fookes:
  Learning Temporal Strategic Relationships using Generative Adversarial Imitation Learning. 113-121
• 
  Jakob N. Foerster, Richard Y. Chen, Maruan Al-Shedivat, Shimon Whiteson, Pieter Abbeel, Igor Mordatch:
  Learning with Opponent-Learning Awareness. 122-130
• 
  Melrose Roderick, Christopher Grimm, Stefanie Tellex:
  Deep Abstract Q-Networks. 131-138
• 
  Shayegan Omidshafiei, Dong-Ki Kim, Jason Pazis, Jonathan P. How:
  Crossmodal Attentive Skill Learner. 139-146

Session 5: Logic for Multiagent Systems 1

• 
  Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia:
  Event-Based and Scenario-Based Causality for Computational Ethics. 147-155
• 
  Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz:
  Towards Partial Order Reductions for Strategic Ability. 156-165
• 
  Jeremy Kong, Alessio Lomuscio:
  Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. 166-174
• 
  Christopher Leturc, Grégory Bonnet:
  A Normal Modal Logic for Trust in the Sincerity. 175-183

Session 6: Social Networks

• 
  Sandipan Sikdar, Tanmoy Chakraborty, Soumya Sarkar, Niloy Ganguly, Animesh Mukherjee:
  ComPAS: Community Preserving Sampling for Streaming Graphs. 184-192
• 
  Yijin Cai, Hong Zheng, Jiamou Liu, Bo Yan, Hongyi Su, Yiping Liu:
  Balancing the Pain and Gain of Hobnobbing: Utility-Based Network Building over Atributed Social Networks. 193-201
• 
  Chenxi Qiu, Anna Cinzia Squicciarini, Christopher Griffin, Prasanna Umar:
  Combating Behavioral Deviance via User Behavior Control. 202-210
• 
  Sixie Yu, Yevgeniy Vorobeychik, Scott Alfeld:
  Adversarial Classification on Social Networks. 211-219

Session 7: Robotics: Planning

• 
  Shih-Yun Lo, Shiqi Zhang, Peter Stone:
  PETLON: Planning Efficiently for Task-Level-Optimal Navigation. 220-228
• 
  Alessandro Riva, Jacopo Banfi, Carlo Fanton, Nicola Basilico, Francesco Amigoni:
  A Journey Among Pairs of Vertices: Computing Robots' Paths for Performing Joint Measurements. 229-237
• 
  Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki:
  Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. 238-246
• 
  Sarra M. Alqahtani, Ian Riley, Samuel Taylor, Rose F. Gamble, Roger Mailler:
  MTL Robustness for Path Planning with A. 247-255

Session 8: Social Choice on Networks

• 
  Dusan Knop, Martin Koutecký, Matthias Mnich:
  A Unifying Framework for Manipulation Problems. 256-264
• 
  Bryan Wilder, Yevgeniy Vorobeychik:
  Controlling Elections through Social Influence. 265-273
• 
  Amittai Cohen-Zemach, Yoad Lewenberg, Jeffrey S. Rosenschein:
  Gerrymandering Over Graphs. 274-282
• 
  Robert Bredereck, Andrzej Kaczmarczyk, Rolf Niedermeier:
  Envy-Free Allocations Respecting Social Networks. 283-291
• 
  Aurélie Beynier, Yann Chevaleyre, Laurent Gourvès, Julien Lesca, Nicolas Maudet, Anaëlle Wilczynski:
  Local Envy-Freeness in House Allocation Problems. 292-300
• 
  Alan Tsang, Amirali Salehi-Abari, Kate Larson:
  Boundedly Rational Voters in Large(r) Networks. 301-308

Session 9: Auctions and Mechanism Design 2

• 
  Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga:
  Price-based Online Mechanisms for Settings with Uncertain Future Procurement Costs and Multi-unit Demand. 309-317
• 
  John P. Dickerson, Karthik Abinav Sankararaman, Aravind Srinivasan, Pan Xu:
  Assigning Tasks to Workers based on Historical Data: Online Task Assignment with Two-sided Arrivals. 318-326
• 
  Chaolun Xia, S. Muthukrishnan:
  Arbitrage-free Pricing in User-based Markets. 327-335
• 
  Yuho Wada, Tomohiro Ono, Taiki Todo, Makoto Yokoo:
  Facility Location with Variable and Dynamic Populations. 336-344
• 
  Padala Manisha, C. V. Jawahar, Sujit Gujar:
  Learning Optimal Redistribution Mechanisms Through Neural Networks. 345-353
• 
  Zhe Feng, Harikrishna Narasimhan, David C. Parkes:
  Deep Learning for Revenue-Optimal Auctions with Budgets. 354-362

Session 10: Logic and Games

• 
  Lavindra de Silva:
  HTN Acting: A Formalism and an Algorithm. 363-371
• 
  Valentin Goranko, Sebastian Enqvist:
  Socially Friendly and Group Protecting Coalition Logics. 372-380
• 
  Joseph Boudou, Emiliano Lorini:
  Concurrent Game Structures for Temporal STIT Logic. 381-389
• 
  Pavel Naumov, Jia Tao:
  Second-Order Know-How Strategies. 390-398
• 
  Julian Gutierrez, Paul Harrenstein, Thomas Steeples, Michael Wooldridge:
  Local Equilibria in Logic-Based Multi-Player Games. 399-406
• 
  Maria-Florina Balcan, Avrim Blum, Shang-Tse Chen:
  Diversified Strategies for Mitigating Adversarial Attacks in Multiagent Systems. 407-415

Session 11: Learning and Adaptation 2

• 
  Frits de Nijs, Georgios Theocharous, Nikos Vlassis, Mathijs Michiel de Weerdt, Matthijs T. J. Spaan:
  Capacity-aware Sequential Recommendations. 416-424
• 
  Ashiqur R. KhudaBukhsh, Jaime G. Carbonell:
  Expertise Drift in Referral Networks. 425-433
• 
  Thomas Spooner, John Fearnley, Rahul Savani, Andreas Koukorinis:
  Market Making via Reinforcement Learning. 434-442
• 
  Gregory Palmer, Karl Tuyls, Daan Bloembergen, Rahul Savani:
  Lenient Multi-Agent Deep Reinforcement Learning. 443-451
• 
  Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Anthony Valenzano, Sheila A. McIlraith:
  Teaching Multiple Tasks to an RL Agent using LTL. 452-461
• 
  Maxime Bouton, Kyle Julian, Alireza Nakhaei, Kikuo Fujimura, Mykel J. Kochenderfer:
  Utility Decomposition with Deep Corrections for Scalable Planning under Uncertainty. 462-469

Session 12: Socially Interactive Agents 1

• 
  Jan Pöppel, Stefan Kopp:
  Satisficing Models of Bayesian Theory of Mind for Explaining Behavior of Differently Uncertain Agents: Socially Interactive Agents Track. 470-478
• 
  Abdelwahab Bourai, Jaime G. Carbonell:
  I Know What You Don't Know: Proactive Learning through Targeted Human Interaction. 479-487
• 
  Ronal Singh, Tim Miller, Joshua Newn, Liz Sonenberg, Eduardo Velloso, Frank Vetere:
  Combining Planning with Gaze for Online Human Intention Recognition. 488-496
• 
  Patrick Gebhard, Tanja Schneeberger, Tobias Baur, Elisabeth André:
  MARSSI: Model of Appraisal, Regulation, and Social Signal Interpretation. 497-506
• 
  Filipa Correia, Carla Guerra, Samuel Mascarenhas, Francisco S. Melo, Ana Paiva:
  Exploring the Impact of Fault Justification in Human-Robot Trust. 507-513
• 
  Feyza Merve Hafizoglu, Sandip Sen:
  The Effects of Past Experience on Trust in Repeated Human-Agent Teamwork. 514-522

Session 13: Robotics: Multi-Robot Coordination

• 
  Dario Albani, Tiziano Manoni, Daniele Nardi, Vito Trianni:
  Dynamic UAV Swarm Deployment for Non-Uniform Coverage. 523-531
• 
  Erez Hartuv, Noa Agmon, Sarit Kraus:
  Scheduling Spare Drones for Persistent Task Performance under Energy Constraints. 532-540
• 
  Volker Strobel, Eduardo Castelló Ferrer, Marco Dorigo:
  Managing Byzantine Robots via Blockchain Technology in a Swarm Robotics Collective Decision Making Scenario. 541-549
• 
  Thadeu Tucci, Benoît Piranda, Julien Bourgeois:
  A Distributed Self-Assembly Planning Algorithm for Modular Robots. 550-558
• 
  Laëtitia Matignon, Olivier Simonin:
  Multi-Robot Simultaneous Coverage and Mapping of Complex Scene - Comparison of Different Strategies. 559-567
• 
  Ji Chen, Salar Moarref, Hadas Kress-Gazit:
  Verifiable Control of Robotic Swarm from High-level Specifications. 568-576

Session 14: Industrial Applications

• 
  Shih-Fen Cheng, Shashi Shekhar Jha, Rishikeshan Rajendram:
  Taxis Strike Back: A Field Trial of the Driver Guidance System. 577-584
• 
  Hussain Kazmi, Johan Suykens, Johan Driesen:
  Valuing Knowledge, Information and Agency in Multi-agent Reinforcement Learning: A Case Study in Smart Buildings. 585-587
• 
  Ayan Mukhopadhyay, Zilin Wang, Yevgeniy Vorobeychik:
  A Decision Theoretic Framework for Emergency Responder Dispatch. 588-596
• 
  Sethuramalingam Subramaniam, Pooja Aggarwal, Gargi Banerjee Dasgupta, Amit M. Paradkar:
  COBOTS - A Cognitive Multi-Bot Conversational Framework for Technical Support. 597-604

Session 15: Auctions and Mechanism Design 3

• 
  Matthias Gerstgrasser:
  On the Complexity of Optimal Correlated Auctions and Reverse Auctions. 605-613
• 
  Mason Wright, Michael P. Wellman:
  Evaluating the Stability of Non-Adaptive Trading in Continuous Double Auctions. 614-622
• 
  Eleftherios Anastasiadis, Argyrios Deligkas:
  Heterogeneous Facility Location Games. 623-631
• 
  Wen Shen, Jacob W. Crandall, Ke Yan, Cristina V. Lopes:
  Information Design in Crowdfunding under Thresholding Policies. 632-640

Session 16: Economic Paradigms

• 
  Lei Niu, Fenghui Ren, Minjie Zhang:
  Feasible Negotiation Procedures for Multiple Interdependent Negotiations. 641-649
• 
  Benno Kuckuck, Jörg Rothe:
  Sequential Allocation Rules are Separable: Refuting a Conjecture on Scoring-Based Allocation of Indivisible Goods. 650-658
• 
  David Klaska, Antonín Kucera, Tomás Lamser, Vojtech Rehák:
  Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. 659-666
• 
  Fanny Pascual, Krzysztof Rzadca, Piotr Skowron:
  Collective Schedules: Scheduling Meets Computational Social Choice. 667-675

Session 17: Game Theory 2

• 
  Alvaro Perez-Diaz, Enrico Gerding, Frank McGroarty:
  Coordination of Electric Vehicle Aggregators: A Coalitional Approach. 676-684
• 
  Sai Ganesh Nagarajan, Sameh Mohamed, Georgios Piliouras:
  Three Body Problems in Evolutionary Game Dynamics: Convergence, Periodicity and Limit Cycles. 685-693
• 
  Haris Aziz, Serge Gaspers, Edward J. Lee, Kamran Najeebullah:
  Defender Stackelberg Game with Inverse Geodesic Length as Utility Metric. 694-702
• 
  Jiarui Gan, Edith Elkind, Michael Wooldridge:
  Stackelberg Security Games with Multiple Uncoordinated Defenders. 703-711

Session 18: Agent Cooperation 1

• 
  Mohammad Rostami, Soheil Kolouri, Kyungnam Kim, Eric Eaton:
  Multi-Agent Distributed Lifelong Learning for Collective Knowledge Acquisition. 712-720
• 
  Shizhao Sun, Wei Chen, Jiang Bian, Xiaoguang Liu, Tie-Yan Liu:
  Slim-DP: A Multi-Agent System for Communication-Efficient Distributed Deep Learning. 721-729
• 
  Thomy Phan, Lenz Belzner, Thomas Gabor, Kyrill Schmid:
  Leveraging Statistical Multi-Agent Online Planning with Emergent Value Function Approximation. 730-738
• 
  Joanna Turner, Qinggang Meng, Gerald Schaefer, Andrea Soltoggio:
  Distributed Strategy Adaptation with a Prediction Function in Multi-Agent Task Allocation. 739-747

Session 19: Scheduling and Planning

• 
  Roman Barták, Jiri Svancara, Marek Vlk:
  A Scheduling-Based Approach to Multi-Agent Path Finding with Weighted and Capacitated Arcs. 748-756
• 
  Wolfgang Hönig, Scott Kiesel, Andrew Tinka, Joseph W. Durham, Nora Ayanian:
  Conflict-Based Search with Optimal Task Assignment. 757-765
• 
  Evripidis Bampis, Bruno Escoffier, Sasa Mladenovic:
  Fair Resource Allocation Over Time. 766-773
• 
  Vivek Nallur, Siobhán Clarke:
  Clonal Plasticity: An Autonomic Mechanism for Multi-Agent Systems to Self-Diversify. 774-776

Session 20: Agent-based Simulation 1

• 
  Emilio Cruciani, Emanuele Natale, André Nusser, Giacomo Scornavacca:
  Phase Transition of the 2-Choices Dynamics on Core-Periphery Networks. 777-785
• 
  Flávio L. Pinheiro, Fernando P. Santos:
  Local Wealth Redistribution Promotes Cooperation in Multiagent Systems. 786-794
• 
  Yixi Wang, Wenhuan Lu, Jianye Hao, Jianguo Wei, Ho-fung Leung:
  Efficient Convention Emergence through Decoupled Reinforcement Social Learning with Teacher-Student Mechanism. 795-803
• 
  Raquel Rosés, Cristina Kadar, Charlotte Gerritsen, Chris Rouly:
  Agent-Based Simulation of Offender Mobility: Integrating Activity Nodes from Location-Based Social Networks. 804-812

Session 21: Engineering Multiagent Systems 1

• 
  Andrei Ciortea, Simon Mayer, Florian Michahelles:
  Repurposing Manufacturing Lines on the Fly with Multi-agent Systems for the Web of Things. 813-822
• 
  Shahrzad Gholami, Sara Mc Carthy, Bistra Dilkina, Andrew J. Plumptre, Milind Tambe, Margaret Driciru, Fred Wanyama, Aggrey Rwetsiba, Mustapha Nsubaga, Joshua Mabonga, Tom Okello, Eric Enyel:
  Adversary Models Account for Imperfect Crime Data: Forecasting and Planning against Real-world Poachers. 823-831
• 
  Jan Mrkos, Antonín Komenda, Michal Jakob:
  Revenue Maximization for Electric Vehicle Charging Service Providers Using Sequential Dynamic Pricing. 832-840
• 
  Bryan Wilder, Han-Ching Ou, Kayla de la Haye, Milind Tambe:
  Optimizing Network Structure for Preventative Health. 841-849

Session 22: Robotics: Human-Robot Interaction

• 
  Mihai Pomarlan, John Bateman:
  Robot Program Construction via Grounded Natural Language Semantics & Simulation. 857-864
• 
  Andrea Vanzo, Jose L. Part, Yanchao Yu, Daniele Nardi, Oliver Lemon:
  Incrementally Learning Semantic Attributes through Dialogue Interaction. 865-873
• 
  Dogancan Kebüde, Cem Eteke, Tevfik Metin Sezgin, Baris Akgün:
  Communicative Cues for Reach-to-Grasp Motions: From Humans to Robots. 874-882
• 
  Michiel de Jong, Kevin Zhang, Aaron M. Roth, Travers Rhodes, Robin Schmucker, Chenghui Zhou, Sofia Ferreira, João Cartucho, Manuela M. Veloso:
  Towards a Robust Interactive and Learning Social Robot. 883-891

Session 23: Applications of Game Theory

• 
  Aaron Schlenker, Omkar Thakoor, Haifeng Xu, Fei Fang, Milind Tambe, Long Tran-Thanh, Phebe Vayanos, Yevgeniy Vorobeychik:
  Deceiving Cyber Adversaries: A Game Theoretic Approach. 892-900
• 
  Atiyeh Ashari Ghomi, Allan Borodin, Omer Lev:
  Seasonal Goods and Spoiled Milk: Pricing for a Limited Shelf-Life. 901-909
• 
  Mohammad Tanvir Irfan, Tucker Gordon:
  The Power of Context in Networks: Ideal Point Models with Social Interactions. 910-918
• 
  Kai Wang, Qingyu Guo, Phebe Vayanos, Milind Tambe, Bo An:
  Equilibrium Refinement in Security Games with Arbitrary Scheduling Constraints. 919-927
• 
  Yuan Deng, Weiran Shen, Pingzhong Tang:
  Coalitional Permutation Manipulations in the Gale-Shapley Algorithm. 928-936
• 
  Gianpiero Monaco, Luca Moscardelli, Yllka Velaj:
  Stable Outcomes in Modified Fractional Hedonic Games. 937-945

Session 24: Social Choice Theory 2

• 
  Ulle Endriss:
  Judgment Aggregation with Rationality and Feasibility Constraints. 946-954
• 
  Andrea Loreggia, Nicholas Mattei, Francesca Rossi, Kristen Brent Venable:
  On the Distance Between CP-nets. 955-963
• 
  Haris Aziz, Jiayin Chen, Serge Gaspers, Zhaohong Sun:
  Stability and Pareto Optimality in Refugee Allocation Matchings. 964-972
• 
  Nawal Benabbou, Mithun Chakraborty, Xuan-Vinh Ho, Jakub Sliwinski, Yair Zick:
  Diversity Constraints in Public Housing Allocation. 973-981
• 
  Marco Faella, Luigi Sauro:
  Do all Tournaments Admit Irrelevant Matches? 982-989

Session 25: Learning and Adaptation 3

• 
  Elad Liebman, Eric Zavesky, Peter Stone:
  A Stitch in Time - Autonomous Model Management via Reinforcement Learning. 990-998
• 
  Merwan Barlier, Romain Laroche, Olivier Pietquin:
  Training Dialogue Systems With Human Advice. 999-1007
• 
  Ayush Jain, Doina Precup:
  Eligibility Traces for Options. 1008-1016
• 
  Ramya Ramakrishnan, Ece Kamar, Debadeepta Dey, Julie A. Shah, Eric Horvitz:
  Discovering Blind Spots in Reinforcement Learning. 1017-1025
• 
  Felipe Leno da Silva, Anna Helena Reali Costa:
  Object-Oriented Curriculum Generation for Reinforcement Learning. 1026-1034
• 
  Zhuoshu Li, Zhitang Chen, Pascal Poupart, Sanmay Das, Yanhui Geng:
  Faster Policy Adaptation in Environments with Exogeneity: A State Augmentation Approach. 1035-1043

Session 26: Agent-Based Simulation 2

• 
  Yuexin Ma, Dinesh Manocha, Wenping Wang:
  Efficient Reciprocal Collision Avoidance between Heterogeneous Agents Using CTMAT. 1044-1052
• 
  Weihua Li, Quan Bai, Minjie Zhang, Tung Doan Nguyen:
  Modelling Multiple Influences Diffusion in On-line Social Networks. 1053-1061
• 
  Gizem Korkmaz, Monica Capra, Adriana Kraig, Kiran Lakkaraju, Chris J. Kuhlman, Fernando Vega-Redondo:
  Coordination and Common Knowledge on Communication Networks. 1062-1070
• 
  Alex Kuefler, Mykel J. Kochenderfer:
  Burn-In Demonstrations for Multi-Modal Imitation Learning. 1071-1078
• 
  Adam Coates, Liangxiu Han, Anthony Kleerekoper:
  A Unified Framework for Opinion Dynamics. 1079-1086
• 
  Blake Wulfe, Sunil Chintakindi, Sou-Cheng T. Choi, Rory Hartong-Redden, Anuradha Kodali, Mykel J. Kochenderfer:
  Real-Time Prediction of Intermediate-Horizon Automotive Collision Risk. 1087-1096

Session 27: Argumentation

• 
  Annemarie Borg, Ofer Arieli:
  Hypersequential Argumentation Frameworks: An Instantiation in the Modal Logic S5. 1097-1104
• 
  Ofer Arieli, Annemarie Borg, Christian Straßer:
  Prioritized Sequent-Based Argumentation. 1105-1113
•