Author Index

Igarashi, Ayumi, University of Oxford

Doctoral Consortium ~ Coalition Formation in Structured Environments (Page 1836)

Extended Abstract ~ On Parameterized Complexity of Group Activity Selection Problems on Social Networks (Page 1575)

Full Paper ~ Supermodular Games on Social Networks (Page 299)

Immorlica, Nicole, Microsoft Research

Full Paper ~ Uncharted but not Uninfluenced: Influence Maximization with an Uncertain Network (Page 1305)

Ismaili, Anisse, Kyushu University

Full Paper ~ Weighted Matching Markets with Budget Constraints (Page 317)

Izsak, Rani, Weizmann Institute of Science

Doctoral Consortium ~ Coping with Hardness of Welfare Maximization by Introducing Useful Complexity Measures (Page 1838)

Extended Abstract ~ Working Together: Committee Selection and the Supermodular Degree (Page 1578)

Jain, Puneet, IIIT-Delhi

Full Paper ~ Effect of Leader Placement on Robotic Swarm Control (Page 1387)

Jain, Shweta, Indian Institute of Science

Full Paper ~ Thompson Sampling Based Mechanisms for Stochastic Multi-Armed Bandit Problems (Page 87)

Jamali, Nadeem, University of Saskatchewan

Extended Abstract ~ interActors: A Model for Separating Complex Communication Concerns in Multiagent Computations (Page 1550)

Jamroga, Wojciech, Polish Academy of Sciences

Extended Abstract ~ Timed ATL: Forget Memory, Just Count (Page 1460)

Full Paper ~ Reasoning about Natural Strategic Ability (Page 714)

Full Paper ~ Fixpoint Approximation of Strategic Abilities under Imperfect Information (Page 1241)

Full Paper ~ Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot (Page 1286)

Jangir, Rishabh, Indian Institute of Technology

Extended Abstract ~ Data Driven Strategies for Active Monocular SLAM using Inverse Reinforcement Learning (Page 1697)

Janssen, Stef, Delft University of Technology

Doctoral Consortium ~ Agent-based Security and Efficiency Estimation in Airport Terminals (Page 1840)

Jeanpierre, Laurent, University of Caen Normandy

Extended Abstract ~ Flexible POMDP Framework for Human-Robot Cooperation in Escort Tasks (Page 1538)

Jeong, David C., University of Southern California

Full Paper ~ "Is It Just Me?" : Evaluating Attribution of Negative Feedback as a Function of Virtual Instructor's Gender and Proxemics (Page 810)

Jhala, Arnav, North Carolina State University

Demo Abstract ~ Prom Week Meets Skyrim (Page 1790)

Extended Abstract ~ Prom Week Meets Skyrim: Developing a Social Agent Architecture in a Commercial Game (Page 1562)

Jia, Zhipeng, Tsinghua University

Full Paper ~ Efficient Near-optimal Algorithms for Barter Exchange (Page 362)

Jiang, Yichuan, Southeast University

Extended Abstract ~ Protecting Elections with Minimal Resource Consumption (Page 1595)

Extended Abstract ~ Pursuing a Faster Evader Based on an Agent Team with Unstable Speeds (Page 1766)

Jiang, Yuqian, University of Texas at Austin

Full Paper ~ Multirobot Symbolic Planning under Temporal Uncertainty (Page 501)

Jin, Hai, Huazhong University of Science and Technology

Full Paper ~ Uniform Information Exchange in Multi-channel Wireless Ad Hoc Networks (Page 1026)

Jindal, Akshay, International Institute of Information Technology, Bangalore

Full Paper ~ Agent-Based Modeling and Simulation of Mosquito-Borne Disease Transmission (Page 426)

Johnson, Collin, University of Michigan

Full Paper ~ A Tale of Two Architectures: A Dual-Citizenship Integration of Natural Language and the Cognitive Map (Page 1360)

Johnson, Emmanuel, University of Southern California

Full Paper ~ Towards An Autonomous Agent that Provides Automated Feedback on Students' Negotiation Skills (Page 410)

Johnson, Matthew, Microsoft Research, Cambridge

Full Paper ~ Asynchronous Data Aggregation for Training End to End Visual Control Networks (Page 530)

Jones, Andrew V., Vector Software Inc.

Full Paper ~ Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot (Page 1286)

Julian, Vicente, Universitat Politècnica de València

Extended Abstract ~ Extending JaCalIVE Framework to Create Virtual Worlds by Means of an OWL Ontology (Page 1714)

Jurdziński, Marcin, University of Warwick

Extended Abstract ~ Multi-player Approximate Nash Equilibria (Page 1511)

Extended Abstract ~ Zero-Sum Game Techniques for Approximate Nash Equilibria (Page 1514)

K. J., Prabuchandran, IBM IRL

Extended Abstract ~ A Dominant Strategy Truthful, Deterministic Multi-Armed Bandit Mechanism with Logarithmic Regret (Page 1667)

Kaisers, Michael, Centrum Wiskunde & Informatica

Extended Abstract ~ SLA-Mechanisms for Electricity Trading under Volatile Supply and Varying Criticality of Demand (Page 1640)

Full Paper ~ The Value of Information in Automated Negotiation: A Decision Model for Eliciting User Preferences (Page 391)

Kambhampati, Subbarao, Arizona State University

Full Paper ~ A Game Theoretic Approach to Strategy Generation for Moving Target Defense in Web Applications (Page 178)

Kaminka, Gal A., Bar Ilan University

Extended Abstract ~ Active Perception at the Architecture Level (Page 1708)

Extended Abstract ~ Online Recognition of Navigation Goals Through Goal Mirroring (Page 1748)

Kang, Donghun, Nanyang Technological University

Demo Abstract ~ Automatic Construction of Agent-based Simulation Using Business Process Diagrams and Ontology-based Models (Page 1793)

Full Paper ~ Proactive Project Scheduling with Time-dependent Workability Uncertainty (Page 221)

Kar, Debarun, University of Southern California & USC Center for AI in Society

Full Paper ~ Cloudy with a Chance of Poaching: Adversary Behavior Modeling and Forecasting with Real-World Poaching Data (Page 159)

