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 |
|
|
|
|