2015

MAIN PAGE

AAMAS'15 CONTENTS

AAMAS'15 AUTHOR INDEX

AAMAS 2016 CALL FOR PAPERS

AAMAS 2015 Author Index


Nabeel, Arshed

On the Parameterized Complexity of Minimax Approval Voting (Page 97)


Nagarajan, Vaishnavh

Every Team Deserves a Second Chance: An Interactive 9x9 Go Experience (Page 1909)

Every Team Deserves a Second Chance: Identifying When Things Go Wrong (Page 695)


(Return to Top)

Narahari, Yadati

A Truthful Budget Feasible Multi-Armed Bandit Mechanism for Crowdsourcing Time Critical Tasks (Page 1101)

Detecting Possible Manipulators in Elections (Page 1441)

Kernelization Complexity of Possible Winner and Coalitional Manipulation Problems in Voting (Page 87)

Truthful Interval Cover Mechanisms for Crowdsourcing Applications (Page 1091)

A Multi-phase Approach for Improving Information Diffusion in Social Networks (Page 1787)

An Optimal Bidimensional Multi-Armed Bandit Auction for Multi-unit Procurement (Page 1789)

Profit Maximizing Prior-free Multi-Unit Procurement Auctions with Capacitated Sellers (Page 1753)


Narayanam, Ramasuri

Near Optimal Strategies for Targeted Marketing in Social Networks (Page 1679)


(Return to Top)

Narayanaswamy, Balakrishnan

Truthful Interval Cover Mechanisms for Crowdsourcing Applications (Page 1091)


Nardi, Daniele

On Task Recognition and Generalization in Long-Term Robot Teaching (Page 1879)

Teaching Robots Parametrized Executable Plans Through Spoken Interaction (Page 851)


Narodytska, Nina

Controlling Elections by Replacing Candidates or Votes (Page 1737)

Manipulating the Probabilistic Serial Rule (Page 1451)


Narvekar, Sanmit

Learning Inter-Task Transferability in the Absence of Target Task Samples (Page 725)


Naumov, Pavel

Budget-Constrained Knowledge in Multiagent Systems (Page 219)


Navarro, Laurent

SE-Star: A Large-Scale Human Behavior Simulation for Planning, Decision-Making and Training (Page 1939)


Nguyen, Hoang Nga

Symbolic Model-checking for Resource-Bounded ATL (Page 1809)


(Return to Top)

Nguyen, Thanh H.

A Unifying Methodology for Confronting Uncertainties in Security Games: Advances and Algorithms (Page 1963)


Nicholas, Deon

Decision-theoretic Clustering of Strategies (Page 17)


Niedermeier, Rolf

Large-Scale Election Campaigns: Combinatorial Shift Bribery (Page 67)


Nieścieruk, Agata

Spiteful Bidding in the Dollar Auction (Page 1893)


Norman, Timothy J.

Enabling Intelligence Analysis through Agent-Support: The CISpaces Toolkit (Page 1907)

Strategies for Truth Discovery Under Resource Constraints (Page 1807)

Supporting Reasoning with Different Types of Evidence in Intelligence Analysis (Page 781)

Verifying Normative System Specification Containing Collective Imperatives and Deadlines (Page 1821)


Nowé, Ann

Multi-Scale Reward Shaping via an Off-Policy Ensemble (Page 1641)

Policy Transfer Using Reward Shaping (Page 181)

SCANERGY: A Scalable and Modular System for Energy Trading Between Prosumers (Page 1917)

Shaping Mario with Human Advice (Page 1913)


Obraztsova, Svetlana

Beyond Plurality: Truth-Bias in Binary Scoring Rules (Page 1733)


(Return to Top)

Oka, Masaaki

Fairness and False-Name Manipulations in Randomized Cake Cutting (Page 909)


Okimoto, Tenda

How to Form a Task-Oriented Robust Team (Page 395)


Oliehoek, Frans A.

Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks (Page 881)

Influence-Optimistic Local Values for Multiagent Planning (Page 1703)


Omicini, Andrea

A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (Page 1763)


Ondráček, Jakub

Solving Infrastructure Monitoring Problems with Multiple Heterogeneous Unmanned Aerial Vehicles (Page 1597)


Oommen, B. John

Particle Field Optimization: A New Paradigm for Swarm Intelligence (Page 257)


O'Reilly, Una-May

Computer Aided Tax Evasion Policy Analysis: Directed Search Using Autonomous Agents (Page 1825)


(Return to Top)

Oren, Nir

A Bayesian Approach to Norm Identification (Page 1743)