Kauth, Daniel, Technische Universität Darmstadt

Extended Abstract ~ Learning to Assemble Objects with a Robot Swarm (Page 1547)

Keidar, Ofri, Bar Ilan University

Extended Abstract ~ Safety First: Strategic Navigation in Adversarial Environments (Page 1581)

Keller, Orgad, Bar-Ilan University

Full Paper ~ New Approximation for Borda Coalitional Manipulation (Page 606)

Khandelwal, Piyush, Cogitai Inc. & University of Texas at Austin

Full Paper ~ Multi-Robot Human Guidance: Human Experiments and Multiple Concurrent Requests (Page 1369)

KhudaBukhsh, Wasiur R., Technische Universität Darmstadt

Full Paper ~ Inverse Reinforcement Learning in Swarm Systems (Page 1413)

Kiekintveld, Christopher, University of Texas at El Paso

Extended Abstract ~ Adapting with Honeypot Configurations to Detect Evolving Exploits (Page 1565)

Kitaoka, Hironobu, Toyota Motor Corporation

Full Paper ~ Adaptive Pricing Mechanisms for On-Demand Mobility (Page 1017)

Klein, Mark, Massachusetts Institute of Technology

Full Paper ~ Multi-Agent Nonlinear Negotiation for Wi-Fi Channel Assignment (Page 1035)

Kleinberg, Jon, Cornell University

Full Paper ~ Fair Division via Social Comparison (Page 281)

Kleinerman, Igor, ImageSat International (ISI)

Demo Abstract ~ KINGFISHER: Total Maritime Awareness System (Page 1784)

Extended Abstract ~ Finding a Needle in a Haystack: Satellite Detection of Moving Objects in Marine Environments (Page 1541)

Kligsberg, Sharon, ImageSat International (ISI)

Demo Abstract ~ KINGFISHER: Total Maritime Awareness System (Page 1784)

Extended Abstract ~ Finding a Needle in a Haystack: Satellite Detection of Moving Objects in Marine Environments (Page 1541)

Knapik, Michał, Polish Academy of Sciences

Extended Abstract ~ Timed ATL: Forget Memory, Just Count (Page 1460)

Full Paper ~ Fixpoint Approximation of Strategic Abilities under Imperfect Information (Page 1241)

Knobbout, Max, Triple

Extended Abstract ~ Towards a Framework for Predicting Opportunism in Multi-agent Systems (Page 1616)

Koenig, Sven, University of Southern California

Full Paper ~ Lifelong Multi-Agent Path Finding for Online Pickup and Delivery Tasks (Page 837)

Koeppl, Heinz, Technische Universität Darmstadt

Full Paper ~ Inverse Reinforcement Learning in Swarm Systems (Page 1413)

Kohan Marzagão, David, King's College London

Full Paper ~ Multi-Agent Flag Coordination Games (Page 1442)

Kong, Jeremy, Imperial College London

Full Paper ~ Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications (Page 114)

Kong, Shufeng, University of Technology, Sydney

Full Paper ~ A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints (Page 203)

Koralewski, Sebastian, University of Bremen

Extended Abstract ~ Deeper Understanding of Vague Instructions through Simulated Execution (Page 1694)

Krämer, Nicole C., University Duisburg-Essen

Full Paper ~ "Is It Just Me?" : Evaluating Attribution of Negative Feedback as a Function of Virtual Instructor's Gender and Proxemics (Page 810)

Kraus, Sarit, Bar-Ilan University

Extended Abstract ~ Speeding up Tabular Reinforcement Learning Using State-Action Similarities (Page 1722)

Krause, Evan, Turfts University

Full Paper ~ Spoken Instruction-Based One-Shot Object and Action Learning in a Cognitive Robotic Architecture (Page 1378)

Krishna, K. Madhava, International Institute of Information Technology

Extended Abstract ~ Data Driven Strategies for Active Monocular SLAM using Inverse Reinforcement Learning (Page 1697)

Kruger, Justin, Universite Paris-Dauphine & PSL Research University

Extended Abstract ~ Refinements and Randomised Versions of Some Tournament Solutions (Page 1584)

Krysta, Piotr, University of Liverpool

Extended Abstract ~ Mechanism Design for Ontology Alignment (Page 1587)

Kuipers, Benjamin, University of Michigan

Full Paper ~ A Tale of Two Architectures: A Dual-Citizenship Integration of Natural Language and the Cognitive Map (Page 1360)

Kumar, Akshat, Singapore Management University

Demo Abstract ~ A Multi-Agent System for Coordinating Vessel Traffic (Page 1814)

Extended Abstract ~ Multiagent Coordination Using Graph Structured Mathematical Optimization (Page 1739)

Full Paper ~ Coordinating Vessel Traffic to Improve Safety and Efficiency (Page 141)

Kumar, Rajiv Ranjan, Singapore Management University

Full Paper ~ Exploiting Anonymity and Homogeneity in Factored Dec-MDPs through Precomputed Binomial Distributions (Page 732)

Kumar, T. K. Satish, University of Southern California

Full Paper ~ Lifelong Multi-Agent Path Finding for Online Pickup and Delivery Tasks (Page 837)

Kurpiewski, Damian, Polish Academy of Sciences

Full Paper ~ Fixpoint Approximation of Strategic Abilities under Imperfect Information (Page 1241)

Küster, Tobias, Technische Universität Berlin

Demo Abstract ~ A Multi-Agent Platform for Augmented Reality based Product-Service Systems (Page 1796)

Kuusisto, Antti, University of Bremen

Full Paper ~ Game-Theoretic Semantics for ATL+ with Applications to Model Checking (Page 1277)

La Poutré, Han, Centrum Wiskunde & Informatica, & Delft University of Technology

Extended Abstract ~ SLA-Mechanisms for Electricity Trading under Volatile Supply and Varying Criticality of Demand (Page 1640)

Lahaie, Sebastien, Google Research

Extended Abstract ~ Fair Allocation of Indivisible Goods with Different Entitlements (Page 1535)

Lamont, Sean, Australian National University

