Main Page

AAMAS'14 Table of Contents

AAMAS'14 Author Index

AAMAS 2015 Call for Papers

AAMAS 2014 Table of Contents

AAMAS'14 Chairs' Welcome Message
Alessio Lomuscio (Imperial College London)
Paul Scerri (Carnegie Mellon University)
Ana Bazzan (UFRGS)
Michael Huhns (University of South Carolina)

AAMAS'14 Organization List 

AAMAS'14 Sponsors & Supporters

(Return to Top)
Awards Session E4 - Verification and Validation II
Invited Talks Session F4 - Planning I
Session A1 - Game Theory I Session A5 - Emotions
Session B1 - Voting I Session B5 - Energy
Session C1 - Humans and Agents I Session C5 - Game Theory III
Session D1 - Norms Session A6 - Logic II
Session E1 - Verification and Validation I Session B6 - Task and Goods Allocation III
Session F1 - Learning I Session C6 - Agent Oriented Software Engineering II
Session A2 - Algorithmic Game Theory I Session D6 - Humans and Agents III
Session B2 - Information I Session E6 - Mechanism Design I
Session C2 - Social Networks I Session A7 - Auctions
Session D2 - Agent Oriented Software Engineering I Session B7 - Humans and Agents IV
Session E2 - Logic I Session C7 - Path Planning
Session F2 - Task and Goods Allocation I Session D7 - Learning II
Session A3 - Teams Session E7 - Challenges
Session B3 - Task and Goods Allocation II Session A8 - Social Choice
Session C3 - Crowdsourcing Session B8 - Algorithmic Game Theory II
Session D3 - Adversarial Search Session C8 - Learning III
Session E3 - Argumentation and Negotiation Session D8 - Planning II
Session F3 - Information II Session E8 - Mechanism Design II
Session A4 - Game Theory II Poster Session 1 - Extended Abstracts 1
Session B4 - Voting II Poster Session 2 - Extended Abstracts 2
Session C4 - Humans and Agents II Demo Papers
Session D4 - Social Networks II Doctoral Consortium Abstracts

 

(Return to Top)

Invited Talks

Sensory Networks and Distributed Cognition in Animal Groups (Page 1)
Iain D. Couzin (Princeton University)