Enabling Intelligence Analysis through Agent-Support: The CISpaces Toolkit (Page 1907)

Global Approximations for Principal Agent Theory (Page 1845)

Strategies for Truth Discovery Under Resource Constraints (Page 1807)

Supporting Reasoning with Different Types of Evidence in Intelligence Analysis (Page 781)


Ouerdane, Wassila

A Dialogue Game for Recommendation with Adaptive Preference Models (Page 959)


Ouyang, Robin Wentao

Enabling Intelligence Analysis through Agent-Support: The CISpaces Toolkit (Page 1907)

Supporting Reasoning with Different Types of Evidence in Intelligence Analysis (Page 781)


Padget, Julian

A Framework for Institutions Governing Institutions (Page 473)


Padgham, Lin

A Tool for Defining Agent Protocols in HAPN (Page 1935)

Community Evacuation Planning for Bushfires Using Agent-Based Simulation (Page 1903)


Paiva, Ana

An Empathic Robotic Tutor in a Map Application (Page 1923)

The "Favors Game": A Framework to Study the Emergence of Cooperation Through Social Importance (Page 1899)

The Evolutionary Perks of Being Irrational (Page 1847)


Panagopoulos, Athanasios Aris

AdaHeat: A General Adaptive Intelligent Agent for Domestic Heating Control (Page 1295)


(Return to Top)

Panda, Swetasudha

Stackelberg Games for Robust Vaccine Design (Page 2003)

Stackelberg Games for Vaccine Design (Page 1391)


Panella, Alessandro

Nonparametric Bayesian Learning of Other Agents' Policies in Interactive POMDPs (Page 1875)


Papadopoulos, Fotios

An Empathic Robotic Tutor in a Map Application (Page 1923)


Paquet, Hugo

Verification of Multi-Agent Systems via SDD-Based Model Checking (Page 1713)


Parkes, David

On Sex, Evolution, and the Multiplicative Weights Update Algorithm (Page 929)


Parons, Simon

A Dialogue Game for Recommendation with Adaptive Preference Models (Page 959)

Survival of the Chartist: An Evolutionary Agent-Based Analysis of Stock Market Trading (Page 1699)


Pasumarthi, Ramakumar

Near Optimal Strategies for Targeted Marketing in Social Networks (Page 1679)


(Return to Top)

Pathania, Deepika

Social Network Driven Traffic Decongestion Using Near Time Forecasting (Page 1761)


Pavlin, Gregor

Multi-Agent Target Tracking Using Particle Filters Enhanced with Context Data (Page 1933)


Pearce, Adrian R.

Efficient Reasoning with Consistent Proper Epistemic Knowledge Bases (Page 1461)

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus (Page 1141)

Synchronous Games in the Situation Calculus (Page 1675)


Pěchouček, Michal

Solving Infrastructure Monitoring Problems with Multiple Heterogeneous Unmanned Aerial Vehicles (Page 1597)


Pecune, Florian

Laughing with a Virtual Agent (Page 1817)


Pelachaud, Catherine

"I like this painting too": When an ECA Shares Appreciations to Engage Users (Page 1649)

Greta, an Interactive Expressive Embodied Conversational Agent (Page 5)

Laughing with a Virtual Agent (Page 1817)


Penders, Ate

Multi-Agent Target Tracking Using Particle Filters Enhanced with Context Data (Page 1933)


(Return to Top)

Pereira, Gonçalo Duarte Garcia

Exploring Social Power Intelligent Behavior (Page 1861)

Social Theatre: Showcasing Social Power Aware Agents (Page 1951)

Towards Social Power Intelligent Agents (Page 1857)


Perez-Diaz, Fernando

Firefly-Inspired Synchronization in Swarms of Mobile Agents (Page 279)


Perrussel, Laurent

A Logic for Collective Choice (Page 979)

Propositional Opinion Diffusion (Page 989)

Towards Consistency-Based Reliability Assessment (Page 1643)


Pianini, Danilo

A Gillespie-based Computational Model for Integrating Event-driven and Multi-Agent Based Simulation (Page 1763)


Picard, Gauthier

A Multidimensional Environment Implementation for Enhancing Agent Interaction (Page 1801)

Designing a Marketplace for the Trading and Distribution of Energy in the Smart Grid (Page 1285)


Pitt, Jeremy

Neuro-Symbolic Agents: Boltzmann Machines and Probabilistic Abstract Argumentation with Sub-Arguments (Page 1481)


Platis, Nikos

PViz: Visualising P2P Multi-Agent Simulations (Page 1945)