Extended Abstract ~ Generalised Discount Functions applied to a Monte-Carlo AI\mu Implementation (Page 1589)

Lanctot, Marc, DeepMind

Full Paper ~ Multi-agent Reinforcement Learning in Sequential Social Dilemmas (Page 464)

Lang, Jérôme, Université Paris-Dauphine

Full Paper ~ Beyond Electing and Ranking: Collective Dominating Chains, Dominating Subsets and Dichotomies (Page 24)

Full Paper ~ Manipulation of Hamming-based Approval Voting for Multiple Referenda and Committee Elections (Page 597)

Lau, Francis C.M., University of Hong Kong

Full Paper ~ Uniform Information Exchange in Multi-channel Wireless Ad Hoc Networks (Page 1026)

Lau, Hoong Chuin, Singapore Management University

Demo Abstract ~ A Multi-Agent System for Coordinating Vessel Traffic (Page 1814)

Full Paper ~ Coordinating Vessel Traffic to Improve Safety and Efficiency (Page 141)

Laue, Tim, University of Bremen

JAAMAS Extended Abstract ~ Three Years of the RoboCup Standard Platform League Drop-In Player Competition: Creating and Maintaining a Large Scale Ad Hoc Teamwork Robotics Competition (Page 520)

Le Thanh, Nhan, Université Côte d'Azur

Extended Abstract ~ Towards a Spatio-Temporal Agent-Based Recommender System (Page 1664)

Leal, André B., Santa Catarina State University

Full Paper ~ Probabilistic Supervisory Control Theory (pSCT) Applied to Swarm Robotics (Page 1395)

Lee, Hooyeon, Moloco, Inc.

Full Paper ~ Parameterized Complexity of Group Activity Selection (Page 353)

Lee, Jae Hee, University of Technology, Sydney

Full Paper ~ A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints (Page 203)

Leibo, Joel Z., DeepMind

Full Paper ~ Multi-agent Reinforcement Learning in Sequential Social Dilemmas (Page 464)

Leike, Jan, Oxford University & Google Deepmind

Extended Abstract ~ Generalised Discount Functions applied to a Monte-Carlo AI\mu Implementation (Page 1589)

Lenaerts, Tom, Université Libre de Bruxelles & Vrije Universiteit Brussel

Full Paper ~ Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems (Page 1422)

Lenaerts, Tom, Université Libre de Bruxelles &

JAAMAS Extended Abstract ~ Commitment and Participation in Public Goods Games (Page 1431)

Lesca, Julien, Université Paris-Dauphine

Full Paper ~ Coalition Structure Generation and CS-core: Results on the Tractability Frontier for games represented by MC-nets (Page 308)

Lesser, Victor, University of Massachusetts

Extended Abstract ~ Context-Based Concurrent Experience Sharing in Multiagent Systems (Page 1544)

Leung, Cyril, University of British Columbia

Extended Abstract ~ Two Forms of Explanations in Computational Assumption-based Argumentation (Page 1532)

Leung, Ho-fung, Chinese University of Hong Kong

Extended Abstract ~ Local Norm Phenomena in Multi-Agent Systems under Community Networks (Page 1570)

Lev, Omer, University of Toronto

Full Paper ~ Divide and Conquer: Using Geographic Manipulation to Win District-Based Elections (Page 624)

Full Paper ~ Distant Truth: Bias Under Vote Distortion Costs (Page 885)

Levin, Michael W., University of Texas at Austin

Full Paper ~ Real-time Adaptive Tolling Scheme for Optimized Social Welfare in Traffic Networks (Page 828)

Lewenberg, Yoad, Hebrew University of Jerusalem

Full Paper ~ Divide and Conquer: Using Geographic Manipulation to Win District-Based Elections (Page 624)

Li, Jiaoyang, Tsinghua University

Full Paper ~ Lifelong Multi-Agent Path Finding for Online Pickup and Delivery Tasks (Page 837)

Li, Luqi, The University of Auckland

Full Paper ~ What Becomes of the Broken Hearted?: An Agent-Based Approach to Self-Evaluation, Interpersonal Loss, and Suicide Ideation (Page 436)

Li, Minming, City University of Hong Kong

Extended Abstract ~ Mechanism Design for Ontology Alignment (Page 1587)

Li, Sanjiang, University of Technology, Sydney

Full Paper ~ A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints (Page 203)

Li, Wei, Northeastern University

Extended Abstract ~ Dynamic Generalization Kanerva Coding in Reinforcement Learning for TCP Congestion Control Design (Page 1598)

Li, Weihua, Auckland University of Technology

Extended Abstract ~ Agent-based Influence Maintenance in Social Networks (Page 1592)

Li, Yunpeng, Southeast University

Extended Abstract ~ Protecting Elections with Minimal Resource Consumption (Page 1595)

Li, Zhiyuan, Tsinghua Univeristy

Full Paper ~ Stability of Generalized Two-sided Markets with Transaction Thresholds (Page 290)

Liau, Churn-Jung, Academia Sinica

Extended Abstract ~ Doxastic Reasoning with Multi-Source Justifications based on Second Order Propositional Modal Logic (Page 1529)

Liebman, Elad, University of Texas at Austin

Extended Abstract ~ Autonomous Model Management via Reinforcement Learning - Extended Abstract (Page 1601)

Lin, Fangzhen, HKUST

Extended Abstract ~ K-Memory Strategies in Repeated Games (Page 1493)

Littman, Michael L., Brown University

Extended Abstract ~ Curriculum Design for Machine Learners in Sequential Decision Tasks (Page 1682)

Liu, Chang, Alibaba Group

Extended Abstract ~ Multi-armed Bandit Mechanism with Private Histories (Page 1607)

Liu, Jiamou, The University of Auckland

Full Paper ~ What Becomes of the Broken Hearted?: An Agent-Based Approach to Self-Evaluation, Interpersonal Loss, and Suicide Ideation (Page 436)

Liu, Siyuan, Nanyang Technological University

Extended Abstract ~ Two Forms of Explanations in Computational Assumption-based Argumentation (Page 1532)

Liu, Tie-Yan, Microsoft Research

