Photographs provided by
Tourism Bureau, Ministry of
Transportation and Communications
MONDAY, MAY 2
AM
09:00-13:00
PM
14:00-18:00
Tutorials
Workshops
TUESDAY, MAY 3
AM
09:00-13:00
PM
14:00-18:00
Tutorials
Workshops
*W14 is a Half Day Workshop
*W15 is a (2/3) Day Workshop
Doctoral Consortium
Welcome Reception
18:00-19:30
WEDNESDAY, MAY 4
Opening
08:45-09:00
Invited Talk
09:00-10:00
Chaired by: Kagan Tumer
Evolutionary Individual-Based Models and Their Applications in Problem Solving and Games
David B. Fogel
Session 1
10:30-12:10
A1 : Robotics
Chaired by: Maria Gini
51
Who Goes There? Selecting a Robot to Reach a Goal
Meytal Traub , Gal Kaminka, Noa Agmon
177
Exploration strategies based on Multi-Criteria Decision Making for rescue autonomous robots
Nicola Basilico , Francesco Amigoni
550
Simulation-based Temporal Projection of Everyday Robot Object Manipulation
Lars Kunze , Mihai Dolha, Emitzá Guzmán, Michael Beetz
360
Online Anomaly Detection in Unmanned Vehicles
Eliahu Khalastchi , Meir Kalech, Raz Lin, Gal Kaminka
283
Tree Adaptive A* for Goal-Directed Navigation in Initially Unknown Terrain
Carlos Hernandez , Xiaoxun Sun, Sven Koenig, Pedro Meseguer
B1 : Distributed Problem Solving I
Chaired by: Ed Durfee
477
Quality guarantees for region optimal DCOP algorithms
Meritxell Vinyals , Eric Shieh, Jesus Cerquides, Juan Antonio Rodriguez-Aguilar, Zhengyu Yin, Milind Tambe, Emma Bowring
585
Distributed Algorithms for Solving the Multiagent Temporal Decoupling Problem
James Boerkoel Jr. , Ed Durfee
52
Decomposing Constraint Systems
Wiebe van der Hoek , Cees Witteveen, Michael Wooldridge
249
Decentralized Monitoring of Anytime Decision Making
Alan Carlin , Shlomo Zilberstein
350
Consensus Acceleration in Multiagent Systems with the Chebyshev Semi-Iterative Method
Renato L.G. Cavalcante , Alex Rogers, Nick Jennings
C1 : Game Theory I
Chaired by: Jeff Rosenschein
151
Information Elicitation for Decision Making
Kash Ian , Yiling Chen
167
Stable partitions in additively separable hedonic games
Haris Aziz , Felix Brandt, Hans Georg Seedig
70
Complexity of coalition structure generation
Haris Aziz , Bart Keijzer
257
Equilibrium Approximation in Extensive-Form Simulation-Based Games
Nicola Gatti , Marcello Restelli
327
Maximum Causal Entropy Correlated Equilibria for Markov Games
Brian Ziebart , Drew Bagnell, Anind Dey
D1: Multiagent Learning
Chaired by: Karl Tuyls
505
Learning Action Models for Multi-Agent Planning
Hankz Hankui Zhuo , Hector Muñoz-Avila, Qiang Yang
515
Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems
Sam Devlin , Daniel Kudenko
715
Evolving Subjective Utilities: Prisoner's Dilemma Game Examples
Koichi Moriyama , Satoshi Kurihara, Masayuki Numao
328
Cooperation through Reciprocity in Multiagent Systems: An Evolutionary Analysis
Christian Huetter , Klemens Böhm
559
Distributed Cooperation in Wireless Sensor Networks
Mihail Mihaylov , Yann-Aël Le Borgne, Karl Tuyls, Ann Nowe
Special Session: Best Paper Nominees
13:30-15:10
BP1 : Best Paper Nominees I
Chaired by: Peter McBurney
420
Agent-Based Control for Decentralised Demand Side Management in the Smart Grid
Sarvapali Ramchurn , Perukrishnen Vytelingum, Alex Rogers, Nick Jennings
670
Deploying Power Grid-Integrated Electric Vehicles as a Multi-Agent System
Sachin Kamboj , Willett Kempton, Keith Decker
352
Multi-Agent Monte Carlo Go
Leandro Soriano Marcolino , Hitoshi Matsubara
575
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs
Stefan Witwicki , Ed Durfee
609
GUARDS - Game Theoretic Security Allocation on a National Scale
James Pita , Milind Tambe, Christopher Kiekintveld, Shane Cullen, Erin Steigerwald
BP2 : Best Paper Nominees II
Chaired by: Liz Sonenberg
266
On the Outcomes of Multiparty Persuasion
Elise Bonzon , Nicolas Maudet
174
Arbitrators in Overlapping Coalition Formation Games
Yair Zick , Edith Elkind
137
Learning the Demand Curve in Posted-Price Digital Goods Auctions
Meenal Chhabra , Sanmay Das
252
Ties Matter: Complexity of Voting Manipulation Revisited
Svetlana Obraztsova , Edith Elkind, Noam Hazon
75
Designing Incentives for Boolean Games
Ulle Endriss , Sarit Kraus, Jerome Lang, Michael Wooldridge
Session 2
15:30-16:30
A2 : Logic-based Approaches I
Chaired by: Wiebe v.d. Hoek
253
A Framework for Coalitional Normative Systems
Jun Wu , Chongjun Wang, Junyuan Xie
713
Practical Argumentation Semantics for Socially Efficient Defeasible Consequence
Hiroyuki Kido , Katsumi Nitta
749
Taming the Complexity of Linear Time BDI Logics
Nils Bulling , Koen Hindriks
B2 : Agent-Based System Development I
Chaired by: John Thangarajah
289
Scenarios for System Requirements Traceability and Testing
John Thangarajah , Gaya Jayatilleke, Lin Padgham
652
Kokomo: An empirically evaluated methodology for affective applications
Derek Sollenberger , Munindar Singh
547
Programming Mental State Abduction
Michal Sindlar , Mehdi Dastani, John-Jules Meyer
C2 : Social Choice Theory
Chaired by: Vincent Connitzer
778
Possible and necessary winners in voting trees: majority graphs vs. profiles
Maria Silvia Pini , Francesca Rossi, Kristen Brent Venable, Toby Walsh
73
Tight Bounds for Strategyproof Classification
Reshef Meir , Shaull Almagor, Assaf Michaely, Jeffrey Rosenschein
666
A Double Oracle Algorithm for Zero-Sum Security Games on Graphs
Manish Jain , Dmytro Korzhyk, Ondrej Vanek, Vincent Conitzer, Michal Pechoucek, Milind Tambe
D2 : Preferences and Strategies
Chaired by: Stephane Airiau
675
Modeling Social Preferences in Multi-player games
Brandon Wilson , Inon Zuckerman, Dana Nau
124
A Study of Computational and Human Strategies in Revelation Games
Noam Peled , Kobi Gal, Sarit Kraus
49
Efficient Heuristic Approach to Dominance Testing in CP-nets
Minyi Li , Bao Vo, Ryszard Kowalczyk
Session 3
16:30-17:30
A3 : Distributed Problem Solving II
Chaired by: Matt Taylor
119
Resource-Aware Junction Trees for Efficient Multi-Agent Coordination
Nicolas Stefanovitch , Alessandro Farinelli, Alex Rogers, Nick Jennings
418
Bounded Decentralised Coordination over Multiple Objectives
Francesco Maria Delle Fave , Ruben Stranders, Alex Rogers, Nick Jennings
449
Communication-constrained DCOPs: Message approximation in GDL with Function Filtering
Marc Pujol-Gonzalez , Jesus Cerquides, Juan Antonio Rodriguez-Aguilar, Pedro Meseguer
B3 : Agent-Based System Development II
Chaired by: Mehdi Dastani
184
AgentScope: Multi-Agent Systems Development in Focus
Elth Ogston , Frances Brazier
186
Agent programming with priorities and deadlines
Konstantin Vikhorev , Natasha Alechina, Brian Logan
268
Rich Goal Types in Agent Programming
Mehdi Dastani , M. Birna van Riemsdijk, Michael Winikoff
C3 : Bounded Rationality
Chaired by: Edith Elkind
133
Expert-Mediated Search
Meenal Chhabra , Sanmay Das, David Sarne
349
Using Aspiration Adaptation Theory to Improve Learning
Avi Rosenfeld , Sarit Kraus
537
Less Is More: Restructuring Decisions to Improve Agent Search
David Sarne , Avshalom Elmalech, Barbara J. Grosz, Moti Geva
D3 : Virtual Agents I
Chaired by: Jonathan Gratch
463
Culture-related differences in aspects of behavior for virtual characters across Germany and Japan
Birgit Endrass , Matthias Rehm, Afia Akhter Lipi, Yukiko Nakano, Elisabeth Andre
601
Controlling Narrative Time in Interactive Storytelling
Julie Porteous , Jonathan Teutenberg, Fred Charles, Marc Cavazza
536
ESCAPES: Evacuation Simulation with Children, Authorities, Parents, Emotions, and Social Comparison
Jason Tsai , Natalie Fridman, Matthew Brown, Andrew Ogden, Inbal Rika, Xuezhi Wang, Shira Epstein, Avishay Zilka, Matthew Taylor, Milind Tambe, Emma Bowring, Stacy Marsella, Gal Kaminka, Ankur Sheel
Conference Banquet
18:30-20:30
THURSDAY, MAY 5
Invited Talk: ACM Research Award
09:00-10:00
Chaired by: Michael Wooldridge
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
Joe Halpern
Session 4
10:30-12:10
A4 : Agent Communication
Chaired by: Michael Rovatsos
135
Commitments with Regulations: Reasoning about Safety and Control
Matteo Baldoni , Cristina Baroglio, Amit Chopra, Elisa Marengo, Viviana Patti, Munindar Singh
189
Specifying and Applying Commitment-Based Business Patterns
Amit Chopra , Munindar Singh
625
On the Verification of Social Commitments and Time
Mohamed El- Menshawy Mohamed , Jamal Bentahar, Hongyang Qu, Rachida Dssouli
414
Information-Driven Interaction-Oriented Programming
Munindar Singh
284
On Topic Selection Strategies in Multi-Agent Naming Game
Lorkiewicz Wojciech , Riszard Kowalcyzk, Radoslaw Katarzyniak, Bao Vo
B4 : Game Theory and Learning
Chaired by: Alex Rogers
248
Reaching Correlated Equilibria Through Multi-agent Learning
Ludek Cigler , Boi Faltings
199
Sequential targeted optimality as a new criterion for teaching and following in repeated games
Max Knobbout , Gerard Vreeswijk
239
On the quality and complexity of Pareto equilibria in the Job Scheduling game
Elena Kleiman , Leah Epstein
159
Game Theory-Based Opponent Modeling in Large Imperfect-Information Games
Sam Ganzfried , Tuomas Sandholm
668
False-name bidding in first-price combinatorial auctions with incomplete information
Atsushi Iwasaki , Atsushi Katsuragi, Makoto Yokoo
C4 : Teamwork
Chaired by: Juan A Rodriguez
127
Metastrategies in the colored trails game
Steven de Jong , Daniel Hennes, Kobi Gal, Karl Tuyls
197
Computing stable outcomes in hedonic games with voting-based deviations
Martin Gairing , Rahul Savani
224
Empirical Evaluation of Ad Hoc Teamwork in the Pursuit Domain
Samuel Barrett , Peter Stone, Sarit Kraus
318
Decision Theoretic Behavior Composition
Nitin Yadav , Sebastian Sardina
732
Solving Election Manipulation Using Integer Partitioning Problems
Lin Andrew
Special Session: Victor lesser Distinguished Dissertation Award
Chaired by: Sandip Sen
ANAC 2011
12:10-16:30
Automated Negotiating Agents Competition
Session 5
13:30-15:10
A5 : Learning Agents
Chaired by: Paul Scerri
682
Using Iterated Reasoning to Predict Opponent Strategies
Michael Wunder , Michael Kaisers, Michael Littman, John Robert Yaros
148
Cognitive Policy Learner: Biasing Winning or Losing Strategies
Dominik Dahlem , Jim Dowling, William Harrison
149
Agent-mediated Multi-step Optimization for Resource Allocation in Distributed Sensor Networks
Bo An , Victor Lesser, David Westbrook, Michael Zink
80
Integrating Reinforcement Learning with Human Demonstrations of Varying Ability
Matthew Taylor , Halit Bener Suay, Sonia Chernova
B5 : Auction and incentive design
Chaired by: Rajiv Maheswaran
39
Incentive design for adaptive agents
Haoqi Zhang , Jerry Kung, Ariel Procaccia, David Parkes, Yiling Chen
31
A Truth Serum for Sharing Rewards
Arthur Carvalho , Kate Larson
228
Capability-Aligned Matching: Improving Quality of Games with a Purpose
Che-Liang Chiou , Jane Hsu
689
False-name-proof Mechanism Design without Money
Taiki Todo , Atsushi Iwasaki, Makoto Yokoo
47
Majority-rule-based preference aggregation on multi-attribute domains with structured preferences
Minyi Li , Bao Vo, Ryszard Kowalczyk
C5 : Simulation and Emergence
Chaired by: Elizabeth Sklaar
450
Emerging Cooperation on Complex Networks
Norman Salazar , Juan Antonio Rodriguez-Aguilar, Josep Lluís Arcos, Juan C. Burguillo
484
An Investigation of the Vulnerabilities of Scale Invariant Dynamics in Large Teams
Robin Glinton , Katia Sycara, Paul Scerri
295
The Evolution of Cooperation in Self-Interested Agent Societies: A Critical Study
Lisa-Maria Hofmann , Nilanjan Chakraborty, Katia Sycara
492
A Model of Norm Emergence and Innovation in Language Change
Samarth Swarup , Andrea Apolloni, Zsuzsanna Fagyal
269
Dynamic Level of Detail for Large Scale Agent-Based Urban Simulations
Laurent Navarro , Fabien Flacher, Vincent Corruble
D5 : Logic-based Approaches II
Chaired by: Munindar Singh
28
Reasoning about local properties in modal logic
Hans van Ditmarsch , Wiebe van der Hoek, Barteld Kooi
74
Knowledge and Control
Michael Wooldridge , Wiebe van der Hoek, Nicolas Troquard
194
Strategic Games and Truly Playable Effectivity Functions
Valentin Goranko , Wojciech Jamroga, Paolo Turrini
77
Scientia Potentia Est
Thomas Ågotnes , Wiebe van der Hoek, Michael Wooldridge
235
Tractable Model Checking for Fragments of Higher-Order Coalition Logic
Patrick Doherty , Barbara Dunin-Keplicz, Andrzej Szalas
Invited Talk
15:30-16:30
Chaired by: Peter Stone
Continuous Visual Object Category Learning
Kristen Grauman
Poster/Demo Session
16:30-20:00
FRIDAY, MAY 6
Invited Talk
09:00-10:00
Chaired by: Pinar Yolum
Developmental constraints for open-ended robot learning
Pierre-Yves Oudeyer
Session 6
10:30-12:10
A6 : Robotics and Learning
Chaired by: Gal Kaminka
138
Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing
Bryan Kian Hsiang Low , John Dolan, Pradeep Khosla
32
Horde: A Scalable Real-time Architecture for Learning Knowledge from Unsupervised Sensorimotor Int
Richard Sutton , Joseph Modayil, Michael Delp, Thomas Degris, Patrick Pilarski, Adam White, Doina Precup
285
On Optimizing Interdependent Skills: A Case Study in Simulated 3D Humanoid Robot Soccer
Daniel Urieli , Patrick MacAlpine, Shivaram Kalyanakrishnan, Yinon Bentor, Peter Stone
53
Metric Learning for Reinforcement Learning Agents
Matthew Taylor , Brian Kulis, Fei Sha
B6 : Energy Applications
Chaired by: Janusz Marecki
79
Cooperatives of Distributed Energy Resources for Efficient Virtual Power Plants
Georgios Chalkiadakis , Valentin Robu, Ramachandra Kota, Alex Rogers, Nick Jennings
99
How Agents Can Help Curbing Fuel Combustion - a Performance Study of Intersection Control
Natalja Pulter , Heiko Schepperle, Klemens Böhm
620
Decentralized balancing of a commercial portfolio with plug-in hybrid vehicles in a Smart Grid
Stijn Vandael , Klaas De Craemer, Nelis Boucké, Tom Holvoet, Geert Deconinck
440
Online Mechanism Design for Electric Vehicle Charging
Enrico Gerding , Valentin Robu, Sebastian Stein, David Parkes, Alex Rogers, Nick Jennings
C6 : Voting Protocols
Chaired by: Takayuki Ito
60
Homogeneity and Monotonicity of Distance-Rationalizable Voting Rules
Edith Elkind , Piotr Faliszewski, Arkadii Slinko
82
Possible Winners When New Alternatives Join: New Results Coming Up!
Lirong Xia , Jerome Lang, Jerome Monnot
317
The Complexity of Voter Partition in Bucklin and Fallback Voting: Solving Three Open Problems
Gabor Erdelyi , Lena Piras, Joerg Rothe
201
An Algorithm for the Coalitional Manipulation Problem under Maximin
Michael Zuckerman , Omer Lev, Jeffrey Rosenschein
485
Computational Complexity of Two Variants of the Possible Winner Problem
Dorothea Baumeister , Magnus Roos, Joerg Rothe
D6 : Trust and Organizational Structure
Chaired by: Jordi Sabatier
489
Trust as Dependence: A Logical Approach
Munindar Singh
653
Multi-Layered Cognitive Filtering by Behavioural Modelling
zeinab noorian , steve marsh, michael Fleming
291
Argumentation-based reasoning in agents with varying degrees of trust
Simon Parsons , Yuqing Tang, Elizabeth Sklar, Kai Cai, Peter McBurney
611
A Particle Filter for Bid Estimation in Ad Auctions with Periodic Ranking Observations
David Pardoe , Peter Stone
38
How to measure the conviviality of a dependence network.
patrice caire , Leendert van der Torre, Baptiste Alcalde, Chattrakul Sombattheera
Session 7
13:00-14:40
A7 : Argumentation and Negotiation
Chaired by: Simon Parsons
205
Choosing persuasive arguments for action
Elizabeth Black , Katie Atkinson
499
Argumentation strategies for plan resourcing
Chukwuemeka Emele , Timothy Norman, Simon Parsons
757
Multi-Criteria Argument Selection In Persuasion Dialogues
Tom van der Weide , Frank Dignum, John-Jules Meyer, Henry Prakken, Gerard Vreeswijk
198
Analyzing Intra-Team Strategies for Agent-Based Negotiation Teams
Victor Sanchez-Anguix , Vicente Julian, Vicent Botti, Ana Garcia-Fornes
112
The Effect of Expression of Anger and Happiness in Computer Agents on Negotiations with Humans
Celso de Melo , Peter Carnevale, Jonathan Gratch
B7 : Planning
Chaired by: Sven Koenig
220
Toward Error-bounded Algorithms for Infinite-Horizon DEC-POMDPs
Dibangoye Jilles , Abdel-Illah Mouaddib, Brahim Chaib-draa
456
Distributed Model Shaping for Scaling to Decentralized POMDPs with hundreds of agents
Prasanna Velagapudi , Pradeep Varakantham, Paul Scerri, Katia Sycara
476
Efficient Planning in R-max
Marek Grzes , Jesse Hoey
639
Multiagent Argumentation for Cooperative Planning in DeLP-POP
Pere Pardo , Sergio Pajares Ferrando, Eva Onaindia, Lluís Godo, Pilar Dellunde
C7 : Game Theory II
Chaired by: Milind Tambe
188
Computing a Self-Confirming Equilibrium in Two-Player Extensive-Form Games
Nicola Gatti , Fabio Panozzo, Sofia Ceppi
474
Computing Time-Dependent Policies for Patrolling Games with Mobile Targets
Branislav Bosansky , Viliam Lisy, Michal Jakob, Michal Pechoucek
664
Quality-bounded Solutions for Finite Bayesian Stackelberg Games: Scaling up
Manish Jain , Christopher Kiekintveld, Milind Tambe
680
Approximation Methods for Infinite Bayesian Stackelberg Games: Modeling Distributional Uncertainty
Christopher Kiekintveld , Janusz Marecki, Milind Tambe
701
Solving Stackelberg Games with Uncertain Observability
Dmytro Korzhyk , Vincent Conitzer, Ronald Parr
D7 : Virtual Agents II
Chaired by: Von-Wun Soo
719
A style controller for generating virtual human behaviors
Chung-Cheng Chiu , Stacy Marsella
761
The face of emotions: a logical formalization of expressive speech acts
Nadine Guiraud , Dominique Longin, Emiliano Lorini, Sylvie Pesty, Jérémy Rivière
366
I've Been Here Before! Location and Appraisal in Memory Retrieval
Paulo Gomes , Ana Paiva, Carlos Martinho
236
From Body Space to Interaction Space - Modeling Spatial Cooperation for Virtual Humans
Nhung Nguyen , Ipke Wachsmuth
502
Effect of time delays on agents' interaction dynamics
Ken Prepin , Catherine Pelachaud
Community Meeting and Closing
14:45-16:00