From Agents to Electronic Order (Page 3)
Michael Luck (King's College London)

Putting the Agent in Agent-Based Model
Winner of 2014 ACM/SIGAI Autonomous Agents Award
Michael Wellman (University of Michigan)

(Return to Top)

Session A1 - Game Theory I

Fractional Hedonic Games (Page 5)
Haris Aziz (NICTA and UNSW)
Felix Brandt (TU München)
Paul Harrenstein (University of Oxford)

Anytime Coalition Structure Generation on Synergy Graphs (Page 13)
Filippo Bistaffa (University of Verona)
Alessandro Farinelli (University of Verona)
Jesús Cerquides (IIIA-CSIC)
Juan Rodríguez-Aguilar (IIIA-CSIC)
Sarvapali D. Ramchurn (University of Southampton)

A Study of Sybil Manipulations in Hedonic Games (Page 21)
Thibaut Vallée (Normandie Univ, UNICAEN GREYC, CNRS)
Grégory Bonnet (Normandie Univ, UNICAEN GREYC, CNRS)
Bruno Zanuttini (Normandie Univ, UNICAEN GREYC, CNRS)
François Bourdon (Normandie Univ, UNICAEN GREYC, CNRS)

Cooperative Max Games and Agent Failures (Page 29)
Yoram Bachrach (Microsoft Research Cambridge)
Rahul Savani (University of Liverpool)
Nisarg Shah (Carnegie Mellon University)

(Return to Top)

Session B1 - Voting I

The Cost of Principles: Analyzing Power in Compatibility Weighted Voting Games (Page 37)
Abigail See (University of Cambridge)
Yoram Bachrach (Microsoft Research)
Pushmeet Kohli (Microsoft Research)

Self-Organized Collective Decision Making: The Weighted Voter Model (Page 45)
Gabriele Valentini (Université Libre de Bruxelles)
Heiko Hamann (University of Paderborn)
Marco Dorigo (Université Libre de Bruxelles & University of Paderborn)

Properties of Multiwinner Voting Rules (Page 53)
Edith Elkind (University of Oxford)
Piotr Faliszewski (AGH University)
Piotr Skowron (University of Warsaw)
Arkadii Slinko (University of Auckland)

Bribery and Voter Control Under Voting-Rule Uncertainty (Page 61)
Gabor Erdelyi (Universität Siegen)
Edith Hemaspaandra (Rochester Institute of Technology)
Lane A. Hemaspaandra (University of Rochester)

(Return to Top)

Session C1 - Humans and Agents I

User-Driven Narrative Variation in Large Story Domains Using Monte Carlo Tree Search (Page 69)
Bilal Kartal (University of Minnesota)
John Koenig (University of Minnesota)
Stephen J. Guy (University of Minnesota)

Story Similarity Measures for Drama Management with TTD-MDPs (Page 77)
Joshua K. Jones (Georgia Institute of Technology)
Charles L. Isbell (Georgia Institute of Technology)

It's Only a Computer: The Impact of Human-Agent Interaction in Clinical Interviews (Page 85)
Jonathan Gratch (University of Southern California)
Gale Lucas (University of Southern California)
Aisha Aisha King (Bard College)
Louis-Philippe Morency (University of Southern California)

A Computational Model of Social Attitudes for a Virtual Recruiter (Page 93)
Zoraida Callejas (University of Granada; CITIC-UGR)
Brian Ravenet (Institut Mines-Télécom; Télécom ParisTech; CNRS LTCI)
Magalie Ochs (Institut Mines-Télécom; Télécom ParisTech; CNRS LTCI)
Catherine Pelachaud (Institut Mines-Télécom; Télécom ParisTech; CNRS LTCI)

(Return to Top)

Session D1 - Norms

Extracting Normative Relationships from Business Contracts (Page 101)
Xibin Gao (Microsoft Corporation)
Munindar P. Singh (North Carolina State University)

Minimality and Simplicity in the On-line Automated Synthesis of Normative Systems (Page 109)
Javier Morales (Universitat de Barcelona)
Maite Lopez-Sanchez (Universitat de Barcelona)
Juan A. Rodriguez-Aguilar (IIIA-CSIC)
Michael Wooldridge (University of Oxford)
Wamberto Vasconcelos (University of Aberdeen)

Norm Approximation for Imperfect Monitors (Page 117)
Natasha Alechina (University of Nottingham)
Mehdi Dastani (Universiteit Utrecht)
Brian Logan (University of Nottingham)

Playing with Norms: Tractability of Normative Systems for Homogeneous Game Structures (Page 125)
Sjur Dyrkolbotn (Durham University)
Piotr Kazmierczak (Bergen University College)

(Return to Top)

Session E1 - Verification and Validation I

Model Checking Degrees of Belief in a System of Agents (Page 133)
Giuseppe Primiero (Middlesex University)
Franco Raimondi (Middlesex University)
Neha Rungta (NASA Ames Research Center)

Progression and Verification of Situation Calculus Agents with Bounded Beliefs (Page 141)
Giuseppe De Giacomo (Universitŕ di Roma)
Yves Lespérance (York University)
Fabio Patrizi (Universitŕ La Sapienza)
Stavros Vassos (Universitŕ La Sapienza)

Verifying Heterogeneous Multi-Agent Programs (Page 149)
Thu Trang Doan (University of Nottingham)
Yuan Yao (University of Nottingham)
Natasha Alechina (University of Nottingham)
Brian Logan (University of Nottingham)

Verification of Data-Aware Commitment-Based Multiagent System (Page 157)
Marco Montali (Free University of Bozen-Bolzano)
Diego Calvanese (Faculty of Computer Science, Free University of Bozen-Bolzano)
Giuseppe De Giacomo (Sapienza Universitŕ di Roma)

(Return to Top)

Session F1 - Learning I

Potential-Based Difference Rewards for Multiagent Reinforcement Learning (Page 165)
Sam Devlin (University of York)
Logan Yliniemi (Oregon State University)
Daniel Kudenko (University of York)
Kagan Tumer (Oregon State University)

Multi-Robot Inverse Reinforcement Learning Under Occlusion with Interactions (Page 173)
Kenneth Bogert (University of Georgia)
Prashant Doshi (University of Georgia)

Persistent Patterns: Multi-Agent Learning Beyond Equilibrium and Utility (Page 181)
Georgios Piliouras (Georgia Institute of Technology)
Carlos Nieto-Granda (Georgia Institute of Technology)
Henrik I. Christensen (Georgia Institute of Technology)
Jeff S. Shamma (Georgia Institute of Technology)

Napping for Functional Representation of Policy (Page 189)
Qing Da (Nanjing University)
Yang Yu (Nanjing University)
Zhi-Hua Zhou (Nanjing University)

(Return to Top)

Session A2 - Algorithmic Game Theory I

Algorithms for the Shapley and Myerson Values in Graph-Restricted Games (Page 197)
Oskar Skibski (University of Warsaw)
Tomasz P. Michalak (University of Oxford, University of Warsaw)
Talal Rahwan (Masdar Institute)
Michael Wooldridge (University of Oxford)

Sybil-Proof Accounting Mechanisms with Transitive Trust (Page 205)
Sven Seuken (University of Zurich)
David C. Parkes (Harvard University)

Price Manipulation in Prediction Markets: Analysis and Mitigation (Page 213)
Eric H. Huang (Stanford University)
Yoav Shoham (Stanford University)

Optimal False-Name-Proof Single-Item Redistribution Mechanisms (Page 221)
Shunsuke Tsuruta (Kyushu University)
Masaaki Oka (Kyushu University)
Taiki Todo (Kyushu University)
Yujiro Kawasaki (Kyushu University)
Mingyu Guo (Adelaide University)
Yuko Sakurai (Kyushu University)
Makoto Yokoo (Kyushu University)

(Return to Top)

Session B2 - Information I

Signal Structure and Strategic Information Acquisition: Deliberative Auctions with Interdependent Values (Page 229)
Erik Brinkman (University of Michigan)
Michael P. Wellman (University of Michigan)
Scott E. Page (University of Michigan)

Constraining Information Sharing to Improve Cooperative Information Gathering (Page 237)
Igor Rochlin (Bar-Ilan University)
David Sarne (Bar-Ilan University)

Elicitability and Knowledge-Free Elicitation with Peer Prediction (Page 245)
Peter Zhang (Harvard University)
Yiling Chen (Harvard University)

Collective Action Through Common Knowledge Using a Facebook Model (Page 253)
Gizem Korkmaz (Virginia Bioinformatics Institute, Virginia Tech)
Chris J. Kuhlman (Virginia Bioinformatics Institute, Virginia Tech)
Achla Marathe (Virginia Bioinformatics Institute, Virginia Tech)
Madhav V. Marathe (Virginia Bioinformatics Institute, Virginia Tech)
Fernando Vega-Redondo (Bocconi University)

(Return to Top)

Session C2 - Social Networks I

Forming Coalitions and Facilitating Relationships for Completing Tasks in Social Networks (Page 261)
Liat Sless (Bar Ilan University)
Noam Hazon (Ariel University)
Sarit Kraus (Bar Ilan University)
Michael Wooldridge (University of Oxford)

Cross-Layers Cascade in Multiplex Networks (Page 269)
Zhaofeng Li (Southeast University)
Yichuan Jiang (Southeast University)

Opinion Dynamics of Skeptical Agents (Page 277)
Alan Tsang (University of Waterloo)
Kate Larson (University of Waterloo)

How the Number of Strategies Impacts the Likelihood of Equilibria in Random Graphical Games (Page 285)
Anisse Ismaili (Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6)
Evripidis Bampis (Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6)
Nicolas Maudet (Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6)
Patrice Perny (Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6)

(Return to Top)

Session D2 - Agent Oriented Software Engineering I

Coalition Structure Generation with the Graphics Processing Unit (Page 293)
Krzysztof Pawlowski (University of Warsaw)
Karol Kurach (University of Warsaw)
Kim Svensson (University of Southampton)
Sarvapali Ramchurn (University of Southampton)
Tomasz P. Michalak (University of Oxford/University of Warsaw)
Talal Rahwan (Masdar Institute)

Novice Programmers' Faults & Failures in GOAL Programs: Empirical Observations and Lessons (Page 301)
Michael Winikoff (University of Otago)

Xipho: Extending Tropos to Engineer Context-Aware Personal Agents (Page 309)
Pradeep K. Murukannaiah (North Carolina State University)
Munindar P. Singh (North Carolina State University)

Stop the Compartmentalization: Unified Robust Algorithms for Handling Uncertainties in Security Games (Page 317)
Thanh Hong Nguyen (University of Southern California)
Albert Xin Jiang (University of Southern California)
Milind Tambe (University of Southern California)

(Return to Top)

Session E2 - Logic I

Big Brother Logic: Logical Modeling and Reasoning about Agents Equipped with Surveillance Cameras in the Plane (Page 325)
Olivier Gasquet (University Toulouse III - Paul Sabatier, IRIT)
Valentin Goranko (Technical University of Denmark and University of Johannesburg)
Francois Schwarzentruber (ENS Rennes, IRISA)

Supervisory Control Theory in Epistemic Temporal Logic (Page 333)
Guillaume Aucher (University of Rennes 1 - INRIA)

On the Relative Succinctness of Modal Logics with Union, Intersection and Quantification (Page 341)
Wiebe van der Hoek (University of Liverpool)
Petar Iliev (University of Lorraine)

A Logical Theory of Robot Localization (Page 349)
Vaishak Belle (University of Toronto)
Hector J. Levesque (University of Toronto)

(Return to Top)

Session F2 - Task and Goods Allocation I

Reputation-Aware Task Allocation for Human Trustees (Page 357)
Han Yu (Nanyang Technological University)
Chunyan Miao (Nanyang Technological University)
Bo An (Nanyang Technological University)
Zhiqi Shen (Nanyang Technological University)
Cyril Leung (The University of British Columbia)

Efficiency and Fairness in Team Search with Self-Interested Agents (Page 365)
Igor Rochlin (Bar-Ilan University)
Yonatan Aumann (Bar-Ilan University)
David Sarne (Bar-Ilan University)
Luba Golosman (Bar-Ilan University)

Exploiting Max-Sum for the Decentralized Assembly of High-Valued Supply Chains (Page 373)
Toni Penya-Alba (IIIA-CSIC)
Meritxell Vinyals (University of Southampton)
Jesus Cerquides (IIIA-CSIC)
Juan A. Rodriguez-Aguilar (IIIA-CSIC)

Tasks with Cost Growing Over Time and Agent Reallocation Delays (Page 381)
James Parker (University of Minnesota)
Maria Gini (University of Minnesota)

(Return to Top)

Session A3 - Teams

Dealing with Ambiguity in Plan Recognition under Time Constraints (Page 389)
Moser Silva Fagundes (Pontifical Catholic University of Rio Grande do Sul)
Felipe Meneguzzi (Pontifical Catholic University of Rio Grande do Sul)
Rafael H. Bordini (Pontifical Catholic University of Rio Grande do Sul)
Renata Vieira (Pontifical Catholic University of Rio Grande do Sul)

Modeling Uncertainty in Leading Ad Hoc Teams (Page 397)
Noa Agmon (Bar-Ilan University)
Samuel Barrett (The University of Texas at Austin)
Peter Stone (The University of Texas at Austin)

Limited Bandwidth Recognition of Collective Behaviors in Bio-Inspired Swarms (Page 405)
Daniel S. Brown (AFRL Information Directorate)
Michael A. Goodrich (Brigham Young University)

Sharing Information in Teams: Giving Up Privacy or Compromising on Team Performance? (Page 413)
Maaike Harbers (TU Delft)
Reyhan Aydogan (TU Delft)
Catholijn M. Jonker (TU Delft)
Mark A. Neerincx (TU Delft)

Clustering Objects with Robots That Do Not Compute (Page 421)
Melvin Gauci (The University of Sheffield)
Jianing Chen (The University of Sheffield)
Wei Li (The University of Sheffield)
Tony J. Dodd (The University of Sheffield)
Roderich Gross (The University of Sheffield)

(Return to Top)

Session B3 - Task and Goods Allocation II

Constrained Scheduling of Robot Exploration Tasks (Page 429)
Max Korein (Carnegie Mellon University)
Brian Coltin (Carnegie Mellon University)
Manuela Veloso (Carnegie Mellon University)

Online Mechanism Design for Scheduling Non-Preemptive Jobs under Uncertain Supply and Demand (Page 437)
Philipp Ströhle (Karlsruhe Institute of Technology)
Enrico H. Gerding (University of Southampton)
Mathijs M. de Weerdt (Delft University of Technology)
Sebastian Stein (University of Southampton)
Valentin Robu (University of Southampton)

Egalitarian Pairwise Kidney Exchange: Fast Algorithms via Linear Programming and Parametric Flow (Page 445)
Jian Li (Tsinghua University)
Yicheng Liu (Tsinghua University)
Lingxiao Huang (Tsinghua University)
Pingzhong Tang (Tsinghua University)

Adaptive Resource Allocation for Wildlife Protection Against Illegal Poachers (Page 453)
Rong Yang (University of Southern California)
Benjamin Ford (University of Southern California)
Milind Tambe (University of Southern California)
Andrew Lemieux (Netherlands Institute for the Study of Crime and Law Enforcement)

(Return to Top)

Session C3 - Crowdsourcing

Improving the Efficiency of Crowdsourcing Contests (Page 461)
Haifeng Xu (University of Southern California)
Kate Larson (University of Waterloo)

Productive Output in Hierarchical Crowdsourcing (Page 469)
Swaprava Nath (Indian Statistical Institute)
Balakrishnan (Murali) Narayanaswamy (University of California, San Diego)

BudgetFix: Budget Limited Crowdsourcing for Interdependent Task Allocation with Quality Guarantees (Page 477)
Long Tran-Thanh (University of Southampton)
Trung Dong Huynh (University of Southampton)
Avi Rosenfeld (Jerusalem College of Technology)
Sarvapali D. Ramchurn (University of Southampton)
Nicholas R. Jennings (University of Southampton)

(Return to Top)

Session D3 - Adversarial Search

Optimal Randomized Classification in Adversarial Settings (Page 485)
Yevgeniy Vorobeychik (Vanderbilt University)
Bo Li (Vanderbilt University)

Opponent-Driven Planning and Execution for Pass, Attack, and Defense in a Multi-Robot Soccer Team (Page 493)
Joydeep Biswas (Carnegie Mellon University)
Juan Mendoza (Carnegie Mellon University)
Danny Zhu (Carnegie Mellon University)
Benjamin Choi (Carnegie Mellon University)
Steven Klee (Carnegie Mellon University)
Manuela Veloso (Carnegie Mellon University)

Asymmetric Abstractions for Adversarial Settings (Page 501)
Nolan Bard (University of Alberta)
Michael Johanson (University of Alberta)
Michael Bowling (University of Alberta)

Cost Optimal Planning with LP-Based Multi-Valued Landmark Heuristic (Page 509)
Lei Zhang (Nanjing University)
Chong-Jun Wang (Nanjing University)
Jun-Yuan Xie (Nanjing University)

(Return to Top)

Session E3 - Argumentation and Negotiation

Negotiating over Ontological Correspondences with Asymmetric and Incomplete Knowledge (Page 517)
Terry R. Payne (University of Liverpool)
Valentina Tamma (University of Liverpool)

NegoChat: A Chat-Based Negotiation Agent (Page 525)
Avi Rosenfeld (Jerusalem College of Technology)
Inon Zuckerman (Ariel University)
Erel Segal-Halevi (Bar Ilan University)
Osnat Drein (Bar Ilan University)
Sarit Kraus (Bar Ilan University)

Dialogical Two-Agent Decision Making with Assumption-based Argumentation (Page 533)
Xiuyi Fan (Imperial College London)
Francesca Toni (Imperial College London)
Andrei Mocanu (Imperial College London)
Matthew Williams (Imperial College London)

(Return to Top)

Session F3 - Information II

Explorative Max-sum for Teams of Mobile Sensing Agents (Page 549)
Harel Yedidsion (Ben Gurion University of the Negev)
Roie Zivan (Ben Gurion University of the Negev)
Alessandro Farinelli (University of Verona)

A Normative Agent-based Model for Predicting Smoking Cessation Trends (Page 557)
Rahmatollah Beheshti (University of Central Florida)
Gita Sukthankar (University of Central Florida)

Competitive Information Provision in Sequential Search Markets (Page 565)
Meenal Chhabra (Virginia Tech)
Sanmay Das (Washington University in St. Louis)
David Sarne (Bar Ilan University)

Multi-Robot Active Sensing of Non-Stationary Gaussian Process-Based Environmental Phenomena (Page 573)
Ruofei Ouyang (National University of Singapore)
Kian Hsiang Low (National University of Singapore)
Jie Chen (Singapore-MIT Alliance for Research and Technology)
Patrick Jaillet (Massachusetts Institute of Technology)

(Return to Top)

Session A4 - Game Theory II

Complexity of Stability-based Solution Concepts in Multi-Issue and MC-net Cooperative Games (Page 581)
Yuqian Li (Duke University)
Vincent Conitzer (Duke University)

Cooperative Weakest Link Games (Page 589)
Yoram Bachrach (Microsoft Research)
Omer Lev (Hebrew University of Jerusalem)
Shachar Lovett (University of California)
Jeffrey S. Rosenschein (Hebrew University of Jerusalem)
Morteza Zadimoghaddam (Massachusetts Institute of Technology)

Bootstrap Statistics for Empirical Games (Page 597)
Bryce Wiedenbeck (University of Michigan)
Ben-Alexander Cassell (University of Michigan)
Michael P. Wellman (University of Michigan)

The Shared Assignment Game and Applications to Pricing in Cloud Computing (Page 605)
Gideon Blocq (Technion - Israel Institute of Technology)
Yoram Bachrach (Microsoft Research)
Peter Key (Microsoft Research)

(Return to Top)

Session B4 - Voting II

Possible and Necessary Winner Problem in Social Polls (Page 613)
Serge Gaspers (UNSW Australia and NICTA)
Victor Naroditskiy (University of Southampton)
Nina Narodytska (University of Toronto)
Toby Walsh (NICTA and UNSW Australia)

The Control Complexity of r-Approval: From the Single-Peaked Case to the General Case (Page 621)
Yongjie Yang (Universität des Saarlandes)
Jiong Guo (Universität des Saarlandes)

Controlling Elections with Bounded Single-Peaked Width (Page 629)
Yongjie Yang (Universität des Saarlandes)
Jiong Guo (Universität des Saarlandes)

(Return to Top)

Session C4 - Humans and Agents II

Directions Robot: In-the-Wild Experiences and Lessons Learned (Page 637)
Dan Bohus (Microsoft Research)
Chit W. Saw (Microsoft Research)
Eric Horvitz (Microsoft Research)

Mixed Agent/Social Dynamics for Emotion Computation (Page 645)
Julien Saunier (INSA-Rouen)
Hazaël Jones (Montpellier SupAgro)

The Effects of Feedback on Human Behavior in Social Media: An Inverse Reinforcement Learning Model (Page 653)
Sanmay Das (Washington University in St. Louis)
Allen Lavoie (Washington University in St. Louis)

Exploring Interaction Strategies for Virtual Characters to Induce Stress in Simulated Job Interviews (Page 661)
Patrick Gebhard (DFKI GmbH)
Tobias Baur (Augsburg University)
Ionut Damian (Augsburg University)
Gregor Mehlmann (Augsburg University)
Johannes Wagner (Augsburg University)
Elisabeth André (Augsburg University)

(Return to Top)

Session D4 - Social Networks II

Exploring Indirect Reciprocity in Complex Networks Using Coalitions and Rewiring (Page 669)
Ana Peleteiro (University of Vigo)
Juan C. Burguillo (University of Vigo)
Siang Yew Chong (University of Nottingham, Malaysia Campus)

Evolution of Cooperation in Arbitrary Complex Networks (Page 677)
Bijan Ranjbar-Sahraei (Maastricht University)
Haitham Bou Ammar (University of Pennsylvania)
Daan Bloembergen (Maastricht University)
Karl Tuyls (University of Liverpool)
Gerhard Weiss (Maastricht University)

Using Complex Network Effects for Communication Decisions in Large Multi-Robot Teams (Page 685)
Yang Xu (University of Electronic Science & Technology of China)
Xuemei Hu (University of Electronic Science & Technology of China)
Yan Li (University of Electronic Science & Technology of China)
Dong Li (University of Electronic Science & Technology of China)
Mengjun Yang (University of Electronic Science & Technology of China)

Empathetic Social Choice on Social Networks (Page 693)
Amirali Salehi-Abari (University of Toronto)
Craig Boutilier (University of Toronto)

(Return to Top)

Session E4 - Verification and Validation II

On Module Checking and Strategies (Page 701)
Wojciech Jamroga (University of Luxembourg)
Aniello Murano (Universitŕ degli Studi di Napoli Federico II)

Improving Scalability and Dependability of Stochastic MAS Analyses (Page 709)
Logan Brooks (Carnegie Mellon University)
Sandip Sen (University of Tulsa)

Verification of Non-Uniform and Unbounded Artifact-Centric Systems: Decidability Through Abstraction (Page 717)
Francesco Belardinelli (Université d'Evry)

Autonomous E-Coaching in the Wild: Empirical Validation of a Model-Based Reasoning System (Page 725)
Bart A. Kamphorst (Utrecht University)
Michel C. A. Klein (VU University Amsterdam)
Arlette van Wissen (VU University Amsterdam)

(Return to Top)

Session F4 - Planning I

Online Planning for Optimal Protector Strategies in Resource Conservation Games (Page 733)
Yundi Qian (University of Southern California)
William B. Haskell (University of Southern California)
Albert Xin Jiang (University of Southern California)
Milind Tambe (University of Southern California)

Online Heuristic Planning for Highly Uncertain Domains (Page 741)
Adam Eck (University of Nebraska-Lincoln)
Leen-Kiat Soh (University of Nebraska-Lincoln)

Softgoal-Based Plan Selection in Model-Driven BDI Agents (Page 749)
Ingrid Nunes (UFRGS)
Michael Luck (King's College London)

POMDP Planning and Execution in an Augmented Space (Page 757)
Marek Grzes (University of Waterloo)
Pascal Poupart (University of Waterloo)

(Return to Top)

Session A5 - Emotions

Modeling Facial Signs of Appraisal During Interaction: Impact on Users' Perception and Behavior (Page 765)
Matthieu Courgeon (University of South Brittany)
Céline Clavel (University of Paris South)
Jean-Claude Martin (University of Paris South)

Laughter Animation Synthesis (Page 773)
Yu Ding (Institute Mines-Télécom; Télécom Paristech; CNRS LTCI)
Ken Prepin (Institute Mines-Télécom; Télécom Paristech; CNRS LTCI)
Jing Huang (Institute Mines-Télécom; Télécom Paristech; CNRS LTCI)
Catherine Pelachaud (Institute Mines-Télécom; Télécom Paristech; CNRS LTCI)
Thierry Artičres (Université Pierre et Marie Curie (LIP6))

Gesture Generation with Low-Dimensional Embeddings (Page 781)
Chung-Cheng Chiu (University of Southern California)
Stacy Marsella (Northeastern University)

Intelligence Arms Race: Delayed Reward Increases Complexity of Agent Strategies (Page 789)
Hirotaka Osawa (University of Tsukuba)

Modeling Multiple Fields of Collective Emotions with Brownian Agent-Based Model (Page 797)
Wonsung Lee (Korea Advanced Institute of Science & Technology)
Sungrae Park (Korea Advanced Institute of Science & Technology)
Il-Chul Moon (Korea Advanced Institute of Science & Technology)

(Return to Top)

Session B5 - Energy

Efficient Coordinated Power Distribution on Private Infrastructure (Page 805)
Andrew Perrault (University of Toronto)
Craig Boutilier (University of Toronto)

Power Grid Defense Against Malicious Cascading Failure (Page 813)
Paulo Shakarian (U.S. Military Academy)
Hansheng Lei (U.S. Military Academy)
Roy Lindelauf (Netherlands Defence Academy)

Adaptive Home Heating Under Weather and Price Uncertainty Using GPs and MDPs (Page 821)
Mike Shann (Department of Informatics)
Sven Seuken (Department of Informatics)

Prediction-of-Use Games: A Cooperative Game Theory Approach to Sustainable Energy Tariffs (Page 829)
Meritxell Vinyals (University of Southampton)
Valentin Robu (University of Southampton)
Alex Rogers (University of Southampton)
Nicholas R. Jennings (University of Southampton)

(Return to Top)

Session C5 - Game Theory III

Lukasiewicz Games (Page 837)
Enrico Marchioni (Université Paul Sabatier)
Michael Wooldridge (University of Oxford)

Hard and Soft Equilibria in Boolean Games (Page 845)
Paul Harrenstein (University of Oxford)
Paolo Turrini (Imperial College London)
Michael Wooldridge (University of Oxford)

Evaluating Power of Agents from Dependence Relations in Boolean Games (Page 853)
Jonathan Ben-Naim (IRIT-CNRS, Toulouse University)
Emiliano Lorini (IRIT-CNRS, Toulouse University)

Nash Equilibria in Shared Effort Games (Page 861)
Gleb Polevoy (Delft University of Technology)
Stojan Trajanovski (Delft University of Technology)
Mathijs M. de Weerdt (Delft University of Technology)

(Return to Top)

Session A6 - Logic II

Strategy Games: A Renewed Framework (Page 869)
Fabio Mogavero (Universitŕ degli Studi di Napoli Federico II)
Aniello Murano (Universitŕ degli Studi di Napoli Federico II)
Luigi Sauro (Universitŕ degli Studi di Napoli Federico II)

Inconsistency Measurement Thanks to MUS Decomposition (Page 877)
Said Jabbour (CRIL - CNRS, University of Artois)
Yue Ma (TU Dresden)
Badran Raddaoui (CRIL - CNRS, University of Artois)

A STIT Logic Analysis of Social Influence (Page 885)
Emiliano Lorini (IRIT-CNRS, Toulouse University)
Giovanni Sartor (University of Bologna and European University Institute of Florence, Italy)

The Undecidability of Group Announcements (Page 893)
Thomas Agotnes (University of Bergen)
Hans van Ditmarsch (LORIA, CNRS - Universite de Lorraine)
Tim French (The University of Western Australia)

(Return to Top)

Session B6 - Task and Goods Allocation III

A New Analysis Method for Dynamic Distributed Constraint Satisfaction (Page 901)
Roger Mailler (University of Tulsa)
Huimin Zheng (University of Tulsa)

A Privacy-Preserving Algorithm for Distributed Constraint Optimization (Page 909)
Tal Grinshpoun (Ariel University & The Open University)
Tamir Tassa (The Open University)

A Mechanism to Optimally Balance Cost and Quality of Labeling Tasks Outsourced to Strategic Agents (Page 917)
Satyanath Bhat (Indian Institute of Science)
Swaprava Nath (Indian Statistical Institute)
Sujit Gujar (École Polytechnique Fédérale de Lausanne)
Onno Zoeter (Xerox Research Center Europe)
Y. Narahari (Indian Institute of Science)
Chris Dance (Xerox Research Center Europe)

Building THINC: User Incentivization and Meeting Rescheduling for Energy Savings (Page 925)
Jun-young Kwak (University of Southern California, Los Angeles)
Debarun Kar (University of Southern California, Los Angeles)
William Haskell (University of Southern California, Los Angeles)
Pradeep Varakantham (Singapore Management University)
Milind Tambe (University of Southern California, Los Angeles)

(Return to Top)

Session C6 - Agent Oriented Software Engineering II

Checking Consistency of Agent Designs Against Interaction Protocols for Early-Phase Defect Location (Page 933)
Yoosef Abushark (RMIT University)
John Thangarajah (RMIT University)
Tim Miller (University of Melbourne)
James Harland (RMIT University)

A Hybrid Approach for Fault Detection in Autonomous Physical Agents (Page 941)
Eliahu Khalastchi (Ben-Gurion University of the Negev)
Meir Kalech (Ben-Gurion University of the Negev)
Lior Rokach (Ben-Gurion University of the Negev)

Peer-Design Agents for Reliably Evaluating Distribution of Outcomes in Environments Involving People (Page 949)
Moshe Mash (Bar-Ilan University)
Raz Lin (Bar-Ilan University)
David Sarne (Bar-Ilan University)

Evaluating Coverage Based Intention Selection (Page 957)
Max Waters (RMIT)
Lin Padgham (RMIT)
Sebastian Sardina (RMIT)

(Return to Top)

Session D6 - Humans and Agents III

A Field Study of Human-Agent Interaction for Electricity Tariff Switching (Page 965)
Alper Alan (University of Southampton)
Enrico Costanza (University of Southampton)
Joel Fischer (University of Nottingham)
Sarvapali D. Ramchurn (University of Southampton)
Tom Rodden (University of Nottingham)
Nicholas R. Jennings (University of Southampton)

Robot Mood Is Contagious: Effects of Robot Body Language in the Imitation Game (Page 973)
Junchao Xu (Delft University of Technology)
Joost Broekens (Delft University of Technology)
Koen Hindriks (Delft University of Technology)
Mark A. Neerincx (TNO & Delft University of Technology)

Multi-Agent System for Recruiting Patients for Clinical Trials (Page 981)
Samhar Mahmoud (King's College London)
Gareth Tyson (Queen Mary London)
Simon Miles (King's College London)
Adel Taweel (King's College London)
Tjeerd Vanstaa (London School of Hygiene & Tropical Medicine)
Michael Luck (King's College London)
Brendan Delaney (King's College London)

An Agent for the Prospect Presentation Problem (Page 989)
Amos Azaria (Bar Ilan University)
Ariella Richardson (Jerusalem College of Technology)
Sarit Kraus (Bar Ilan University)

(Return to Top)

Session E6 - Mechanism Design I

On Regular and Approximately Fair Allocations of Indivisible Goods (Page 997)
Diodato Ferraioli (Sapienza Universitŕ di Roma)
Laurent Gourvčs (Université Paris-Dauphine)
Jérôme Monnot (Université Paris-Dauphine)

Truthful Mechanisms for Combinatorial AC Electric Power Allocation (Page 1005)
Chi-Kin Chau (Masdar Institute of Science & Technology)
Khaled Elbassioni (Masdar Institute of Science & Technology)
Majid Khonji (Masdar Institute of Science & Technology)

Price of Fairness in Kidney Exchange (Page 1013)
John P. Dickerson (Carnegie Mellon University)
Ariel D. Procaccia (Carnegie Mellon University)
Tuomas Sandholm (Carnegie Mellon University)

Incentives in Ridesharing with Deficit Control (Page 1021)
Dengji Zhao (Kyushu University)
Dongmo Zhang (University of Western Australia)
Enrico H. Gerding (University of Southampton)
Yuko Sakurai (Kyushu University)
Makoto Yokoo (Kyushu University)

(Return to Top)

Session A7 - Auctions

Combinatorial Auctions without Money (Page 1029)
Dimitris Fotakis (National Technical University of Athens)
Piotr Krysta (University of Liverpool)
Carmine Ventre (Teesside University)

Auction Mechanisms for Demand-Side Intermediaries in Online Advertising Exchanges (Page 1037)
Lampros C. Stavrogiannis (University of Southampton)
Enrico H. Gerding (University of Southampton)
Maria Polukarov (University of Southampton)

Auctioning a Cake: Truthful Auctions of Heterogeneous Divisible Goods (Page 1045)
Yonatan Aumann (Bar Ilan University)
Yair Dombb (Bar Ilan University)
Avinatan Hassidim (Bar Ilan University)

Equilibrium Strategies for Multi-Unit Sealed-Bid Auctions with Multi-Unit Demand Bidders (Page 1053)
Ioannis A. Vetsikas (National Center for Scientific Research)

(Return to Top)

Session B7 - Humans and Agents IV

SimSensei Kiosk: A Virtual Human Interviewer for Healthcare Decision Support (Page 1061)
David DeVault (USC Institute for Creative Technologies)
Ron Artstein (USC Institute for Creative Technologies)
Grace Benn (USC Institute for Creative Technologies)
Teresa Dey (USC Institute for Creative Technologies)
Ed Fast (USC Institute for Creative Technologies)
Alesia Gainer (USC Institute for Creative Technologies)
Kallirroi Georgila (USC Institute for Creative Technologies)
Jon Gratch (USC Institute for Creative Technologies)
Arno Hartholt (USC Institute for Creative Technologies)
Margaux Lhommet (USC Institute for Creative Technologies)
Gale Lucas (USC Institute for Creative Technologies)
Stacy Marsella (USC Institute for Creative Technologies)
Fabrizio Morbini (USC Institute for Creative Technologies)
Angela Nazarian (USC Institute for Creative Technologies)
Stefan Scherer (USC Institute for Creative Technologies)
Giota Stratou (USC Institute for Creative Technologies)
Apar Suri (USC Institute for Creative Technologies)
David Traum (USC Institute for Creative Technologies)
Rachel Wood (USC Institute for Creative Technologies)
Yuyu Xu (USC Institute for Creative Technologies)
Albert Rizzo (USC Institute for Creative Technologies)
Louis-Philippe Morency (USC Institute for Creative Technologies)

An Interactive Approach for Situated Task Specification Through Verbal Instructions (Page 1069)
Cetin Mericli (Carnegie Mellon University)
Steven D. Klee (Carnegie Mellon University)
Jack Paparian (Carnegie Mellon University)
Manuela Veloso (Carnegie Mellon University)

Offline Policy Evaluation Across Representations with Applications to Educational Games (Page 1077)
Travis Mandel (University of Washington)
Yun-En Liu (University of Washington)
Sergey Levine (Stanford University)
Emma Brunskill (Carnegie Mellon University)
Zoran Popovic (University of Washington)

Werewolves, Cheats, and Cultural Sensitivity (Page 1085)
Ruth Aylett (Heriot-Watt University)
Lynne Hall (University of Sunderland)
Sarah Tazzyman (University of Sunderland)
Birgit Endrass (University of Augsburg)
Elisabeth André (University of Augsburg)
Christopher Ritter (Heriot-Watt University)
Asad Nazir (Heriot-Watt University)
Ana Paiva (INESC-ID)
GertJan Höfstede (Wageningen University)
Arvid Kappas (Jacobs University)

(Return to Top)

Session C7 - Path Planning

Multi-Robot Adversarial Patrolling: Facing Coordinated Attacks (Page 1093)
Efrat Sless (Bar Ilan University)
Noa Agmon (Bar Ilan University)
Sarit Kraus (Bar Ilan University)

Gauss Meets Canadian Traveler: Shortest-Path Problems with Correlated Natural Dynamics (Page 1101)
Debadeepta Dey (Carnegie Mellon University)
Andrey Kolobov (Microsoft Research)
Rich Caruana (Microsoft Research)
Ece Kamar (Microsoft Research)
Eric Horvitz (Microsoft Research)
Ashish Kapoor (Microsoft Research)

Conservative Collision Prediction and Avoidance for Stochastic Trajectories in Continuous Time and Space (Page 1109)
Jan-Peter Calliess (Oxford University)
Michael Osborne (Oxford University)
Stephen J. Roberts (Oxford University)

Finding Coordinated Paths for Multiple Holonomic Agents in 2-D Polygonal Environment (Page 1117)
Pavel Janovský (Agent Techology Center)
Michal Cáp (Agent Techology Center)
Jirí Vokrínek (Agent Techology Center)

(Return to Top)

Session D7 - Learning II

Automatic Rule Identification for Agent-Based Crowd Models Through Gene Expression Programming (Page 1125)
Jinghui Zhong (Nanyang Technological University)
Linbo Luo (Nanyang Technological University)
Wentong Cai (Nanyang Technological University)
Michael Lees (University of Amsterdam)

Removing Redundant Conflict Value Assignments in Resolvent Based Nogood Learning (Page 1133)
Jimmy H.M. Lee (The Chinese University of Hong Kong)
Yuxiang Shi (The Chinese University of Hong Kong)

Fast Adaptive Learning in Repeated Stochastic Games by Game Abstraction (Page 1141)
Mohamed Elidrisi (University of Minnesota)
Nicholas Johnson (University of Minnesota)
Maria Gini (University of Minnesota)
Jacob Crandall (Masdar Institute of Science & Technology)

Avoiding Convergence in Cooperative Coevolution with Novelty Search (Page 1149)
Jorge Gomes (Instituto de Telecomunicaçőes / LabMAg - FCUL)
Pedro Mariano (LabMAg - FCUL)
Anders Lyhne Christensen (Instituto de Telecomunicaçőes / ISCTE-IUL)

(Return to Top)

Session E7 - Challenges

Challenges for Multi-Agent Coordination Theory Based on Empirical Observations (Page 1157)
Victor Lesser (University of Massachusetts, Amherst)
Daniel Corkill (University of Massachusetts, Amherst)

From Autistic to Social Agents (Page 1161)
Frank Dignum (Utrecht University)
Rui Prada (INESC-ID and Instituto Superior Tecnico)
Gert Jan Hofstede (Wageningen University)

Multiagent Systems for Social Computation (Page 1165)
Michael Rovatsos (The University of Edinburgh)

The Geometry of Desire (Page 1169)
Luis Antunes (University of Lisbon)
Davide Nunes (University of Lisbon)
Helder Coelho (University of Lisbon)

Computational Epidemiology as a Challenge Domain for Multiagent Systems (Page 1173)
Samarth Swarup (Virginia Tech)
Stephen G. Eubank (Virginia Tech)
Madhav V. Marathe (Virginia Tech)

(Return to Top)

Session A8 - Social Choice

Counting Votes for Aggregating Judgments (Page 1177)
Patricia Everaere (LIFL - CNRS)
Sébastien Konieczny (CRIL - CNRS)
Pierre Marquis (CRIL - CNRS)

Axiomatic Analysis of Aggregation Methods for Collective Annotation (Page 1185)
Justin Kruger (ILLC, University of Amsterdam)
Ulle Endriss (ILLC, University of Amsterdam)
Raquel Fernandez (ILLC, University of Amsterdam)
Ciyang Qing (ILLC, University of Amsterdam)

Finding Strategyproof Social Choice Functions via Sat Solving (Page 1193)
Felix Brandt (Technische Universität München)
Christian Geist (Technische Universität München)

Coexistence of Utilitarian Efficiency and False-Name-Proofness in Social Choice (Page 1201)
Julien Lesca (Kyushu University)
Taiki Todo (Kyushu University)
Makoto Yokoo (Kyushu University)

(Return to Top)

Session B8 - Algorithmic Game Theory II

Approximating the Shapley Value via Multi-Issue Decompositions (Page 1209)
Hossein Azari Soufiani (Harvard University)
David M. Chickering (Microsoft Research)
Denis X. Charles (Microsoft Research)
David C. Parkes (Harvard University)

Finding the Pareto Curve in Bimatrix Games is Easy (Page 1217)
Nicola Gatti (Politecnico di Milano)
Tuomas Sandholm (Carnegie Mellon University)

Strategy-Proof Matching with Regional Minimum Quotas (Page 1225)
Masahiro Goto (Kyushu University)
Naoyuki Hashimoto (Kyushu University)
Atsushi Iwasaki (University of Electro-Communications)
Yujiro Kawasaki (Kyushu University)
Suguru Ueda (Kyushu University)
Yosuke Yasuda (National Graduate Institute for Policy Studies)
Makoto Yokoo (Kyushu University)

Generalized Mirror Descents in Congestion Games with Splittable Flows (Page 1233)
Po-An Chen (National Chiao Tung University)
Chi-Jen Lu (Academia Sinica)

(Return to Top)

Session C8 - Learning III

Subjectivity Grouping: Learning from Users' Rating Behavior (Page 1241)
Hui Fang (Nanyang Technological University)
Jie Zhang (Nanyang Technological University)
Nadia Magnenat Thalmann (Nanyang Technological University)

Boosted and Reward-Regularized Classification for Apprenticeship Learning (Page 1249)
Bilal Piot (Supelec)
Matthieu Geist (Supelec)
Olivier Pietquin (University Lille 1)

Further Developments of Extensive-Form Replicator Dynamics Using the Sequence-Form Representation (Page 1257)
Marc Lanctot (Maastricht University)

Cortical Prediction Markets (Page 1265)
David Balduzzi (ETH Zurich)

(Return to Top)

Session D8 - Planning II

Planning with Macro-Actions in Decentralized POMDPs (Page 1273)
Christopher Amato (Massachusetts Institute of Technology)
George D. Konidaris (Massachusetts Institute of Technology)
Leslie P. Kaelbling (Massachusetts Institute of Technology)

Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Page 1281)
Jilles S. Dibangoye (INRIA - Université de Lorraine)
Christopher Amato (Massachusetts Institute of Technology)
Olivier Buffet (INRIA - Université de Lorraine)
François Charpillet (INRIA - Université de Lorraine)

Improving UCT Planning via Approximate Homomorphisms (Page 1289)
Nan Jiang (University of Michigan)
Satinder Singh (University of Michigan)
Richard Lewis (University of Michigan)

Linear Support for Multi-Objective Coordination Graphs (Page 1297)
Diederik M. Roijers (University of Amsterdam)
Shimon Whiteson (University of Amsterdam)
Frans A. Oliehoek (Maastricht University / University of Amsterdam)

(Return to Top)

Session E8 - Mechanism Design II

Fair Assignment of Indivisible Objects Under Ordinal Preferences (Page 1305)
Haris Aziz (NICTA and UNSW Australia)
Serge Gaspers (NICTA and UNSW Australia)
Simon Mackenzie (NICTA and UNSW Australia)
Toby Walsh (NICTA and UNSW Australia)

Incentive Compatible Two-Tiered Resource Allocation without Money (Page 1313)
Ruggiero Cavallo (Yahoo Labs)

Characterizing Conflicts in Fair Division of Indivisible Goods using a Scale of Criteria (Page 1321)
Sylvain Bouveret (LIG - Grenoble INP)
Michel Lemaître (Formerly Onera)

A Pomdp Based Approach to Optimally Select Sellers in Electronic Marketplaces (Page 1329)
Athirai A. Irissappane (Nanyang Technological University)
Frans A. Oliehoek (University of Amsterdam & Maastricht University)
Jie Zhang (Nanyang Technological University)

(Return to Top)

Poster Session 1 - Extended Abstracts 1

ASP-DPOP: Solving Distributed Constraint Optimization Problems with Logic Programming (Page 1337)
Tiep Le (New Mexico State University)
Tran Cao Son (New Mexico State University)
Enrico Pontelli (New Mexico State University)
William Yeoh (New Mexico State University)

GD-Gibbs: A GPU-Based Sampling Algorithm for Solving Distributed Constraint Optimization Problems (Page 1339)
Ferdinando Fioretto (New Mexico State University)
Federico Campeotto (New Mexico State University)
Luca Da Rin Fioretto (New Mexico State University)
William Yeoh (New Mexico State University)
Enrico Pontelli (New Mexico State University)

(Return to Top)

Decentralized Multi-Agent Reinforcement Learning in Average-Reward Dynamic DCOPs (Page 1341)
Duc Thien Nguyen (Singapore Management University)
William Yeoh (New Mexico State University)
Hoong Chuin Lau (Singapore Management University)
Shlomo Zilberstein (University of Massachusetts)
Chongjie Zhang (Massachusetts Institute of Technology)

Probabilistic Recharging Model in Uncertain Environments (Page 1343)
Zhao Song (The University of Texas at Austin)
Wen Sun (The University of North Carolina at Chapel Hill)

Optimizing Time and Convenience in Group Scheduling (Page 1345)
Hooyeon Lee (Stanford University)
Yoav Shoham (Stanford University)

Stable Group Scheduling (Page 1347)
Hooyeon Lee (Stanford University)
Yoav Shoham (Stanford University)

Adaptive Objective Selection for Correlated Objectives in Multi-Objective Reinforcement Learning (Page 1349)
Tim Brys (Vrije Universiteit Brussel)
Kristof Van Moffaert (Vrije Universiteit Brussel)
Ann Nowé (Vrije Universiteit Brussel)
Matthew E. Taylor (Washington State University)

(Return to Top)

A Human Morning Routine Dataset (Page 1351)
Michael Karg (Technische Universität München)
Alexandra Kirsch (University of Tübingen)

CLEANing the Reward: Counterfactual Actions to Remove Exploratory Action Noise in Multiagent Learning (Page 1353)
Chris HolmesParker (Parflux LLC)
Matthew E. Taylor (Washington State University)
Adrian Agogino (University of California at NASA Ames)
Kagan Tumer (Oregon State University)

Towards a Game Theoretic Approach for Defending Against Crime Diffusion (Page 1355)
Chao Zhang (University of Southern California)
Albert Xin Jiang (University of Southern California)
Martin Short (Georgia Institute of Technology)
P. Jeffrey Brantingham (University of California, Los Angeles)
Milind Tambe (University of Southern California)

Complexity of Manipulation, Bribery, and Campaign Management in Bucklin and Fallback Voting (Page 1357)
Piotr Faliszewski (AGH University)
Yannick Reisch (Heinrich-Heine-Universität Duesseldorf)
Jörg Rothe (Heinrich-Heine-Universität Duesseldorf)
Lena Schend (Heinrich-Heine-Universität Duesseldorf)

Low Cost Activity Recognition Using Depth Cameras and Context Dependent Spatial Regions (Page 1359)
Michael Karg (Technische Universität München)
Alexandra Kirsch (University of Tübingen)

(Return to Top)

A Note on the Undercut Procedure (Page 1361)
Haris Aziz (NICTA and University of New South Wales)

Security Games in the Field: An Initial Study on a Transit System (Page 1363)
Francesco M. Delle Fave (University of Southern California)
Matthew Brown (University of Southern California)
Chao Zhang (University of Southern California)
Eric Shieh (University of Southern California)
Albert X. Jiang (University of Southern California)
Heather Rosoff (University of Southern California)
Milind Tambe (University of Southern California)
John P. Sullivan (Los Angeles Country Sheriff's Department)

Control of Condorcet Voting: Complexity and a Relation-Algebraic Approach (Page 1365)
Rudolf Berghammer (Universität Kiel)
Henning Schnoor (Universität Kiel)

OBAA++: An Agent Architecture for Participating in Multiple Groups (Page 1367)
Denise M. Case (Kansas State University)
Scott A. DeLoach (Kansas State University)

Towards Quantifying the Completeness of BDI Goals (Page 1369)
John Thangarajah (RMIT University)
James Harland (RMIT University)
David N. Morley (SRI International)
Neil Yorke-Smith (American University of Beirut and University of Cambridge)

Utilizing Agent-Based Modeling to Gain New Insights into the Ancient Minoan Civilization (Page 1371)
Angelos Chliaoutakis (Technical University of Crete)
Georgios Chalkiadakis (Technical University of Crete)

Reasoning with Agent Preferences in Normative Multi-Agent Systems (Page 1373)
Jie Jiang (Delft University of Technology)
John Thangarajah (Royal Melbourne Institute of Technology)
Huib Aldewereld (Delft University of Technology)
Virginia Dignum (Delft University of Technology)

(Return to Top)

Bribery in Multiple-Adversary Path-Disruption Games Is Hard for the Second Level of the Polynomial Hierarchy (Page 1375)
Adrian Marple (Stanford University)
Anja Rey (Heinrich-Heine-Universität Duesseldorf)
Jörg Rothe (Heinrich-Heine-Universität Duesseldorf)

Evaluating Trust-Based Fusion Models for Participatory Sensing Applications (Page 1377)
Erfan Davami (University of Central Florida)
Gita Sukthankar (University of Central Florida)

A Practical Robustness Measure of Incentive Mechanisms (Page 1379)
Yuan Liu (Nanyang Technological University)
Jie Zhang (Nanyang Technological University)
Bo An (Nanyang Technological University)
Sandip Sen (The University of Tulsa)

An Asynchronous Algorithm to Improve Scheduling Quality in the Multiagent Simple Temporal Problem (Page 1381)
Vinicius De Antoni (Universidade Federal do Rio Grande do Sul)
Alvaro Moreira (Universidade Federal do Rio Grande do Sul)

Towards Safest Path Adversarial Coverage (Page 1383)
Roi Yehoshua (Bar Ilan University)
Noa Agmon (Bar Ilan University)
Gal A. Kaminka (Bar Ilan University)

A Biclustering-Based Approach to Filter Dishonest Advisors in Multi-Criteria E-Marketplaces (Page 1385)
Athirai A. Irissappane (Nanyang Technological University)
Siwei Jiang (Nanyang Technological University)
Jie Zhang (Nanyang Technological University)

An Agent for Deception Detection in Discussion Based Environments (Page 1387)
Amos Azaria (Bar Ilan University)
Ariella Richardson (Jerusalem College of Technology)
Sarit Kraus (Bar Ilan University)

Automated Agents' Behavior in the Trust-Revenge Game Incomparison to Other Cultures (Extended Abstract) (Page 1389)
Amos Azaria (Bar Ilan University)
Ariella Richardson (Jerusalem College of Technology)
Avshalom Elmalech (Bar Ilan University)
Avi Rosenfeld (Jerusalem College of Technology)

(Return to Top)

Advice Provision for Energy Saving in Automobile Climate Control Systems (Page 1391)
Amos Azaria (Bar Ilan University)
Sarit Kraus (Bar Ilan University)
Claudia V. Goldman (General Motors Advanced Technical Center)
Omer Tsimhoni (General Motors Advanced Technical Center)

Majority Bargaining for Resource Division (Page 1393)
Shaheen Fatima (Loughborough University)
Michael Wooldridge (Oxford University)

A Hybrid Approach to Model a Bayesian Network of Culture-Specific Behavior (Page 1395)
Birgit Endrass (Augsburg University)
Julian Frommel (Augsburg University)
Elisabeth André (Augsburg University)

The Education of a Crook: Reinforcement Learning in Social-Cultural Settings (Page 1397)
Taranjeet Singh Bhatia (University of Central Florida)
Saad Ahmad Khan (University of Central Florida)
Ladislau Bölöni (University of Central Florida)

A Rollback Conflict Solver for Integrating Agent-Based Simulations (Page 1399)
Dhirendra Singh (RMIT University)
Lin Padgham (RMIT University)

Modeling Curiosity for Virtual Learning Companions (Page 1401)
Qiong Wu (Nanyang Technological University)
Chunyan Miao (Nanyang Technological University)
Bo An (Nanyang Technological University)

Robust Anticipatory Stigmergic Collision Avoidance in Multi-Agent Systems (Page 1403)
Friedrich Burkhard von der Osten (The University of Melbourne)
Michael Kirley (The University of Melbourne)
Tim Miller (The University of Melbourne)

A Cooperative Multi-Agent System to Accurately Estimate Residential Energy Demand (Page 1405)
Márcia Baptista (National Institute of Informatics)
Helmut Prendinger (National Institute of Informatics)
Rui Prada (Universidade de Lisboa)
Yohei Yamaguchi (Osaka University)

An Agent-Based Simulation of the Battle of Kokenhausen (Page 1407)
Marcin Waniek (University of Warsaw)

Expressing Social Attitudes in Virtual Agents for Social Coaching (Page 1409)
Hazaël Jones (LIP6 - UPMC)
Mathieu Cholet (Institut Mines-Telecom ; Telecom ParisTech ; CNRS LTCI)
Magalie Ochs (Institut Mines-Telecom ; Telecom ParisTech ; CNRS LTCI)
Nicolas Sabouret (LIMSI - CNRS)
Catherine Pelachaud (Institut Mines-Telecom ; Telecom ParisTech ; CNRS LTCI)

(Return to Top)

Argumentation-Based Reinforcement Learning for RoboCup Soccer Takeaway (Page 1411)
Yang Gao (Imperial College London)
Francesca Toni (Imperial College London)

Advanced Service Schemes for a Self-Interested Information Platform (Page 1413)
Chen Hajaj (Bar-Ilan University)
David Sarne (Bar-Ilan University)
Lea Perets (Bar-Ilan University)

Towards Effective User-Guided Robot Search (Extended Abstract) (Page 1415)
Shahar Kosti (Bar Ilan University)
Gal A. Kaminka (Bar Ilan University)
David Sarne (Bar Ilan University)

Subjective Partial Cooperation in Multi-Agent Local Search (Page 1417)
Adi Eisen (Ben Gurion University of the Negev)
Lahan Mor (Ben Gurion University of the Negev)
Roie Zivan (Ben Gurion University of the Negev)

Asymptotic Collusion-Proofness of Voting Rules: The Case of Large Number of Candidates (Page 1419)
Palash Dey (Indian Institute of Science)
Y. Narahari (Indian Institute of Science)

Collective Decision Making in Distributed Systems Inspired by Honeybees Behaviour (Page 1421)
Andreagiovanni Reina (IRIDIA, CoDE, Université Libre de Bruxelles)
Marco Dorigo (IRIDIA, CoDE, Université Libre de Bruxelles)
Vito Trianni (ISTC, Italian National Research Council)

Modeling Agent Trustworthiness with Credibility for Message Recommendation in Social Networks (Page 1423)
Noel Sardana (University of Waterloo)
Robin Cohen (University of Waterloo)

(Return to Top)

A Quantitative Analysis of Decision Process in Social Groups Using Human Trajectories (Page 1425)
Truc Viet Le (Singapore Management University)
Siyuan Liu (Carnegie Mellon University)
Hoong Chuin Lau (Singapore Management University)
Ramayya Krishnan (Carnegie Mellon University)

Lp-Norm Based Algorithm for Multi-Objective Distributed Constraint Optimization (Page 1427)
Tenda Okimoto (National Institute of Informatics)
Nicolas Schwind (National Institute of Informatics)
Maxime Clement (National Institute of Informatics)
Katsumi Inoue (National Institute of Informatics)

Peer Designed Agents: Just Reflect or Also Affect? (Page 1429)
Avshalom Elmalech (Bar-Ilan University)
David Sarne (Bar-Ilan University)
Noa Agmon (Bar-Ilan University)

Distributing Coalition Value Calculations to Self-Interested Agents (Page 1431)
Luke Riley (University of Liverpool)
Terry R. Payne (University of Liverpool)
Trevor Bench-Capon (University of Liverpool)
Katie Atkinson (University of Liverpool)

Communicating with Unknown Teammates (Page 1433)
Samuel Barrett (The University of Texas at Austin)
Noa Agmon (Bar-Ilan University)
Noam Hazon (Ariel University)
Sarit Kraus (Bar-Ilan University & University of Maryland, College Park)
Peter Stone (The University of Texas at Austin)

Assessing Learned Models of Fish Schooling Behavior (Page 1435)
Brian Hrolenok (Georgia Institute of Technology)
Tucker Balch (Georgia Institute of Technology)

Formal Semantics of Speech Acts for Argumentative Dialogues (Page 1437)
Alison R. Panisson (Pontifical Catholic University of Rio Grande do Sul -- PUCRS)
Felipe Meneguzzi (Pontifical Catholic University of Rio Grande do Sul -- PUCRS)
Moser Silva Fagundes (Pontifical Catholic University of Rio Grande do Sul -- PUCRS)
Renata Vieira (Pontifical Catholic University of Rio Grande do Sul -- PUCRS)
Rafael H. Bordini (Pontifical Catholic University of Rio Grande do Sul -- PUCRS)

Power and Welfare in Noncooperative Bargaining for Coalition Structure Formation (Page 1439)
Shaheen Fatima (Loughborough University)
Tomasz Michalak (Oxford University)
Michael Wooldridge (Oxford University)

(Return to Top)

Distributed Multiagent Resource Allocation with Adaptive Preemption for Dynamic Tasks (Page 1441)
Graham Pinhey (University of Waterloo)
John Doucette (University of Waterloo)
Robin Cohen (University of Waterloo)

An Empirical Evaluation of Auction-Based Task Allocation in Multi-Robot Teams (Page 1443)
Eric Schneider (University of Liverpool)
Ofear Balas (Brooklyn College, City University of New York)
A. Tuna Özgelen (The Graduate Center, City University of New York)
Elizabeth I. Sklar (University of Liverpool)
Simon Parsons (University of Liverpool)

Behaviour Mining for Collision Avoidance in Multi-Robot Systems (Page 1445)
Jeffery Raphael (University of Liverpool)
Eric Schneider (University of Liverpool)
Simon Parsons (University of Liverpool)
Elizabeth I. Sklar (University of Liverpool)

TacTex'13: A Champion Adaptive Power Trading Agent (Page 1447)
Daniel Urieli (The University of Texas at Austin)
Peter Stone (The University of Texas at Austin)

Effective, Quantitative, Obscured Observation-Based Fault Detection in Multi-Agent Systems (Page 1449)
Michael Q. Lindner (Bar-Ilan University)
Noa Agmon (Bar-Ilan University)

Semi-Autonomous Intersection Management (Page 1451)
Tsz-Chiu Au (Ulsan National Institute of Science & Technology)
Shun Zhang (The University of Texas at Austin)
Peter Stone (The University of Texas at Austin)

Distributed, Complete, Multi-Robot Coverage of Initially Unknown Environments Using Repartitioning: Extended Abstract (Page 1453)
Kurt Hungerford (University of Nebraska, Omaha)
Prithviraj Dasgupta (University of Nebraska, Omaha)
K. R. Guruprasad (National Institute of Technology Karnataka)

An Architecture for Identifying Emergent Behavior in Multi-Agent Systems (Page 1455)
Lachlan Birdsey (The University of Adelaide)
Claudia Szabo (The University of Adelaide)

(Return to Top)

Generalized Second Price Auctions with Value Externalities (Page 1457)
Weidong Ma (Microsoft Research Asia)
Tao Wu (University of Science & Technology of China)
Tao Qin (Microsoft Research Asia)
Tie-Yan Liu (Microsoft Research Asia)

Emergence of Conventions in Conflict Situations in Complex Agent Network Environments (Page 1459)
Toshiharu Suagwara (Waseda University)

The RoboCup 2013 Drop-In Player Challenges: A Testbed for Ad Hoc Teamwork (Extended Abstract) (Page 1461)
Patrick MacAlpine (University of Texas at Austin)
Katie Genter (University of Texas at Austin)
Samuel Barrett (University of Texas at Austin)
Peter Stone (University of Texas at Austin)

SCRAM: Scalable Collision-Avoiding Role Assignment with Minimal-Makespan for Formational Positioning: (Extended Abstract) (Page 1463)
Patrick MacAlpine (University of Texas at Austin)
Eric Price (Massachusetts Institute of Technology)
Peter Stone (University of Texas at Austin)

An Efficient Algorithm for Taxi System Optimization (Page 1465)
Jiarui Gan (Chinese Academy of Sciences)
Bo An (Nanyang Technological University)
Chunyan Miao (Nanyang Technological University)

On Coordinating Pervasive Persuasive Agents (Page 1467)
Budhitama Subagdja (Nanyang Technological University)
Ah-Hwee Tan (Nanyang Technological University)

(Return to Top)

Sampling Based Multi-Agent Joint Learning for Association Rule Mining (Page 1469)
Junyi Xu (National University of Defense Technology)
Li Yao (National University of Defense Technology)
Le Li (National University of Defense Technology)
Yifan Chen (National University of Defense Technology)

Towards a Generic Approach for Multi-Level Modeling of Renewable Resources Management Systems (Page 1471)
Islem Hčnane (Manouba University)
Sameh Hadouaj (Carthage University)
Khaled Ghédira (Tunis University)
Ali Ferchichi (Carthage University)

Dynamic Allocation of Security Resources for Protecting Public Events (Page 1473)
Yue Yin (Institute of Computing Technology, University of Chinese Academy of Sciences)
Bo An (Nanyang Technological University)
Manish Jain (Virginia Tech)

Declarative-Procedural Memory Interaction in Learning Agents (Page 1475)
Wenwen Wang (Nanyang Technological University)
Ah-Hwee Tan (Nanyang Technological University)
Loo-Nin Teow (DSO National Laboratories, Singapore)
Yuan-Sin Tan (DSO National Laboratories, Singapore)

Checking EMTLK Properties of Timed Interpreted Systems via Bounded Model Checking (Page 1477)
Bozena Wozna-Szczesniak (Jan Dlugosz University)

A Pheromone-Based Traffic Management Model for Vehicle Re-Routing and Traffic Light Control (Page 1479)
Siwei Jiang (Nanyang Technological University)
Jie Zhang (Nanyang Technological University)
Yew-Soon Ong (Nanyang Technological University)

(Return to Top)

Poster Session 2 - Extended Abstracts 2

Strategic Guard Placement for Optimal Response to Alarms in Security Games (Extended Abstract) (Page 1481)
Nicola Basilico (University of Milan)
Nicola Gatti (Politecnico di Milano)

Cloud Service Selection Based on Contextual Subjective Assessment and Objective Assessment (Page 1483)
Lie Qu (Macquarie University)
Yan Wang (Macquarie University)
Mehmet A. Orgun (Macquarie University)
Ling Liu (Georgia Institute of Technology)
Athman Bouguettaya (RMIT University)

The Impact of Communication on a Human-Agent Shared Mental Model and Team Performance (Page 1485)
Nader Hanna (Macquarie University)
Deborah Richards (Macquarie University)

The Authorship Dilemma: Alphabetical Or Contribution? (Page 1487)
Margareta Ackerman (University of California, San Diego)
Simina Brânzei (University of Aarhus)

(Return to Top)

Goal Directed Policy Conflict Detection and Prioritisation: An Empirical Evaluation (Page 1489)
Mukta S. Aphale (University of Aberdeen)
Timothy J. Norman (University of Aberdeen)
Murat Sensoy (Özyegin University)

Characterizing Online Cost-Sharing Mechanisms For Demand Responsive Transport Systems (Page 1491)
Masabumi S. Furuhata (DWANGO Co., Ltd.)
Liron Cohen (University of Southern California)
Sven Koenig (University of Southern California)
Maged Dessouky (University of Southern California)
Fernando Ordonez (University of Southern California)

AORTA: Adding Organizational Reasoning to Agents (Page 1493)
Andreas Schmidt Jensen (Technical University of Denmark)
Virginia Dignum (Delft University of Technology)

Dynamic Multi-Agent Task Allocation with Spatial and Temporal Constraints (Page 1495)
Sofia Amador (Ben-Gurion University of the Negev)
Steven Okamoto (Ben-Gurion University of the Negev)
Roie Zivan (Ben-Gurion University of the Negev)

Hardware-Based Agent Modelling: Event-Driven Reactive Architecture (EDRA): (Extended Abstract) (Page 1497)
Eduardo A. Gerlein (University of Ulster)
T. M. McGinnity (University of Ulster)
Ammar Belatreche (University of Ulster)
Sonya Coleman (University of Ulster)
Yuhua Li (University of Ulster)

Why Should We Imitate Robots? (Page 1499)
Yasser F. O. Mohammad (Assiut University)
Toyoaki Nishida (Kyoto University)

On Understanding Diffusion Dynamics of Patrons at a Theme Park (Page 1501)
Jiali Du (Singapore Management University)
Akshat Kumar (Singapore Management University)
Pradeep Varakantham (Singapore Management University)

Event-Action Modules for Complex Reactivity in Logical Agents (Page 1503)
Stefania Costantini (University of L'Aquila)
Régis Riveret (Imperial College)

(Return to Top)

Mechanisms for Arranging Ride Sharing and Fare Splitting for Last-Mile Travel Demands (Page 1505)
Shih-Fen Cheng (Singapore Management University)
Duc Thien Nguyen (Singapore Management University)
Hoong Chuin Lau (Singapore Management University)

Context-Sensitive Sharedness Criteria for Teamwork (Page 1507)
Maaike Harbers (Delft University of Technology)
Catholijn M. Jonker (Delft University of Technology)
M. Birna van Riemsdijk (Delft University of Technology)

Automated Strategy Adaptation for Multi-times Bilateral Closed Negotiations (Page 1509)
Katsuhide Fujita (Tokyo University of Agriculture and Technology)

Stable Matching Problems with Soft Constraints (Page 1511)
Maria Silvia Pini (University of Padova)
Francesca Rossi (University of Padova)
Kristen Brent Venable (Tulane University & IHMC)

Diagnosing Faults in a Temporal Multi-Agent Resource Allocation (Extended Abstract) (Page 1513)
Yedidya Bar-Zev (Ben-Gurion University of the Negev)
Roni Stern (Ben-Gurion University of the Negev)
Meir Kalech (Ben-Gurion University of the Negev)

Design and Experimental Evaluation of Market Mechanisms for Participatory Sensing Environments (Page 1515)
George Thanos (Athens University of Economics and Business)
Costas Courcoubetis (Athens University of Economics and Business and Singapore University of Technology and Design)
Evangelos Markakis (Athens University of Economics and Business)
George D. Stamoulis (Athens University of Economics and Business)

Multi-Agent Simulation Based Control of Complex Systems (Page 1517)
Tomas Navarrete Gutiérrez (CRPHT, CRTE)
Laurent Ciarletta (Universite de Lorraine-LORIA)
Vincent Chevrier (Universite de Lorraine-LORIA)

One-Way Games (Page 1519)
Andres Abeliuk (NICTA and University of Melbourne)
Gerardo Berbeglia (NICTA and Melbourne Business School)
Pascal Van Hentenryck (NICTA and Australian National University)

(Return to Top)

Decision-Theoretic Approach to Maximizing Fairness in Multi-Target Observation in Multi-Camera Surveillance (Page 1521)
Prabhu Natarajan (National University of Singapore)
Kian Hsiang Low (National University of Singapore)
Mohan Kankanhalli (National University of Singapore)

Norm Monitoring with Asymmetric Information (Page 1523)
Felipe Meneguzzi (PUCRS)
Brian Logan (University of Nottingham)
Moser Silva Fagundes (PUCRS)

People Are Processors: Coalitional Auctions for Complex Projects (Page 1525)
Piotr Skowron (University of Warsaw)
Krzysztof Rzadca (University of Warsaw)
Anwitaman Datta (Nanyang Technological University)

Security Games with Partial Surveillance (Page 1527)
Youzhi Zhang (Sun Yat-sen University)
Xudong Luo (Sun Yat-sen University)

Social Network Analysis for Judgment Aggregation (Page 1529)
Silvano Colombo Tosatto (University of Luxembourg)
Marc van Zee (University of Luxembourg)

Team Formation with Learning Agents that Improve Coordination (Page 1531)
Somchaya Liemhetcharat (Institute for Infocomm Research)
Manuela Veloso (Carnegie Mellon University)

Evaluating the Believability of Virtual Agents with Anticipatory Abilities (Page 1533)
Quentin Reynaud (UPMC University, Thales Training and Simulation, and LIP6)
Jean-Yves Donnart (Thales Training and Simulation)
Vincent Corruble (LIP6)

(Return to Top)

Knowledge Revision for Reinforcement Learning with Abstract MDPs (Page 1535)
Kyriakos Efthymiadis (The University of York)
Sam Devlin (The University of York)
Daniel Kudenko (The University of York)

Sample Efficiency Improvement on Neuroevolution via Estimation-Based Elimination Strategy (Page 1537)
Shengbo Xu (The University of Tokyo)
Yuki Inoue (The University of Tokyo)
Tetsunari Inamura (National Institute of Informatics)
Hirotaka Moriguchi (Carnegie Mellon University)
Shinichi Honiden (The University of Tokyo)

Minimal Extending Sets in Tournaments (Page 1539)
Felix Brandt (Technische Universität München)
Paul Harrenstein (University of Oxford)
Hans Georg Seedig (Technische Universität München)

Modeling Heterogeneous Speed Profiles in Discrete Models for Pedestrian Simulation (Page 1541)
Stefania Bandini (University of Milano-Bicocca)
Luca Crociani (University of Milano-Bicocca)
Giuseppe Vizzari (University of Milano-Bicocca)

Orienting a Flock via Ad Hoc Teamwork (Page 1543)
Katie Genter (University of Texas at Austin)
Peter Stone (University of Texas at Austin)

Empirical Investigation on Pedestrian Dynamics in Presence of Groups: A Real World Case Study (Page 1545)
Stefania Bandini (University of Milano-Bicocca)
Luca Crociani (University of Milano-Bicocca)
Andrea Gorrini (University of Milano-Bicocca)
Giuseppe Vizzari (University of Milano-Bicocca)

Agent-Coordinated Virtual Power Plants of Electric Vehicles (Page 1547)
Micha Kahlen (Erasmus University Rotterdam)
Wolfgang Ketter (Erasmus University Rotterdam)
Jan van Dalen (Erasmus University Rotterdam)

(Return to Top)

A Resource-Sensitive Account of the Use of Artifacts (Page 1549)
Daniele Porello (ISTC-CNR)
Nicolas Troquard (ISTC-CNR)

Monte Carlo Bayesian Hierarchical Reinforcement Learning (Page 1551)
Vien Anh Ngo (University of Stuttgart)
Hung Ngo (IDSIA)
Wolfgang Ertel (Ravensburg-Weingarten University of Applied Sciences)

Conflicting Viewpoint Relational Database Querying: An Argumentation Approach (Page 1553)
Nouredine Tamani (INRIA/LIRMM GraphiK)
Madalina Croitoru (LIRMM Graphik UM2)
Patrice Buche (UMR IATE INRA)

A Novel Ex-Post Truthful Mechanism for Multi-Slot Sponsored Search Auctions (Page 1555)
Debmalya Mandal (Indian Institute of Science)
Yadati Narahari (Indian Institute of Science)

A Consistency Based Approach of Action Model Learning in a Community of Agents (Page 1557)
Christophe Rodrigues (Université Paris 13, Sorbonne Paris Cité)
Henry Soldano (Université Paris 13, Sorbonne Paris Cité)
Gauvain Bourgne (Université Pierre et Marie Curie, Sorbonne Universités)
Céline Rouveirol (Université Paris 13, Sorbonne Paris Cité)

Team Behavior in Interactive Dynamic Influence Diagrams with Applications to Ad Hoc Teams (Page 1559)
Muthukumaran Chandrasekaran (University of Georgia)
Prashant Doshi (University of Georgia)
Yifeng Zeng (Teesside University)
Yingke Chen (Queen's University Belfast)

(Return to Top)

Agents with Truly Perfect Recall in Alternating-Time Temporal Logic (Page 1561)
Nils Bulling (Clausthal University of Technology)
Wojciech Jamroga (University of Luxembourg)
Matei Popovici (POLITEHNICA University of Bucharest)

Using Reward/Utility Based Impact Scores in Partitioning (Page 1563)
William Curran (Oregon State University)
Adrian Agogino (NASA AMES Research Center)
Kagan Tumer (Oregon State University)

A Game-Theoretic Approach for Threats Detection and Intervention in Surveillance (Page 1565)
Wenjun Ma (Queen's University Belfast)
Weiru Liu (Queen's University Belfast)
Paul Miller (Queen's University Belfast)
Xudong Luo (Sun Yat-sen University)

A Statistical Model Checker for Situation Calculus Based Multi-Agent Models (Page 1567)
Christian Kroiß (Ludwig-Maximilians-Universität München)

Open Census for Addressing False Identity Attacks in Agent-based Decentralized Social Networks (Page 1569)
Song Qin (Florida Institute of Technology)
Marius C. Silaghi (Florida Institute of Technology)
Ihsan Hussien (Florida Institute of Technology)
Makoto Yokoo (Kyushu University)
Toshihiro Matsui (Nagoya Institute of Technology)
Katsutoshi Hirayama (Kobe University)

Leveraging Social Networks to Motivate Humans to Train Agents (Page 1571)
Guangliang Li (University of Amsterdam)
Hayley Hung (Delft University of Technology)
Shimon Whiteson (University of Amsterdam)
W. Bradley Knox (Massachusetts Institute of Technology)

A Judgment Set Similarity Measure Based on Prime Implicants (Page 1573)
Marija Slavkovik (University of Bergen)
Thomas Ĺgotnes (University of Bergen)

Comparison and Validation of Synthetic Social Contact Networks for Epidemic Modeling (Page 1575)
Huadong Xia (Virginia Tech)
Jiangzhuo Chen (Virginia Tech)
Madhav V. Marathe (Virginia Tech)
Samarth Swarup (Virginia Tech)

(Return to Top)

Approximating Difference Evaluations with Local Knowledge (Page 1577)
Mitchell Colby (Oregon State University)
William Curran (Oregon State University)
Carrie Rebhuhn (Oregon State University)
Kagan Tumer (Oregon State University)

Multiagent Metareasoning Through Organizational Design (Extended Abstract) (Page 1579)
Jason Sleight (University of Michigan)
Edmund H. Durfee (University of Michigan)

Run-Time Norm Compliance in BDI Agents (Page 1581)
JeeHang Lee (University of Bath)
Julian Padget (University of Bath)
Brian Logan (University of Nottingham)
Daniela Dybalova (University of Nottingham)
Natasha Alechina (University of Nottingham)

A Self-Organizing Model for Decentralized Virtual Environments in Agent-Based Simulation Systems (Page 1583)
Mohammad Al-Zinati (University of Texas at Dallas)
Rym Zalila Wenkstern (University of Texas at Dallas)

CONAN: A heuristic strategy for COncurrent Negotiating AgeNts (Page 1585)
Bedour Alrayes (Royal Holloway, University of London)
Özgür Kafali (Royal Holloway, University of London)
Kostas Stathis (Royal Holloway, University of London)

Multiagent Coordination for Demand Management with Energy Generation and Storage (Page 1587)
Ronghuo Zheng (Carnegie Mellon University)
Ying Xu (Carnegie Mellon University)
Nilanjan Chakraborty (Carnegie Mellon University)
Katia Sycara (Carnegie Mellon University)

Simulation-Based Behavior Tracking of Pedestrians in Partially Observed Indoor Environments (Page 1589)
Arsčne Fansi T. (Université de Lorraine, INRIA - LORIA & Thales Services)
Vincent Thomas (Université de Lorraine, INRIA - LORIA)
Olivier Buffet (Université de Lorraine, INRIA - LORIA)
Fabien Flacher (Thales Services)
Alain Dutech (Université de Lorraine, INRIA - LORIA)

Learning to Schedule Electric Vehicle Charging Given Individual Customer Preferences (Page 1591)
Konstantina Valogianni (Erasmus University Rotterdam)
Wolfgang Ketter (Erasmus University Rotterdam)
John Collins (University of Minnesota)

Topology Aware Convention Emergence (Page 1593)
Mohammad Rashedul Hasan (University of North Carolina at Charlotte)
Sherief Abdallah (The British University in Dubai)
Anita Raja (University of North Carolina at Charlotte)

Mission-Adaptive Crowd Navigation for Mobile Robots (Page 1595)
Saad Arif (University of Central Florida)
Saad Ahmed Khan (University of Central Florida)
Ladislau Bölöni (University of Central Florida)

(Return to Top)

Overcoming Information Overload with Artificial Selective Agents (Page 1597)
Luis Macedo (University of Coimbra)
Hernani Costa (University of Coimbra)
Amilcar Cardoso (University of Coimbra)

Fixed-Parameter Tractability of Integer Generalized Scoring Rules (Page 1599)
Lirong Xia (Rensselaer Polytechnic Institute)

Demand-Based Apportionment on Electricity Payment of HVAC Systems (Page 1601)
Yi-ting Tsao (National Taiwan University)
Chiao-Ching Huang (National Taiwan University)
Jane Yung-jen Hsu (National Taiwan University)

Attribute Based Object Recognition by Human Language (Page 1603)
Zhe Zhao (University of Science & Technology of China)
Jiongkun Xie (University of Science & Technology of China)
Xiaoping Chen (University of Science & Technology of China)

Correlated Multi-Dimensional QoS Metrics for Trust Evaluation within Web Services (Page 1605)
Mohamad Mehdi (Concordia University)
Nizar Bouguila (Concordia University)
Jamal Bentahar (Concordia University)

Mechanism Design for Route Allocation in Multiple-Commodity Network (Page 1607)
Qipeng Liu (Tsinghua University)
Yicheng Liu (Tsinghua University)
Pingzhong Tang (Tsinghua University)

A Quality Assuring Multi-Armed Bandit Crowdsourcing Mechanism with Incentive Compatible Learning (Page 1609)
Shweta Jain (Indian Institute of Science)
Sujit Gujar (École Polytechnique Fédérale de Lausanne)
Onno Zoeter (Xerox Research Center Europe)
Y. Narahari (Indian Institute of Science)

(Return to Top)

Policy Optimization by Marginal-MAP Probabilistic Inference in Generative Models (Page 1611)
Igor Kiselev (University of Waterloo)
Pascal Poupart (University of Waterloo)

Truthful Mechanisms for the Location of Different Facilities (Page 1613)
Paolo Serafino (Teesside University)
Carmine Ventre (Teesside University)

Joy, Distress, Hope, and Fear in Reinforcement Learning (Page 1615)
Elmer Jacobs (TU Delft)
Joost Broekens (TU Delft)
Catholijn Jonker (TU Delft)

Solving Adversarial Patrolling Games with Bounded Error (Page 1617)
Michal Abaffy (Masaryk University)
TomᚠBrázdil (Masaryk University)
Vojtech Rehák (Masaryk University)
Branislav Bošanský (Czech Technical University in Prague)
Antonín Kucera (Masaryk University)
Jan Krcál (Saarland University)

Cooperation-Eliciting Prisoner's Dilemma Payoffs for Reinforcement Learning Agents (Page 1619)
Koichi Moriyama (Osaka University)
Satoshi Kurihara (The University of Electro-Communications)
Masayuki Numao (Osaka University)

Neural-Symbolic Cognitive Agents: Architecture, Theory and Application (Page 1621)
Leo de Penning (TNO)
Artur S. d'Avila Garcez (City University)
Luis C. Lamb (UFRGS)
John-Jules C. Meyer (Utrecht University)

(Return to Top)

Demo Papers

Distributed Enterprise Search Using Software Agents (Page 1623)
Erwin Gunadi (Technische Universität Berlin)
Michael Meder (Technische Universität Berlin)
Till Plumbaum (Technische Universität Berlin)
Christian Scheel (Technische Universität Berlin)
Frank Hopfgartner (Technische Universität Berlin)
Sahin Albayrak (Technische Universität Berlin)

Scrutable Plan Enactment via Argumentation and Natural Language Generation (Page 1625)
Martin Caminada (The University of Aberdeen)
Roman Kutlak (The University of Aberdeen)
Nir Oren (The University of Aberdeen)
Wamberto W. Vasconcelos (The University of Aberdeen)

MobiCrowd: Simulating Crowds with Periodic and Social Mobility (Page 1627)
Cheng-Te Li (National Taiwan University)
Hsun-Ping Hsieh (National Taiwan University)

A Testbed to Evaluate the Robustness of Reputation Systems in E-Marketplaces (Page 1629)
Athirai A. Irissappane (Nanyang Technological University)
Jie Zhang (Nanyang Technological University)

Building a Personalized Tourist Attraction Recommender System Using Crowdsourcing (Page 1631)
Yoram Bachrach (Microsoft Research)
Sofia Ceppi (Microsoft Research)
Ian A. Kash (Microsoft Research)
Peter Key (Microsoft Research)
Filip Radlinski (Microsoft Research)
Ely Porat (Bar Ilan University)
Michael Armstrong (Microsoft Research)
Vijay Sharma (Microsoft Research)

(Return to Top)

Big Brother Logic: Reasoning about Agents Equipped with Surveillance Cameras in the Plane (Demonstration) (Page 1633)
Tristan Charrier (ENS Rennes)
Florent Ouchet (ENS Rennes)
François Schwarzentruber (ENS Rennes)

A Testbed for Autonomous Robot Surveillance (Page 1635)
Stefan J. Witwicki (École Polytechnique Fédérale de Lausanne)
José Carlos Castillo (Universidad Carlos III de Madrid)
Jesús Capitán (University of Seville)
Joăo V. Messias (Universidade de Lisboa)
Joăo C. Reis (Universidade de Lisboa)
Pedro U. Lima (Universidade de Lisboa)
Francisco S. Melo (Universidade de Lisboa)
Matthijs T.J. Spaan (Delft University of Technology)

Adding BDI Agents to MATSim Traffic Simulator (Page 1637)
Qingyu Chen (RMIT University)
Arie Wilsher (RMIT University)
Dhirendra Singh (RMIT University)
Lin Padgham (RMIT University)

Tactics Development Framework (Demonstration) (Page 1639)
Rick Evertsz (RMIT University)
John Thangarajah (RMIT University)
Nitin Yadav (RMIT University)
Thanh Li (DSTO)

PAWS: Adaptive Game-Theoretic Patrolling for Wildlife Protection (Page 1641)
Benjamin Ford (University of Southern California)
Debarun Kar (University of Southern California)
Francesco M. Delle Fave (University of Southern California)
Rong Yang (University of Southern California)
Milind Tambe (University of Southern California)

(Return to Top)

Measuring the Effect of Personality on Human-IVA Shared Understanding (Page 1643)
Nader Hanna (Macquarie University)
Deborah Richards (Macquarie University)

An Extensive Model Checking Framework for Multi-Agent Systems (Page 1645)
Songzheng Song (Nanyang Technological University)
Yang Liu (Nanyang Technological University)
Jie Zhang (Nanyang Technological University)
Jun Sun (Singapore University of Technology and Design)

Engineering JIAC Multi-Agent Systems: (Demonstration) (Page 1647)
Marco Lützenberger (Technische Universität Berlin)
Thomas Konnerth (Technische Universität Berlin)
Tobias Küster (Technische Universität Berlin)
Jakob Tonn (Technische Universität Berlin)
Nils Masuch (Technische Universität Berlin)
Sahin Albayrak (Technische Universität Berlin)

Your Digital Image: Factors Behind Demographic and Psychometric Predictions from Social Network Profiles (Page 1649)
Yoram Bachrach (Microsoft Research)
Thore Graepel (Microsoft Research)
Pushmeet Kohli (Microsoft Research)
Michal Kosinski (University of Cambridge)
David Stillwell (University of Cambridge)

Request Driven Social Sensing (Page 1651)
Thomas C. King (TU Delft)
Qingzhi Liu (TU Delft)
Gleb Polevoy (TU Delft)
Mathijs de Weerdt (TU Delft)
Virginia Dignum (TU Delft)
M. Birna van Riemsdijk (TU Delft)
Martijn Warnier (TU Delft)

Building a Narrative Conversational Agent Using a Component-Based Architecture (Page 1653)
William Boisseleau (INSA de Rouen)
Ovidiu Serban (University of Reading)
Alexandre Pauchet (INSA de Rouen)

(Return to Top)

Follow the Leader in a Consensus Network as a Solution to Manage a Smart Grid: The Balearic Islands Case (Page 1655)
Miguel Rebollo (Universitat Politčcnica de Valčncia)
Carlos Carrascosa (Universitat Politčcnica de Valčncia)
Alberto Palomares (Universitat Politčcnica de Valčncia)

An Interactive Virtual Audience Platform for Public Speaking Training (Page 1657)
Mathieu Chollet (University of Southern California)
Giota Sratou (University of Southern California)
Ari Shapiro (University of Southern California)
Louis-Philippe Morency (University of Southern California)
Stefan Scherer (University of Southern California)

Shape and Texture Based Facial Action and Emotion Recognition (Page 1659)
Li Zhang (Northumbria University)
Kamlesh Mistry (Northumbria University)
Alamgir Hossain (Northumbria University)

A Multi-Agent Game for Studying Human Decision-Making (Page 1661)
Han Yu (Nanyang Technological University)
Xinjia Yu (Nanyang Technological University)
Su Fang Lim (Nanyang Technological University)
Jun Lin (Nanyang Technological University)
Zhiqi Shen (Nanyang Technological University)
Chunyan Miao (Nanyang Technological University)

An Agent-Based Game for the Predictive Diagnosis of Parkinson's Disease (Page 1663)
Yundong Cai (Nanyang Technological University)
Zhiqi Shen (Nanyang Technological University)
Siyuan Liu (Nanyang Technological University)
Han Yu (Nanyang Technological University)
Xiaogang Han (Nanyang Technological University)
Jun Ji (Nanyang Technological University)
Martin J. McKeown (Nanyang Technological University & The University of British Columbia)
Cyril Leung (Nanyang Technological University & The University of British Columbia)
Chunyan Miao (Nanyang Technological University)

Ipseity: An Open-Source Platform for Synthesizing and Validating Artificial Cognitive Systems in MAS (Page 1665)
Fabrice Lauri (IRTES-SeT)
Abderrafiaa Koukam (IRTES-SeT)

(Return to Top)

Multi-Agent GIS System for Improved Spatial Load Forecasting (Page 1667)
Cruz E. Borges (Deusto Institute of Technology, University of Deusto)
Oihane Kamara Esteban (Deusto Institute of Technology, University of Deusto)
Ander Pijoan (Deusto Institute of Technology, University of Deusto)
Yoseba K. Penya (Deusto Institute of Technology, University of Deusto)

TENDENKO: Agent-Based Evacuation Drill and Emergency Planning System (Page 1669)
Masaru Okaya (Meijo University)
Toshinori Niwa (Meijo University)
Tomoichi Takahashi (Meijo University)

Agent-Based Simulation Testbed for On-Demand Transport Services (Page 1671)
Michal Certický (Czech Technical University)
Michal Jakob (Czech Technical University)
Radek Píbil (Czech Technical University)
Zbynek Moler (Czech Technical University)

Switching Between Levels of Decision Making in MAS Organisation: Application to Flexible Assembly Cells (Page 1673)
Cyrille Pach (Univ. Lille Nord de France)
Emmanuel Adam (Univ. Lille Nord de France)
Thierry Berger (Univ. Lille Nord de France)
Damien Trentesaux (Univ. Lille Nord de France)

I'm the Mayor: A Robot Tutor in Enercities-2 (Page 1675)
Tiago Ribeiro (INESC-ID & Instituto Superior Técnico - University of Lisbon)
André Pereira (INESC-ID & Instituto Superior Técnico - University of Lisbon)
Amol Deshmukh (School of Mathematical and Computer Sciences, Heriot-Watt University)
Ruth Aylett (School of Mathematical and Computer Sciences, Heriot-Watt University)
Ana Paiva (INESC-ID & Instituto Superior Técnico - University of Lisbon)

Sustainable Relationship with Product by Implementing Intentional Interaction (Page 1677)
Hirotaka Osawa (University of Tsukuba)

Micro Smart Grids and Electromobility Charging Optimisation with a Distributed Agent Application: Demonstration (Page 1679)
Christopher-Eyk Hrabia (Technische Universität Berlin, DAI-Labor)
Marco Lützenberger (Technische Universität Berlin, DAI-Labor)
Tobias Küster (Technische Universität Berlin, DAI-Labor)
Sahin Albayrak (Technische Universität Berlin, DAI-Labor)

(Return to Top)

Applied Robotics: Precision Placement in RoboCup@Work (Page 1681)
Sjriek Alers (Maastricht University)
Daniel Claes (University of Liverpool)
Joscha Fossel (University of Liverpool)
Daniel Hennes (European Space Agency)
Karl Tuyls (University of Liverpool)

Biologically Inspired Multi-Robot Foraging (Page 1683)
sjriek Alers (Maastricht University)
Daniel Claes (University of Liverpool)
Karl Tuyls (University of Liverpool)
Gerhard Weiss (Maastricht University)

Logic-based and Robust Decision Making for Robots in Real World (Page 1685)
Megumi Fujita (Nara Women's University)
Yuki Goto (Kyoto University)
Naoyuki Nide (Nara Women's University)
Ken Satoh (National Institute of Informatics)
Hiroshi Hosobe (Hosei University)

MIXER: Why the Difference? (Page 1687)
Asad Nazir (Heriot-Watt University)
Ruth Aylett (Heriot-Watt University)
Mei Yii Lim (Heriot-Watt university)
Birgit Endrass (Augsburg University)
Lynne Hall (University of Sunderland)
Christopher Ritter (Heriot-Watt University,)

Platys: A Framework for Supporting Context-Aware Personal Agents (Page 1689)
Pradeep K. Murukannaiah (North Carolina State University)
Ricard Fogues (North Carolina State University)
Munindar P. Singh (North Carolina State University)

Multi-Agent Traffic Simulation for Human-in-the-Loop Cooperative Drive Systems Testing (Page 1691)
Jiri Vokrinek (Czech Technical University in Prague)
Martin Schaefer (Czech Technical University in Prague)
Daniele Pinotti (RE:Lab s.r.l.)

(Return to Top)

AtomicOrchid: Human-Agent Collectives to the Rescue (Page 1693)
Sarvapali D. Ramchurn (University of Southampton)
Feng Wu (University of Southampton)
Wenchao Jiang (University of Nottingham)
Joel E. Fischer (University of Nottingham)
Steve Reece (University of Oxford)
Chris Greenhalgh (University of Nottingham)
Tom Rodden (University of Nottingham)
Nicholas R. Jennings (University of Southampton)
Stephen Roberts (University of Oxford)

MAS-Planes: A Multi-Agent Simulation Environment to Investigate Decentralised Coordination for Teams of UAVs (Page 1695)
Marc Pujol-Gonzalez (IIIA-CSIC)
Jesus Cerquides (IIIA-CSIC)
Pedro Meseguer (IIIA-CSIC)

NormLab: A Framework to Support Research on Norm Synthesis (Page 1697)
Javier Morales (IIIA-CSIC)
Iosu Mendizabal (IIIA-CSIC)
David Sanchez-Pinsach (University of Barcelona)
Maite Lopez-Sanchez (University of Barcelona)
Michael Wooldridge (University of Oxford)
Wamberto Vasconcelos (University of Aberdeen)

Semi-Automated Construction of Adversarial Agents for Trainable Automated Forces. (Page 1699)
Robert G. Abbott (Sandia National Labs)
Kiran Lakkaraju (Sandia National Labs)
Christina Warrender (Sandia National Labs)

(Return to Top)

Doctoral Consortium Abstracts

Robust Dynamic Optimization with Application to Kidney Exchange (Page 1701)
John P. Dickerson (Carnegie Mellon University)

Self-Organized Collective Decision-Making in Swarms of Autonomous Robots (Page 1703)
Gabriele Valentini (Université Libre de Bruxelles)

Competing Demand-Side Intermediary Auctioneers in Online Advertising Exchanges (Page 1705)
Lampros C. Stavrogiannis (University of Southampton)

Engineering Multigroup Agents for Complex Cooperative Systems (Page 1707)
Denise M. Case (Kansas State University)

Algorithmic and Game-Theoretic Approaches to Group Scheduling (Page 1709)
Hooyeon Lee (Stanford University)

Body Language of Humanoid Robots for Mood Expression (Page 1711)
Junchao Xu (Delft University of Technology)

(Return to Top)

Robust Trust Management (Page 1713)
Athirai A. Irissappane (Nanyang Technological University)

Agent-Based Methods for Eliciting Customer Preferences to Guide Decision-Making in Complex Energy Networks (Page 1715)
Micha Kahlen (Erasmus University Rotterdam)

Parallel Algorithms for Hard Combinatorial Optimisation Problems in Multi-Agent Systems (Page 1717)
Filippo Bistaffa (University of Verona)

Considerations for Multiagent Multi-Objective Systems (Page 1719)
Logan Yliniemi (Oregon State University)

Reflective, Deliberative Information Gathering (Doctoral Consortium) (Page 1721)
Adam Eck (University of Nebraska-Lincoln)

Social Motivation and Point of View (Page 1723)
Allen Lavoie (Washington University in St. Louis)

Distributed Constraint Optimization for Mobile Sensor Teams (Page 1725)
Harel Yedidsion (Ben Gurion University of the Negev)

Convex Coverage Set Methods for Multi-Objective Collaborative Decision Making (Page 1727)
Diederik M. Roijers (University of Amsterdam)

Evolution of Heterogeneous Multirobot Systems Through Behavioural Diversity (Page 1729)
Jorge Gomes (Instituto de Telecomunicaçőes / LabMAg - FCUL)

Imputation, Social Choice, and Partial Preferences (Page 1731)
John A. Doucette (University of Waterloo)

Reasoning about Context and Engineering Context-Aware Agents (Page 1733)
Pradeep K. Murukannaiah (North Carolina State University)

(Return to Top)

Human-Agent Teamwork in Collaborative Virtual Environments (Page 1735)
Nader Hanna (Macquarie University)
Deborah Richards (Macquarie University)

Modeling Human Interactions: Facets of Algorithmic Game Theory and Computational Social Choice (Page 1737)
Omer Lev (Hebrew University)

Agent Aware Organizational Design (Doctoral Consortium) (Page 1739)
Jason Sleight (University of Michigan)

Improving Human Interaction in Crowdsensing (Page 1741)
Gleb Polevoy (Delft University of Technology)
Mathijs de Weerdt (Delft University of Technology)

Adaptive Ontologies Through Social Evolution (Page 1743)
Davide Nunes (University of Lisbon)

Approximate Game Theoretic Analysis for Large Simulation-Based Games (Page 1745)
Bryce Wiedenbeck (University of Michigan)

Communication Convention Formation in Large Multiagent Systems (Page 1747)
Mohammad Rashedul Hasan (University of North Carolina at Charlotte)

Normative Agents for Real-World Scenarios (Page 1749)
Rahmatollah Beheshti (University of Central Florida)

Coordination in Large Scale Multi-Agent Systems for Complex Environments (Page 1751)
James Parker (University of Minnesota)