Extended Abstract ~ Pricing Optimization for Selling Reusable Resources (Page 1719)

Liu, Weiru, University of Bristol

Full Paper ~ The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions (Page 105)

Liu, Yicheng, Tsinghua Univeristy

Full Paper ~ Stability of Generalized Two-sided Markets with Transaction Thresholds (Page 290)

Liu, Yunlong, Xiamen University

Extended Abstract ~ Making and Improving Predictions of Interest Using an MDP Model (Page 1610)

Loftin, Robert, North Carolina State University

Extended Abstract ~ Curriculum Design for Machine Learners in Sequential Decision Tasks (Page 1682)

Logan, Brian, University of Nottingham

Demo Abstract ~ Synthesising Industry-Standard Manufacturing Process Controllers (Page 1811)

Full Paper ~ Progressing Intention Progression: A Call for a Goal-Plan Tree Contest (Page 768)

Full Paper ~ Causality, Responsibility and Blame in Team Plans (Page 1091)

JAAMAS Extended Abstract ~ Integrating BDI Agents with Agent-Based Simulation Platforms: (Page 249)

Lomuscio, Alessio, Imperial College London

Full Paper ~ Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications (Page 114)

Full Paper ~ Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information (Page 1259)

Full Paper ~ Verification of Multi-agent Systems with Imperfect Information and Public Actions (Page 1268)

Lopes, Yuri Kaszubowski, University of Sheffield

Full Paper ~ Probabilistic Supervisory Control Theory (pSCT) Applied to Swarm Robotics (Page 1395)

Lopez-Sanchez, Maite, Universitat de Barcelona

Extended Abstract ~ Automating Decision Making to Help Establish Norm-Based Regulations (Page 1613)

Extended Abstract ~ Evolutionary Synthesis of Stable Normative Systems (Page 1646)

Lorini, Emiliano, IRIT-CNRS, Toulouse University

Extended Abstract ~ Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires (Page 1520)

Full Paper ~ Exploring the Bidimensional Space: A Dynamic Logic Point of View (Page 132)

Full Paper ~ A Path in the Jungle of Logics for Multi-agent System: On the Relation between General Game-playing Logics and Seeing-to-it-that Logics (Page 687)

Full Paper ~ Strategic Disclosure of Opinions on a Social Network (Page 1196)

Lu, Kefu, Washington University in St. Louis

Full Paper ~ Cooperative Set Function Optimization Without Communication or Coordination (Page 1109)

Lubin, Benjamin, Boston University

Full Paper ~ SATS: A Universal Spectrum Auction Test Suite (Page 51)

Luo, Jieting, Utrecht University

Extended Abstract ~ Towards a Framework for Predicting Opportunism in Multi-agent Systems (Page 1616)

Lützenberger, Marco, Technische Universität Berlin

Demo Abstract ~ A Multi-Agent Platform for Augmented Reality based Product-Service Systems (Page 1796)

Ma, Hang, University of Southern California

Full Paper ~ Lifelong Multi-Agent Path Finding for Online Pickup and Delivery Tasks (Page 837)

Ma, Hongyao, Harvard University

Doctoral Consortium ~ Contingent Payment Mechanisms for Future Coordination (Page 1842)

Full Paper ~ Generalizing Demand Response Through Reward Bidding (Page 60)

Ma, Ye, Siemens Industry Inc.

Full Paper ~ A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response (Page 999)

Mabonga, Joshua, Wildlife Conservation Society

Full Paper ~ Cloudy with a Chance of Poaching: Adversary Behavior Modeling and Forecasting with Real-World Poaching Data (Page 159)

MacGlashan, James, Brown University

Extended Abstract ~ Curriculum Design for Machine Learners in Sequential Decision Tasks (Page 1682)

Macke, William, University of Tulsa

Extended Abstract ~ Gesture-Based Control of Autonomous UAVs (Page 1484)

Mahajan, Anuj, Conduent Labs India

Extended Abstract ~ Symmetry Detection and Exploitation for Function Approximation in Deep RL (Page 1619)

Malkomes, Gustavo, Washington University in St. Louis

Full Paper ~ Cooperative Set Function Optimization Without Communication or Coordination (Page 1109)

Malvone, Vadim, Università degli studi di Napoli Federico II

Full Paper ~ Reasoning about Natural Strategic Ability (Page 714)

Full Paper ~ Hiding Actions in Multi-Player Games (Page 1205)

Manino, Edoardo, University of Southampton

Extended Abstract ~ Designing Learning Algorithms over the Sequence Form of an Extensive-Form Game (Page 1622)

Mann, Richard, University of Leeds

Full Paper ~ Cooperative Set Function Optimization Without Communication or Coordination (Page 1109)

Manna, Marco, University of Calabria

Full Paper ~ Group Reasoning in Social Environments (Page 1296)

Mannion, Patrick, Galway-Mayo Institute of Technology

Extended Abstract ~ A Theoretical and Empirical Analysis of Reward Transformations in Multi-Objective Stochastic Games (Page 1625)

Mannor, Shie, Technion-Israel Institute of Technology

Full Paper ~ Proxy Voting for Better Outcomes (Page 858)

Marathe, Achla, Virginia Tech

Extended Abstract ~ A Comparison of Targeted Layered Containment Strategies for a Flu Pandemic in Three US Cities (Page 1499)

Marathe, Madhav V., Virginia Tech

Extended Abstract ~ Contextual Ranking of Behaviors for Large-scale Multiagent Simulations (Page 1676)

Marchant, James, University of Warwick

Extended Abstract ~ Limited Observations and Local Information in Convention Emergence (Page 1628)

Marecki, Janusz, DeepMind

Full Paper ~ Multi-agent Reinforcement Learning in Sequential Social Dilemmas (Page 464)

Markakis, Evangelos, Athens University of Economics and Business

Full Paper ~ Distant Truth: Bias Under Vote Distortion Costs (Page 885)

Marsa-Maestre, Ivan, University of Alcala

Full Paper ~ Multi-Agent Nonlinear Negotiation for Wi-Fi Channel Assignment (Page 1035)