(Return to Top)

Pontelli, Enrico

Large Neighborhood Search with Quality Guarantees for Distributed Constraint Optimization Problems (Page 1835)

Multi-Variable Agents Decomposition for DCOPs to Exploit Multi-Level Parallelism (Page 1823)


Porteous, Julie

Automated Extension of Narrative Planning Domains with Antonymic Operators (Page 1547)

Incorporating Global and Local Knowledge in Intentional Narrative Planning (Page 1539)


Poupart, Pascal

Incremental Policy Iteration with Guaranteed Escape from Local Optima in POMDP Planning (Page 1249)


Pozo Pardo, Francisco Denis

Multi-stage Smart Grid Optimisation with a Multiagent System (Page 1937)


Prada, Rui

Exploring Social Power Intelligent Behavior (Page 1861)

Social Theatre: Showcasing Social Power Aware Agents (Page 1951)

Towards Social Power Intelligent Agents (Page 1857)


Pralet, Cédric

Managing Dynamic Multi-Agent Simple Temporal Network (Page 1171)


Prasad, H. L.

Two-Timescale Algorithms for Learning Nash Equilibria in General-Sum Stochastic Games (Page 1371)


(Return to Top)

Procaccia, Ariel D.

Dynamic Influence Maximization Under Increasing Returns to Scale (Page 949)


Pujol-Gonzalez, Marc

Efficient Inter-Team Task Allocation in RoboCup Rescue (Page 413)


Qian, Yundi

Robust Strategy Against Unknown Risk-Averse Attackers in Security Games (Page 1341)

To Handle, to Learn and to Manipulate the Attacker's (Uncertain) Payoffs in Security Games (Page 1961)


Qiao, Xingye

CFQI: Fitted Q-Iteration with Complex Returns (Page 163)


Qin, Tao

Competitive Pricing for Cloud Computing in an Evolutionary Market (Page 1755)

Computing Quantal Response Equilibrium for Sponsored Search Auctions (Page 1803)

Mechanism Design for Daily Deals (Page 327)

New Mechanism for Reservation in Cloud Computing (Page 1765)


Qiu, Guoping

Competitive Pricing for Cloud Computing in an Evolutionary Market (Page 1755)


Qu, Hongyang

Behaviour Analysis of Mixed Game-Theoretic Learning Algorithms (Page 1889)


(Return to Top)

Qu, Xia

Improved Planning for Infinite-Horizon Interactive POMDPs Using Probabilistic Inference (Page 1839)


Quattrini Li, Alberto

Some Performance Bounds of Strategies for Graph Exploration (Page 1815)


Rabinovich, Zinovi

Beyond Plurality: Truth-Bias in Binary Scoring Rules (Page 1733)

Information Disclosure as a Means to Security (Page 645)


Radanovic, Goran

Incentive Schemes for Participatory Sensing (Page 1081)


Raddaoui, Badran

On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing (Page 1749)


Raeissi, Masoume M.

A Mechanism for Smoothly Handling Human Interrupts in Team Oriented Plans (Page 377)


Rahwan, Talal

Spiteful Bidding in the Dollar Auction (Page 1893)


(Return to Top)

Raimondi, Franco

An Approach to Quantify Workload in a System of Agents (Page 1041)

Symbolic Model-checking for Resource-Bounded ATL (Page 1809)


Ramchurn, Sarvapali D.

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 533)

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 1921)


Ramchurn, Sarvapali

Real-time Opinion Aggregation Methods for Crowd Robotics (Page 841)


Ratchev, Svetan

Interfacing Agents with an Industrial Assembly System for "Plug and Produce" (Page 1957)


Ravi, S. S.

Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates (Page 1501)


Ravindran, Balaraman

Near Optimal Strategies for Targeted Marketing in Social Networks (Page 1679)


Ray, Arupratan

Profit Maximizing Prior-free Multi-Unit Procurement Auctions with Capacitated Sellers (Page 1753)


(Return to Top)

Raynaut, William

Towards Consistency-Based Reliability Assessment (Page 1643)


Razo-Zapata, Iván

SCANERGY: A Scalable and Modular System for Energy Trading Between Prosumers (Page 1917)


Read, Jonathon

Automated Extension of Narrative Planning Domains with Antonymic Operators (Page 1547)


Reece, Steven

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 1921)

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 533)


Rey, Anja

Representing and Solving Hedonic Games with Ordinal Preferences and Thresholds (Page 1229)


Reynolds, Craig

Composing Social Interactions via Social Games (Page 573)


Ribeiro, Tiago

