AAMAS 2017: 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS
PROGRAM

Days: Monday, May 8th Tuesday, May 9th Wednesday, May 10th Thursday, May 11th Friday, May 12th

Monday, May 8th

View this program: with abstractssession overviewtalk overview

11:00-11:30Coffee Break
13:00-14:30Lunch Break
16:30-17:00Coffee Break
Tuesday, May 9th

View this program: with abstractssession overviewtalk overview

11:00-11:30Coffee Break
13:00-14:30Lunch Break
16:30-17:00Coffee Break
19:00-21:00Opening Cocktail
Wednesday, May 10th

View this program: with abstractssession overviewtalk overview

09:20-10:20 Session Plenary 1: Invited Talk
Location: Ballroom
09:20
Enhancing Human Capability with Intelligent Machine Teammates ( abstract )
10:20-10:50Coffee Served
11:20-13:00 Session 1A: Computational Social Choice 1
Location: Ballroom 1
11:20
Bribery as a Measure of Candidate Success: Complexity Results for Approval-Based Multiwinner Rules ( abstract )
11:40
Proportional Representation in Vote Streams ( abstract )
12:00
Beyond Electing and Ranking: Collective Dominating Chains, Dominating Subsets and Dichotomies ( abstract )
12:20
Condorcet Consistent Bundling with Social Choice ( abstract )
12:40
Parameterized Dichotomy of Choosing Committees Based on Approval Votes in the Presence of Outliers ( abstract )
11:20-13:00 Session 1B: Computational Game Theory & Mechanism Design 1
Location: Ballroom 2
11:20
SATS: A Universal Spectrum Auction Test Suite ( abstract )
11:40
Generalizing Demand Response Through Reward Bidding ( abstract )
12:00
Mechanism Design with Unknown Correlated Distributions: Can We Learn Optimal Mechanisms? ( abstract )
12:20
Practical versus optimal mechanisms ( abstract )
12:40
Thompson Sampling Based Mechanisms for Stochastic Multi-Armed Bandit Problems ( abstract )
11:20-13:00 Session 1C: Logics 1
Location: Ballroom 3
11:20
A Declarative Modular Framework for Representing and Applying Ethical Principles ( abstract )
11:40
The Event Calculus in Probabilistic Logic Programs with Annotated Disjunctions ( abstract )
12:00
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications ( abstract )
12:20
A succinct language for Dynamic epistemic logic ( abstract )
12:40
Exploring the bidimensional space: a dynamic logic point of view ( abstract )
11:20-13:00 Session 1D: Novel Applications in Safety and Security
Chair:
Location: Ballroom 4
11:20
Coordinating vessel traffic to improve safety and efficiency ( abstract )
11:40
Influence Maximization in the Field: The Arduous Journey from Emerging to Deployed Application [BEST PAPER NOMINEE] ( abstract )
12:00
Cloudy with a Chance of Poaching: Adversary Behavior Modeling and Forecasting with Real-World Poaching Data ( abstract )
12:20
Prioritized Allocation of Emergency Responders based on a Continuous-Time Incident Prediction Model ( abstract )
12:40
A Game Theoretic Approach to Strategy Generation for Moving Target Defense in Web Applications ( abstract )
11:20-13:00 Session 1E: Constraint Reasoning
Chair:
Location: Salvador 1&2
11:20
A Partial Decision Scheme for Local Search Algorithms for Distributed Constraint Optimization Problems ( abstract )
11:40
An Iterative Refined Max-sum_AD Algorithm via Single-side Value Propagation and Local Search ( abstract )
12:00
A Deterministic Distributed Algorithm for Reasoning with Connected Row-Convex Constraints ( abstract )
12:20
Infinite-Horizon Proactive Dynamic DCOPs ( abstract )
12:40
Proactive Project Scheduling with Time-dependent Workability Uncertainty ( abstract )
11:20-13:00 Session 1F: Engineering Agent Systems
Location: Curitiba 1&2
11:20
Arnor: Modeling Social Intelligence via Norms to Engineer Privacy-Aware Personal Agents ( abstract )
11:40
Decentralizing MAS Monitoring with DecAMon ( abstract )
12:00
Integrating BDI agents with agent-based simulation platforms (JAAMAS Paper) ( abstract )
12:20
Debugging Agent Programs with "Why?" Questions ( abstract )
12:40
BDI Agent Testability Revisited (JAAMAS Paper) ( abstract )
13:00-14:30Lunch
14:30-16:30 Session 2A: Fair Division and Cooperative Game Theory
Location: Ballroom 1
14:30
Approximate Solutions To Max-Min Fair and Proportionally Fair Allocations of Indivisible Goods ( abstract )
14:50
The Atkinson Inequality Index in Multiagent Resource Allocation ( abstract )
15:10
Fair Division via Social Comparison ( abstract )
15:30
Stability of Generalized Two-Sided Markets with Transaction Thresholds [BEST PAPER NOMINEE] ( abstract )
15:50
Supermodular games on social networks ( abstract )
16:10
Coalition Structure Generation and CS-core: Results on the Tractability Frontier for games represented by MC-nets ( abstract )
14:30-16:30 Session 2B: Assignment and Matching Problems
Location: Ballroom 2
14:30
Weighted Matching Markets with Budget Constraints ( abstract )
14:50
Random Assignment with Optional Participation ( abstract )
15:10
Majority Graphs of Assignment Problems and Properties of Popular Random Assignments ( abstract )
15:30
Stable Matching with Uncertain Pairwise Preferences ( abstract )
15:50
Parameterized Complexity of Group Activity Selection ( abstract )
16:10
Efficient near-optimal algorithms for barter exchange ( abstract )
14:30-16:30 Session 2C: Negotiation and Virtual Agents
Location: Ballroom 3
14:30
Automated Negotiations for General Game Playing ( abstract )
14:50
An Automated Negotiation Agent for Permission Management ( abstract )
15:10
The Value of Information in Automated Negotiation: A Decision Model for Eliciting User Preferences ( abstract )
15:30
Grumpy & Pinocchio: Answering Human-Agent Negotiation Questions through Realistic Agent Design ( abstract )
15:50
Towards An Autonomous Agent that Provides Automated Feedback on Students' Negotiation Skills ( abstract )
16:10
Increasing Fairness by Delegating Decisions to Autonomous Agents ( abstract )
14:30-16:30 Session 2D: Agent-Based and Social Simulation
Chair:
Location: Ballroom 4
14:30
Agent-Based Modeling and Simulation of Mosquito-Borne Disease Transmission ( abstract )
14:50
What Becomes of the Broken Hearted? - An Agent-Based Approach to Self-Evaluation, Interpersonal Loss, and Suicide Ideation ( abstract )
15:10
The importance of modelling realistic human behaviour when planning evacuation schedules ( abstract )
15:30
Learning social conventions via collaborative reinforcement learning in complex and open settings ( abstract )
15:50
Multiagent Reinforcement Learning in Sequential Social Dilemmas ( abstract )
16:10
Phase Transitions in Possible Dynamics of Cellular and Graph Automata Models of Sparsely Interconnected Multi-Agent Systems ( abstract )
14:30-16:30 Session 2E: Multi-Robot Coordination and Swarm Robotics
Chair:
Location: Salvador 1&2
14:30
A GRASP Metaheuristic for the Coverage of Grid Environments with Limited-Footprint Tools ( abstract )
14:50
Decentralized Online Planning for Multi-Robot Warehouse Commissioning [BEST PAPER NOMINEE] ( abstract )
15:10
Multirobot Symbolic Planning under Temporal Uncertainty ( abstract )
15:30
Exploiting Robotic Swarm Characteristics for Adversarial Subversion in Coverage Tasks ( abstract )
15:50
Three Years of the RoboCup Standard Platform League Drop-in Player Competition: Creating and Maintaining a Large Scale Ad Hoc Teamwork Robotics Competition (JAAMAS Paper) ( abstract )
16:10
Scaling Expectation-Maximization for Inverse Reinforcement Learning to Multiple Robots under Occlusion ( abstract )
14:30-16:30 Session 2F: Learning
Location: Curitiba 1&2
14:30
Asynchronous Data Aggregation for Training End to End Visual Control Networks ( abstract )
14:50
Bootstrapping with Models: Confidence Intervals for Off-Policy Evaluation ( abstract )
15:10
Reasoning about Hypothetical Agent Behaviours and their Parameters ( abstract )
15:30
Forward actor-critic for non-linear function approximation in reinforcement learning ( abstract )
15:50
Reward Shaping in Episodic Reinforcement Learning ( abstract )
16:10
Learning to Partition using Score Based Compatibilties ( abstract )
16:30-17:00Coffee Served
17:30-18:30 Session Plenary 2: Invited Talk
Chair:
Location: Ballroom
17:30
Active Optimization and Self Driving Cars ( abstract )
Thursday, May 11th