Full Paper ~ A Distributed, Multi-Agent Approach to Reactive Network Resilience (Page 1044)

Marsella, Stacy, Northeastern University

Full Paper ~ Increasing Fairness by Delegating Decisions to Autonomous Agents (Page 419)

Full Paper ~ "Is It Just Me?" : Evaluating Attribution of Negative Feedback as a Function of Virtual Instructor's Gender and Proxemics (Page 810)

Martinez-Vaquero, Luis A., National Research Council of Italy

Full Paper ~ Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems (Page 1422)

Mascardi, Viviana, University of Genova

Extended Abstract ~ Parametric Runtime Verification of Multiagent Systems (Page 1457)

Full Paper ~ Decentralizing MAS Monitoring with DecAMon (Page 239)

Masters, Peta, RMIT University

Full Paper ~ Cost-Based Goal Recognition for Path-Planning (Page 750)

Masuch, Nils, Technische Universität Berlin

Demo Abstract ~ A Multi-Agent Platform for Augmented Reality based Product-Service Systems (Page 1796)

Mathur, Anurita, Indian Institute of Science

Extended Abstract ~ On the Gap between Outcomes of Voting Rules (Page 1631)

Mattei, Nicholas, IBM Research

Full Paper ~ Stable Matching with Uncertain Pairwise Preferences (Page 344)

Matthews, Jamie, Teesside University

Demo Abstract ~ Mise-En-Scène of Narrative Action in Interactive Storytelling (Page 1799)

Full Paper ~ MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling (Page 782)

Maubert, Bastien, University of Naples Federico II

Full Paper ~ Decidability Results for ATL* with Imperfect Information and Perfect Recall (Page 1250)

Maushagen, Cynthia, Heinrich-Heine-Unniversität Düsseldorf

Full Paper ~ Complexity of Control by Partition of Voters and of Voter Groups in Veto and Other Scoring Protocols (Page 615)

Mc Carthy, Sara Marie, University of Southern California

Doctoral Consortium ~ Adaptive and Dynamic Allocation of Security Resources (Page 1843)

McAreavey, Kevin, Queen's University Belfast

Full Paper ~ The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions (Page 105)

McBurney, Peter, King's College London

Full Paper ~ Multi-Agent Flag Coordination Games (Page 1442)

McKay, Dylan, Massachusetts Institute of Technology

Full Paper ~ Theoretical Foundations of Team Matchmaking (Page 1073)

Medeiros, Lenin, Vrije Universiteit Amsterdam

Extended Abstract ~ An Empathic Agent that Alleviates Stress by Providing Support via Social Media (Page 1634)

Meir, Reshef, Technion-Israel Institute of Technology

Full Paper ~ Proxy Voting for Better Outcomes (Page 858)

Meirom, Eli, Technion-Israel Institute of Technology

Full Paper ~ Proxy Voting for Better Outcomes (Page 858)

Meleis, Waleed, Northeastern University

Extended Abstract ~ Dynamic Generalization Kanerva Coding in Reinforcement Learning for TCP Congestion Control Design (Page 1598)

Mell, Johnathan, University of Southern California

Full Paper ~ Grumpy & Pinocchio: Answering Human-Agent Negotiation Questions through Realistic Agent Design (Page 401)

Melo, Francisco S., Instituto Superior Técnico / INESC-ID

Extended Abstract ~ A Conversational Agent Powered by Online Learning (Page 1637)

Mendes, Alexandra, Teesside University

Demo Abstract ~ Mise-En-Scène of Narrative Action in Interactive Storytelling (Page 1799)

Full Paper ~ MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling (Page 782)

Mendonça, Vânia, Instituto Superior Técnico / INESC-ID

Extended Abstract ~ A Conversational Agent Powered by Online Learning (Page 1637)

Meneguzzi, Felipe, Pontifical Catholic University of Rio Grande do Sul

Extended Abstract ~ A Deep Learning Approach for Norm Conflict Identification (Page 1451)

Extended Abstract ~ Detecting Commitment Abandonment by Monitoring Sub-Optimal Steps during Plan Execution (Page 1685)

Methenitis, Georgios, Centrum Wiskunde & Informatica, & Delft University of Technology

Extended Abstract ~ SLA-Mechanisms for Electricity Trading under Volatile Supply and Varying Criticality of Demand (Page 1640)

Metrewar, Asmita, Apple India

Extended Abstract ~ Profit Optimization in Commercial Ridesharing (Page 1481)

Meyer, John-Jules, Utrecht University

Extended Abstract ~ Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires (Page 1520)

Extended Abstract ~ Towards a Framework for Predicting Opportunism in Multi-agent Systems (Page 1616)

Miao, Chunyan, Nanyang Technological University

Extended Abstract ~ Two Forms of Explanations in Computational Assumption-based Argumentation (Page 1532)

Michalak, Tomasz P., University of Oxford & University of Warsaw

Full Paper ~ On the Construction of Covert Networks (Page 1341)

Michalík, Petr, Accenture Central Europe B.V.Consulting

JAAMAS Extended Abstract ~ Joint Movement of Pebbles in Solving the (N²-1)-Puzzle and its Applications in Cooperative Path-Finding: (Page 856)

Miles, Simon, Kings College London

Extended Abstract ~ Bootstrapping Trust with Partial and Subjective Observability (Page 1745)

Miller, Lynn C., University of Southern California

Full Paper ~ "Is It Just Me?" : Evaluating Attribution of Negative Feedback as a Function of Virtual Instructor's Gender and Proxemics (Page 810)

Min, Zhang, Tsinghua University

Extended Abstract ~ Disparity-Aware Group Formation for Recommendation (Page 1604)

Misra, Neeldhara, Indian Institute of Technology

Full Paper ~ Parameterized Dichotomy of Choosing Committees Based on Approval Votes in the Presence of Outliers (Page 42)

Mistry, Kamlesh, Teesside University

Extended Abstract ~ Firefly-based Facial Expression Recognition: Extended Abstract (Page 1643)

Monaco, Gianpiero, University of L'Aquila

Full Paper ~ Computing Approximate Pure Nash Equilibria in Digraph k-Coloring Games (Page 911)