An Empathic Robotic Tutor in a Map Application (Page 1923)


(Return to Top)

Ribeiro, Tony

How to Form a Task-Oriented Robust Team (Page 395)


Ribino, Patrizia

Metrics for Evaluating Modularity and Extensibility in HMAS Systems (Page 1061)


Richards, Deborah

A Dancing Virtual Agent to Evoke Human Emotions (Page 1701)

The Impact of Virtual Agent Personality on a Shared Mental Model with Humans during Collaboration (Page 1777)


Ridgway, Anton

Adaptive Budgeted Bandit Algorithms for Trust Development in a Supply-Chain (Page 137)

Dynamic Theoretical Analysis of the Distributed Stochastic and Distributed Breakout Algorithms (Page 405)


Ries, Bernard

Multiple Referenda and Multiwinner Elections Using Hamming Distances: Complexity and Manipulability (Page 715)


Ripley, Michael

Adaptive Budgeted Bandit Algorithms for Trust Development in a Supply-Chain (Page 137)


Riva, Alessandro

Some Performance Bounds of Strategies for Graph Exploration (Page 1815)


(Return to Top)

Riveret, Regis

Neuro-Symbolic Agents: Boltzmann Machines and Probabilistic Abstract Argumentation with Sub-Arguments (Page 1481)


Robbel, Philipp

Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks (Page 881)


Roberts, Bruce

Composing Social Interactions via Social Games (Page 573)


Roberts, Stephen J.

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 533)

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 1921)


Robles, Sergi

PrivHab: A Multiagent Secure Georouting Protocol for Distributing Podcasts in Disconnected Areas (Page 1943)

PrivHab: A Multiagent Secure Georouting Protocol for Podcast Distribution on Disconnected Areas (Page 1697)


Rocco, Marco

Cascade Model with Contextual Externalities and Bounded User Memory for Sponsored Search Auctions (Page 1831)


Rodden, Tom

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 533)

HAC-ER: A Disaster Response System Based on Human-Agent Collectives (Page 1921)


(Return to Top)

Rodriguez, Sebastian

A Multidimensional Environment Implementation for Enhancing Agent Interaction (Page 1801)


Rodriguez-Aguilar, Juan A.

Designing a Marketplace for the Trading and Distribution of Energy in the Smart Grid (Page 1285)

Synthesising Liberal Normative Systems (Page 433)

Efficient Inter-Team Task Allocation in RoboCup Rescue (Page 413)

Paving the Way for Large-Scale Combinatorial Auctions (Page 1855)

Extending NormLab to Spur Research on Norm Synthesis (Page 1931)


Rogers, Alex

A Heating Agent Using a Personalised Thermal Comfort Model to Save Energy (Page 1799)

AdaHeat: A General Adaptive Intelligent Agent for Domestic Heating Control (Page 1295)

Observation Modelling for Vision-Based Target Search by Unmanned Aerial Vehicles (Page 1607)


Rong, Jiang

Computing Quantal Response Equilibrium for Sponsored Search Auctions (Page 1803)


Rosalia, Jesse

Discovery, Evaluation, and Exploration of Human Supplied Options and Constraints (Page 1873)


Rosen, Jacob B.

Computer Aided Tax Evasion Policy Analysis: Directed Search Using Autonomous Agents (Page 1825)


Rosenfeld, Ariel

Adaptive Advice in Automobile Climate Control Systems (Page 543)


(Return to Top)

Rosenkrantz, Daniel J.

Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates (Page 1501)


Rosenschein, Jeffrey S.

Beyond Plurality: Truth-Bias in Binary Scoring Rules (Page 1733)

Bitcoin Mining Pools: A Cooperative Game Theoretic Analysis (Page 919)


Rossi, Francesca

Controlling Elections by Replacing Candidates or Votes (Page 1737)

Reasoning with PCP-nets in a Multi-Agent Context (Page 969)


Rossi, Silvia

Computing Pareto Optimal Agreements in Multi-issue Negotiation for Service Composition (Page 1779)


Rothe, Jörg

Representing and Solving Hedonic Games with Ordinal Preferences and Thresholds (Page 1229)


Roxas, Jon Cedric

A Dancing Virtual Agent to Evoke Human Emotions (Page 1701)


Rubin, Sasha

Parameterised Verification of Autonomous Mobile-Agents in Static But Unknown Environments (Page 199)


(Return to Top)

Rungta, Neha

An Approach to Quantify Workload in a System of Agents (Page 1041)


Russell, Katherine

Swarm Robot Foraging with Wireless Sensor Motes (Page 287)