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
Chair:
Location: Ballroom
09:20 | Enhancing Human Capability with Intelligent Machine Teammates ( abstract ) |
10:20-10:50Coffee Served
10:20-11:20 Session Demo A: Demo Session
Location: Sao Paulo 3&4
10:20-11:20 Session Poster A: Poster Session A
Location: Sao Paulo 1&2
11:20-13:00 Session 1A: Computational Social Choice 1
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
16:30-17:30 Session Demo B: Demo Session
Location: Sao Paulo 3&4
16:30-17:30 Session Poster B: Poster Session B
Location: Sao Paulo 1&2
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
09:20-10:20 Session Plenary 3: Victor Lesser Distinguished Dissertation Award Talk
Chair:
Location: Ballroom
09:20 | Optimal Social Decision Making ( abstract ) |
10:20-10:50Coffee Served
10:20-11:20 Session Demo C: Demo Session
Location: Sao Paulo 3&4
10:20-11:20 Session Poster C: Poster Session C
Location: Sao Paulo 1&2
11:20-13:00 Session 3A: Computational Social Choice 2
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
16:10-17:10 Session Demo D: Demo Session
Location: Sao Paulo 3&4
16:10-17:10 Session Poster D: Poster Session D
Location: Sao Paulo 1&2
17:10-18:10 Session Plenary 4: ACM SIGAI Autonomous Agents Award Talk (David Parkes)
Chairs:
Location: Ballroom
17:10 | On AI, Markets and Machine Learning ( abstract ) |
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)
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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
Chair:
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