Monfort, Mathew, Massachusetts Institute of Technology

Full Paper ~ Asynchronous Data Aggregation for Training End to End Visual Control Networks (Page 530)

Moniz Pereira, Luis, Universidade Nova de Lisboa

Full Paper ~ Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems (Page 1422)

JAAMAS Extended Abstract ~ Commitment and Participation in Public Goods Games (Page 1431)

Monnot, Jérôme, Université Paris-Dauphine

Full Paper ~ Beyond Electing and Ranking: Collective Dominating Chains, Dominating Subsets and Dichotomies (Page 24)

Morales, Javier, University of Oxford

Extended Abstract ~ Automating Decision Making to Help Establish Norm-Based Regulations (Page 1613)

Extended Abstract ~ Evolutionary Synthesis of Stable Normative Systems (Page 1646)

Moreira, Deividi, Universidade Federal do Rio Grande do Sul (UFRGS)

Demo Abstract ~ ABStractme: Modularized Environment Modeling in Agent-based Simulations (Page 1802)

Morveli Espinoza, Mariela, Federal University of Technology - Paraná

Extended Abstract ~ Dealing with Incompatibilities among Goals (Page 1649)

Doctoral Consortium ~ Persuasive Negotiation Dialogues using Rhetorical Arguments (Page 1845)

Moseley, Benjamin, Washington University in St. Louis

Full Paper ~ Cooperative Set Function Optimization Without Communication or Coordination (Page 1109)

Mouaddib, Abdel-Illah, University of Caen Normandy

Extended Abstract ~ Flexible POMDP Framework for Human-Robot Cooperation in Escort Tasks (Page 1538)

Mouw, Jolien, Leiden University

Demo Abstract ~ An Interactive Narrative Platform for Story Understanding Experiments (Page 1808)

Full Paper ~ Using Virtual Narratives to Explore Children's Story Understanding (Page 773)

Mühlbacher, Clemens, Graz University of Technology

Extended Abstract ~ Model-Based Testing of an Industrial Multi-Robot Navigation System (Page 1652)

Mukherjee, Koyel, IBM Research-India

Extended Abstract ~ Profit Optimization in Commercial Ridesharing (Page 1481)

Full Paper ~ Learning to Partition using Score Based Compatibilities (Page 574)

Mukhopadhyay, Ayan, Vanderbilt University

Full Paper ~ Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model (Page 168)

Munoz de Cote, Enrique, INAOE & PROWLER.io Ltd.

JAAMAS Extended Abstract ~ Detecting Switches Against Non-Stationary Opponents (Page 920)

JAAMAS Extended Abstract ~ An Exploration Strategy Facing Non-Stationary Agents (Page 922)

Murano, Aniello, Università degli studi di Napoli Federico II

Full Paper ~ Reasoning about Natural Strategic Ability (Page 714)

Full Paper ~ Hiding Actions in Multi-Player Games (Page 1205)

Full Paper ~ Decidability Results for ATL* with Imperfect Information and Perfect Recall (Page 1250)

Full Paper ~ Verification of Multi-agent Systems with Imperfect Information and Public Actions (Page 1268)

Murukannaiah, Pradeep K., Rochester Institute of Technology

Full Paper ~ Arnor: Modeling Social Intelligence via Norms to Engineer Privacy-Aware Personal Agents (Page 230)

Nagavalli, Sasanka, Carnegie Mellon University

Full Paper ~ Exploiting Robotic Swarm Characteristics for Adversarial Subversion in Coverage Tasks (Page 511)

Nagpal, Radhika, Harvard University

Full Paper ~ Error Cascades in Collective Behavior: A Case Study of the Gradient Algorithm on 1000 Physical Agents (Page 1404)

Najjar, Amro, Mines Saint-Etienne

Extended Abstract ~ AQUAMan: An Adaptive QoE-Aware Negotiation Mechanism for SaaS Elasticity Management (Page 1655)

Narahari, Y., Indian Institute of Science (IISc)

Extended Abstract ~ A Dominant Strategy Truthful, Deterministic Multi-Armed Bandit Mechanism with Logarithmic Regret (Page 1667)

Full Paper ~ Parameterized Dichotomy of Choosing Committees Based on Approval Votes in the Presence of Outliers (Page 42)

Full Paper ~ Thompson Sampling Based Mechanisms for Stochastic Multi-Armed Bandit Problems (Page 87)

Full Paper ~ Referral-Embedded Provision Point Mechanisms for Crowdfunding of Public Projects (Page 642)

Naroditskiy, Victor, OneMarketData

Extended Abstract ~ On Approximate Welfare- and Revenue-Maximizing Equilibria for Size-Interchangeable Bidders (Page 1466)

Nau, Dana S., University of Maryland

Full Paper ~ Understanding Norm Change: An Evolutionary Game-Theoretic Approach (Page 1433)

Naumov, Pavel, Vassar College

Full Paper ~ Coalition Power in Epistemic Transition Systems (Page 723)

Nehama, Ilan, Hebrew University of Jerusalem & Tel-Aviv University

Full Paper ~ Analyzing Games with Ambiguous Player Types Using the MINthenMAX Decision Model (Page 1187)

Neumann, Gerhard, University of Lincoln

Extended Abstract ~ Learning to Assemble Objects with a Robot Swarm (Page 1547)

Nevat, Ido, TUMCREATE

Extended Abstract ~ A Trust-based Mixture of Gaussian Processes Model for Robust Participatory Sensing (Page 1760)

Nguyen, Nhan-Tam, Heinrich-Heine-Universität

Full Paper ~ Approximate Solutions To Max-Min Fair and Proportionally Fair Allocations of Indivisible Goods (Page 262)

Nguyen, Trung Thanh, New York University

Full Paper ~ Approximate Solutions To Max-Min Fair and Proportionally Fair Allocations of Indivisible Goods (Page 262)

Nguyen, Tung Doan, Auckland University of Technology

Extended Abstract ~ Agent-based Influence Maintenance in Social Networks (Page 1592)

Nguyen, Ty, Ulsan National Institute of Science and Technology