View this program: with abstractssession overviewtalk overview

10:20-10:50Coffee Served
11:20-13:00 Session 3A: Computational Social Choice 2
Location: Ballroom 1
11:20
Manipulation of Hamming-based Approval Voting for Multiple Referenda and Committee Elections ( abstract )
11:40
New Approximation for Borda Coalitional Manipulation ( abstract )
12:00
Complexity of Control by Partition of Voters and of Voter Groups in Veto and Other Scoring Protocols ( abstract )
12:20
Divide and Conquer: Using Geographic Manipulation to Win District-Based Elections ( abstract )
12:40
Structured Proportional Representation ( abstract )
11:20-13:00 Session 3B: Computational Game Theory & Mechanism Design 2
Location: Ballroom 2
11:20
Referral-Embedded Provision Point Mechanisms for Crowdfunding of Public Projects ( abstract )
11:40
Spoofing the Limit Order Book: An Agent-Based Model ( abstract )
12:00
Hotelling Downs Model with Limited Attraction ( abstract )
12:20
Stop Nuclear Smuggling Through Efficient Container Inspection ( abstract )
12:40
Coordinating multiple defensive resources in patrolling games with alarm systems ( abstract )
11:20-13:00 Session 3C: Logics 2
Location: Ballroom 3
11:20
A path in the jungle of logics for multi-agent systems: on the relation between general game-playing logics and seeing-to-it-that logics ( abstract )
11:40
Iterated Games with LDL Goals over Finite Traces ( abstract )
12:00
Iterated Boolean Games for Rational Verification ( abstract )
12:20
Reasoning about Natural Strategic Ability ( abstract )
12:40
Coalition Power in Epistemic Transition Systems ( abstract )
11:20-13:00 Session 3D: Planning
Location: Ballroom 4
11:20
Exploiting Anonymity and Homogeneity in Factored Dec-MDPs through Precomputed Binomial Distributions ( abstract )
11:40
GUBS: a utility-based semantic for Goal-Directed Markov Decision Processes ( abstract )
12:00
Cost-Based Goal Recognition for Path-Planning [BEST PAPER NOMINEE] ( abstract )
12:20
BDI Agent Reasoning with Guidance from HTN Recipes ( abstract )
12:40
Progressing Intention Progression: A Call for a Goal-Plan Tree Contest ( abstract )
11:20-13:00 Session 3E: Virtual Agents
Location: Salvador 1&2
11:20
Using Virtual Narratives to Explore Children's Story Understanding ( abstract )
11:40
MISER: Mise-En-Scene Region Support for Staging Narrative Actions in Interactive Storytelling ( abstract )
12:00
Pedagogical Agents as Team Members: Impact of Proactive and Pedagogical Behavior on the User ( abstract )
12:20
Incorporating Emotion Perception into Opponent Modeling for Social Dilemmas ( abstract )
12:40
"Is It Just Me?": Evaluating Attribution of Negative Feedback as a Function of Virtual Instructor’s Gender and Proxemics ( abstract )
11:20-13:00 Session 3F: Transportation and Routing
Chair:
Location: Curitiba 1&2
11:20
Data-driven simulation and optimization for incident response in urban railway networks ( abstract )
11:40
Real-time Adaptive Tolling Scheme for Optimized Social Welfare in Traffic Networks ( abstract )
12:00
Lifelong Multi-Agent Path Finding for Online Pickup and Delivery Tasks ( abstract )
12:20
Learning to Minimise Regret in Route Choice ( abstract )
12:40
Joint Movement of Pebbles in Solving the (N^2-1)-Puzzle and its Applications in Cooperative Path-Finding (JAAMAS Paper) ( abstract )
13:00-14:30Lunch
14:30-16:10 Session 4A: Computational Social Choice 3
Location: Ballroom 1
14:30
Proxy Voting for Better Outcomes ( abstract )
14:50
Real Candidacy Games: A New Model for Strategic Candidacy ( abstract )
15:10
Doodle Poll Games ( abstract )
15:30
Distant Truth: Bias under vote distortion costs ( abstract )
15:50
A Restricted Markov Tree Model for Inference and Generation in Social Choice with Incomplete Preferences ( abstract )
14:30-16:10 Session 4B: Computational Game Theory & Mechanism Design 3
Location: Ballroom 2
14:30
Combining Incremental Strategy Generation and Branch and Bound Search for Computing Maxmin Strategies in Imperfect Recall Games ( abstract )
14:50
Computing Approximate Pure Nash Equilibria in Digraph k-Coloring Games ( abstract )
15:10
Detecting switches against non-stationary opponents (JAAMAS Paper) ( abstract )
15:30
An exploration strategy for non-stationary opponents (JAAMAS Paper) ( abstract )
15:50
Safely Using Predictions in General-Sum Normal Form Games ( abstract )
14:30-16:10 Session 4C: Judgment Aggregation and Argumentation
Location: Ballroom 3
14:30
Planning an Argument ( abstract )
14:50
Are ranking semantics sensitive to the notion of core? ( abstract )
15:10
Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures ( abstract )
15:30
Reinforcement Learning for Multi-Step Expert Advice ( abstract )
15:50
Applying Copeland Voting to Design an Agent-Based Hyper-Heuristic ( abstract )
14:30-16:10 Session 4D: Novel Applications in Smart Grids and Mobility
Location: Ballroom 4
14:30
A Multiagent System Approach to Scheduling Devices in Smart Homes ( abstract )
14:50
Label Correction and Event Detection for Electricity Disaggregation ( abstract )
15:10
A Distributed Constraint Optimization (DCOP) Approach to the Economic Dispatch with Demand Response ( abstract )
15:30
Save Money or Feel Cozy? A Field Experiment Evaluation of a Smart Thermostat that Learns Heating Preferences ( abstract )
15:50
Adaptive Pricing Mechanisms for On-Demand Mobility ( abstract )
14:30-16:10 Session 4E: Networking and Communication
Location: Salvador 1&2
14:30
Uniform Information Exchange in Multi-channel Wireless Ad Hoc Networks ( abstract )
14:50
Multi-agent nonlinear negotiation for Wi-Fi channel assignment ( abstract )
15:10
A Distributed, Multi-Agent approach to Reactive Network Resilience ( abstract )
15:30
Splee: A Declarative Information-Based Language for Multiagent Interaction Protocols ( abstract )
15:50
Vocabulary Alignment in Openly Specified Interactions ( abstract )
14:30-16:10 Session 4F: Teamwork, Coordination, and Cooperation
Location: Curitiba 1&2
14:30
Theoretical Foundations of Team Matchmaking ( abstract )
14:50
Incentivizing Cooperation Between Heterogeneous Agents in Dynamic Task Allocation ( abstract )
15:10
Causality, Responsibility, and Blame in Team Plans ( abstract )
15:30
Simultaneously Learning and Advising in Multiagent Reinforcement Learning ( abstract )
15:50
Cooperative Set Function Optimization Without Communication or Coordination ( abstract )
16:10-16:40Coffee Served
18:30-19:30Depart for Banquet
20:00-23:59Banquet (Casa da Fazenda do Morumbi)
Friday, May 12th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session Plenary 5: Invited Talk (Ana Bazzan)
Location: Ballroom
09:00
Trying to Fix Traffic: Past, Present, and Some Future Trends ( abstract )
10:00-10:30Coffee Break
10:30-12:30 Session 5A: Computational Social Choice 4
Location: Ballroom 1
10:30
Anyone But Them: The Complexity Challenge for A Resolute Election Controller ( abstract )
10:50
The Complexity of Bribery and Control in Group Identification ( abstract )
11:10
Complexity Results for Manipulation, Bribery and Control of the Kemeny Judgment Aggregation Procedure ( abstract )
11:30
Distributed Monitoring of Election Winners [BEST PAPER NOMINEE] ( abstract )
11:50
The Complexity of Control and Bribery in Majority Judgement ( abstract )
12:10
On the Complexity of Borda Control in Single-Peaked Elections ( abstract )
10:30-12:30 Session 5B: Logic & Game Theory
Location: Ballroom 2
10:30
Analyzing Games with Ambiguous Player Types Using the MINthenMAX Decision Model ( abstract )
10:50
Strategic disclosure of opinions on a social network ( abstract )
11:10
Hiding Actions in Multi-Player Games ( abstract )
11:30
Synthesizing Optimal Social Laws for Strategical Agents via Bayesian Mechanism Design ( abstract )
11:50
Attenuate Locally, Win Globally: An Attenuation-based Framework for Online Stochastic Matching with Timeouts ( abstract )
12:10
Multi-Channel Marketing with Budget Complementarities ( abstract )
10:30-12:30 Session 5C: Logics 3
Location: Ballroom 3
10:30
Fixpoint Approximation of Strategic Abilities under Imperfect Information ( abstract )
10:50
Decidability results for ATL* with imperfect information and perfect recall ( abstract )
11:10
Agent-based Abstractions for Verifying Alternating-time Temporal Logic with Imperfect Information ( abstract )
11:30
Verification of Multi-agent Systems with Imperfect Information and Public Actions ( abstract )
11:50
Game-Theoretic Semantics for ATL+ with Applications to Model Checking ( abstract )
12:10
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot ( abstract )
10:30-12:30 Session 5D: Social Networks
Location: Ballroom 4
10:30
Group Reasoning in Social Environments ( abstract )
10:50
Uncharted but not Uninfluenced: Influence Maximization with an Uncertain Network ( abstract )
11:10
Robustness in Discrete Preference Games ( abstract )
11:30
Contrasting the Spread of Misinformation in Online Social Networks ( abstract )
11:50
Limiting Concept Spread in Environments with Interacting Concepts ( abstract )
12:10
On the Construction of Covert Networks ( abstract )
10:30-12:30 Session 5E: Human-Robot Interaction and Learning in Robotics
Location: Salvador 1&2
10:30
Temporal Models for Robot Classification of Human Interruptibility ( abstract )
10:50
A Tale of Two Architectures: A Dual-Citizenship Integration of Natural Language and the Cognitive Map ( abstract )
11:10
Multi-Robot Human Guidance: Human Experiments and Multiple Concurrent Requests ( abstract )
11:30
Spoken Instruction-Based One-Shot Object and Action Learning in a Cognitive Robotic Architecture [BEST PAPER NOMINEE] ( abstract )
11:50
Effect of Leader Placement on Robotic Swarm Control ( abstract )
12:10
Probabilistic Supervisory Control Theory (pSCT) Applied to Swarm Robotics ( abstract )
10:30-12:30 Session 5F: Emergence
Location: Curitiba 1&2
10:30
Error Cascades in Collective Behavior - A Case Study of the Gradient Algorithm on 1000 Physical Agents ( abstract )
10:50
Inverse Reinforcement Learning in Swarm Systems [BEST PAPER NOMINEE] ( abstract )
11:10
Social manifestation of guilt leads to stable cooperation in multi-agent systems ( abstract )
11:30
Commitment and Participation in Public Goods Games (JAAMAS Paper) ( abstract )
11:50
Understanding Norm Change: An Evolutionary Game-Theoretic Approach ( abstract )
12:10
Multi-Agent Flag Coordination Games ( abstract )
12:30-12:45Pick up Lunchboxes