Extended Abstract ~ Extending the Range of Delivery Drones by Exploratory Learning of Energy Models (Page 1658)

Niekum, Scott, The University of Texas at Austin

Full Paper ~ Bootstrapping with Models: Confidence Intervals for Off-Policy Evaluation (Page 538)

Ning, Li, Chinese Academy of Sciences

Full Paper ~ Uniform Information Exchange in Multi-channel Wireless Ad Hoc Networks (Page 1026)

Nitschke, Geoff, University of Cape Town

Extended Abstract ~ Evolving Collective Driving Behaviors (Page 1573)

Novaes Júnior, Rodrigo Rodrigues, CEFET-MG

Demo Abstract ~ A New Solution to the Traffic Managing System for Autonomous Vehicles (Page 1805)

Novaro, Arianna, University of Toulouse

Full Paper ~ Strategic Disclosure of Opinions on a Social Network (Page 1196)

Nowé, Ann, Vrije Universiteit Brussel

Extended Abstract ~ Analysing Congestion Problems in Multi-agent Reinforcement Learning (Page 1705)

Nsubaga, Mustapha, Wildlife Conservation Society

Full Paper ~ Cloudy with a Chance of Poaching: Adversary Behavior Modeling and Forecasting with Real-World Poaching Data (Page 159)

Nunes, Ingrid, Universidade Federal do Rio Grande do Sul (UFRGS) & Technical University of Dortmund

Demo Abstract ~ ABStractme: Modularized Environment Modeling in Agent-based Simulations (Page 1802)

Extended Abstract ~ Modelling and Reasoning about Remediation Actions in BDI Agents (Page 1526)

Extended Abstract ~ Model-Driven Engineering in Agent-based Modeling and Simulation: a Case Study in the Traffic Signal Control Domain (Page 1725)

Nunnari, Fabrizio, DFKI / MMCI

Extended Abstract ~ Generating Virtual Characters from Personality Traits via Reverse Correlation and Linear Programming (Page 1661)

Nyga, Daniel, University of Bremen

Extended Abstract ~ Deeper Understanding of Vague Instructions through Simulated Execution (Page 1694)

Obraztsova, Svetlana, Nanyang Technological University

Full Paper ~ Real Candidacy Games: A New Model for Strategic Candidacy (Page 867)

Full Paper ~ Doodle Poll Games (Page 876)

Full Paper ~ Distant Truth: Bias Under Vote Distortion Costs (Page 885)

Oliehoek, Frans, University of Liverpool & University of Amsterdam

Full Paper ~ Decentralised Online Planning for Multi-Robot Warehouse Commissioning (Page 492)

Oliva, Aude, Massachusetts Institute of Technology

Full Paper ~ Asynchronous Data Aggregation for Training End to End Visual Control Networks (Page 530)

Onasch-Vera, Laura, University of Southern California

Full Paper ~ Influence Maximization in the Field: The Arduous Journey from Emerging to Deployed Application (Page 150)

Oosterveld, Brad, Tufts University

Full Paper ~ Spoken Instruction-Based One-Shot Object and Action Learning in a Cognitive Robotic Architecture (Page 1378)

Orda, Ariel, Technion-Israel Institute of Technology

Full Paper ~ Proxy Voting for Better Outcomes (Page 858)

Orden, David, University of Alcala

Full Paper ~ Multi-Agent Nonlinear Negotiation for Wi-Fi Channel Assignment (Page 1035)

Full Paper ~ A Distributed, Multi-Agent Approach to Reactive Network Resilience (Page 1044)

Oren, Nir, University of Aberdeen

Extended Abstract ~ Detecting Commitment Abandonment by Monitoring Sub-Optimal Steps during Plan Execution (Page 1685)

Ortiz, Monica E., Harvard University

Full Paper ~ Error Cascades in Collective Behavior: A Case Study of the Gradient Algorithm on 1000 Physical Agents (Page 1404)

Othmane, Amel Ben, Université Côte d'Azur

Extended Abstract ~ Towards a Spatio-Temporal Agent-Based Recommender System (Page 1664)

Padgham, Lin, RMIT University

Full Paper ~ The Importance of Modelling Realistic Human Behaviour When Planning Evacuation Schedules (Page 446)

JAAMAS Extended Abstract ~ Integrating BDI Agents with Agent-Based Simulation Platforms: (Page 249)

Padmanabhan, Divya, Indian Institute of Science (IISc)

Doctoral Consortium ~ Theoretical Models for Learning from Multiple, Heterogenous and Strategic Agents (Page 1847)

Extended Abstract ~ A Dominant Strategy Truthful, Deterministic Multi-Armed Bandit Mechanism with Logarithmic Regret (Page 1667)

Paiva, Ana, University of Lisbon

Extended Abstract ~ Affect of Robot's Competencies on Children's Perception (Page 1490)

Extended Abstract ~ FIDES: How Emotions and Small Talks May Influence Trust in an Embodied vs. Non-embodied Robot (Page 1673)

Extended Abstract ~ Strategically Misleading the User: Building a Deceptive Virtual Suspect (Page 1711)

Panisson, Alison R., Pontifical Catholic University of Rio Grande do Sul (PUCRS)

Doctoral Consortium ~ Argumentation Schemes and Enthymemes in Multi-agent Systems (Page 1849)

Extended Abstract ~ Uttering Only What is Needed: Enthymemes in Multi-Agent Systems (Page 1670)

Pankov, Alexander, Utrecht University

Extended Abstract ~ Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires (Page 1520)

Paradeda, Raul, University of Lisbon & State University of Rio Grande do Norte

Extended Abstract ~ Affect of Robot's Competencies on Children's Perception (Page 1490)

Extended Abstract ~ FIDES: How Emotions and Small Talks May Influence Trust in an Embodied vs. Non-embodied Robot (Page 1673)

Parikh, Nidhi, Virginia Tech

Extended Abstract ~ Contextual Ranking of Behaviors for Large-scale Multiagent Simulations (Page 1676)

Parkes, David C., Harvard University

Extended Abstract ~ Thwarting Vote Buying Through Decoy Ballots (Page 1679)

Full Paper ~ Generalizing Demand Response Through Reward Bidding (Page 60)

Full Paper ~ Fair Division via Social Comparison (Page 281)

Keynote ~ On AI, Markets and Machine Learning (Page 2)

Pauchet, Alexandre, INSA de Rouen

Full Paper ~ Pedagogical Agents as Team Members: Impact of Proactive and Pedagogical Behavior on the User (Page 791)

Payne, Terry R., University of Liverpool

Extended Abstract ~ Mechanism Design for Ontology Alignment (Page 1587)

Pěchouček, Michal, Czech Technical University in Prague

Full Paper ~ Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games (Page 902)

Penczek, Wojciech, olish Academy of Sciences & University of Natural Sciences and Humanities

Extended Abstract ~ Timed ATL: Forget Memory, Just Count (Page 1460)

Peng, Bei, Washington State University

Doctoral Consortium ~ How Do Humans Teach: On Curriculum Design for Machine Learners (Page 1851)

Extended Abstract ~ Curriculum Design for Machine Learners in Sequential Decision Tasks (Page 1682)

Pennock, David, Microsoft Research

Extended Abstract ~ Fair Allocation of Indivisible Goods with Different Entitlements (Page 1535)

Pereira, Ramon Fraga, Pontifical Catholic University of Rio Grande do Sul (PUCRS)

Extended Abstract ~ Detecting Commitment Abandonment by Monitoring Sub-Optimal Steps during Plan Execution (Page 1685)

Perelli, Giuseppe, University of Oxford

Full Paper ~ Iterated Games with LDL Goals over Finite Traces (Page 696)

Perera, Charith, The Open University

Full Paper ~ An Automated Negotiation Agent for Permission Management (Page 380)

Perny, Patrice, Sorbonne Universités & UPMC

Full Paper ~ Coalition Structure Generation and CS-core: Results on the Tractability Frontier for games represented by MC-nets (Page 308)

Perrault, Andrew, University of Toronto

Extended Abstract ~ Multiple-Profile Prediction-of-Use Games (Page 1688)

Perrussel, Laurent, University of Toulouse

Full Paper ~ Strategic Disclosure of Opinions on a Social Network (Page 1196)

Persiano, Giuseppe, University of Salerno

Full Paper ~ Robustness in Discrete Preference Games (Page 1314)

Petering, Robin, University of Southern California

Full Paper ~ Influence Maximization in the Field: The Arduous Journey from Emerging to Deployed Application (Page 150)

Petrucci, Laure, Université Paris 13

Extended Abstract ~ Timed ATL: Forget Memory, Just Count (Page 1460)

Philipp, Patrick, Karlsruhe Institute of Technology

Full Paper ~ Reinforcement Learning for Multi-Step Expert Advice (Page 962)

Picard, Gauthier, Mines Saint-Etienne

Extended Abstract ~ AQUAMan: An Adaptive QoE-Aware Negotiation Mechanism for SaaS Elasticity Management (Page 1655)

Picklum, Mareike, University of Bremen

Extended Abstract ~ Deeper Understanding of Vague Instructions through Simulated Execution (Page 1694)

Platt, Robert, Northeastern University

Full Paper ~ Spoken Instruction-Based One-Shot Object and Action Learning in a Cognitive Robotic Architecture (Page 1378)

Player, Caroline, University of Warwick

Extended Abstract ~ Using Tags To Bootstrap Stereotypes And Trust (Page 1691)

Plumptre, Andrew, Wildlife Conservation Society

Full Paper ~ Cloudy with a Chance of Poaching: Adversary Behavior Modeling and Forecasting with Real-World Poaching Data (Page 159)

Polukarov, Maria, University of Southampton

Full Paper ~ Doodle Poll Games (Page 876)

Pomarlan, Mihai, University of Bremen

Extended Abstract ~ Deeper Understanding of Vague Instructions through Simulated Execution (Page 1694)

Extended Abstract ~ Task Parametrization through Multi-modal Analysis of Robot Experiences (Page 1754)

Pontelli, Enrico, New Mexico State University

Full Paper ~ A Multiagent System Approach to Scheduling Devices in Smart Homes (Page 981)

Full Paper ~ A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response (Page 999)

Porteous, Julie, Teesside University

Demo Abstract ~ Mise-En-Scène of Narrative Action in Interactive Storytelling (Page 1799)

Demo Abstract ~ An Interactive Narrative Platform for Story Understanding Experiments (Page 1808)

Full Paper ~ Using Virtual Narratives to Explore Children's Story Understanding (Page 773)

Full Paper ~ MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling (Page 782)

Possebom, Ayslan Trevizan, Federal University of Technology - Paraná

Doctoral Consortium ~ Consensus Decision-Making Using Argumentation (Page 1853)

Extended Abstract ~ Dealing with Incompatibilities among Goals (Page 1649)

Prada, Rui, University of Lisbon

Extended Abstract ~ Affect of Robot's Competencies on Children's Perception (Page 1490)

Extended Abstract ~ FIDES: How Emotions and Small Talks May Influence Trust in an Embodied vs. Non-embodied Robot (Page 1673)

Extended Abstract ~ Strategically Misleading the User: Building a Deceptive Virtual Suspect (Page 1711)

Prasad, Vignesh, International Institute of Information Technology

Extended Abstract ~ Data Driven Strategies for Active Monocular SLAM using Inverse Reinforcement Learning (Page 1697)

Procaccia, Ariel D., Carnegie Mellon University

Full Paper ~ Multi-Channel Marketing with Budget Complementarities (Page 1232)

Pulido, J. Vince, University of Virginia

Extended Abstract ~ On-the-fly Learning and Monitoring of Partially Observed Navigation Plan (Page 1700)

Putta, Sudeep Raja, Conduent Labs India

Extended Abstract ~ Pure Exploration in Episodic Fixed-Horizon Markov Decision Processes (Page 1703)

Puyol-Gruart, Josep, Artificial Intelligence Research Institute (IIIA-CSIC)

Extended Abstract ~ Dealing with Incompatibilities among Goals (Page 1649)