2015

MAIN PAGE

AAMAS'15 CONTENTS

AAMAS'15 AUTHOR INDEX

AAMAS 2016 CALL FOR PAPERS

AAMAS 2015 Author Index


da Costa Pereira, Célia

A Computational Model of Trust Based on Message Content and Source (Page 1849)


(Return to Top)

da Silva, Viviane Torres

Verifying Conflicts Between Multiple Norms in Multi-Agent Systems (Page 2013)


Damamme, Anastasia

The Power of Swap Deals in Distributed Resource Allocation (Page 625)


Damiano, Rossana

Coping with Moral Emotions (Page 1669)


Darty, Kévin

Calibration of Multi-Agent Simulations through a Participatory Experiment (Page 1683)


Das, Sanmay

Strategic Free Information Disclosure for Search-Based Information Platforms (Page 635)


Dastani, Mehdi

A Model for Collaborative Runtime Verification (Page 1781)

Practical Run-Time Norm Enforcement with Bounded Lookahead (Page 443)


Davami, Erfan

Improving the Performance of Mobile Phone Crowdsourcing Applications (Page 145)


(Return to Top)

Davies, Toby O.

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


Dayama, Pankaj

Truthful Interval Cover Mechanisms for Crowdsourcing Applications (Page 1091)


De Giacomo, Giuseppe

Synchronous Games in the Situation Calculus (Page 1675)


de Haan, Ronald

Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young (Page 117)

Parameterized Complexity Results for Agenda Safety in Judgment Aggregation (Page 127)


de Jong, Tessa

Are Aggressive Agents as Scary as Aggressive Humans? (Page 553)


de Lima, Tiago

Private Revision in a Multi-Agent Setting (Page 1677)


de Man, Jeroen

Are Aggressive Agents as Scary as Aggressive Humans? (Page 553)


(Return to Top)

De Nardi, Renzo

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


de Nijs, Frits

Dynamic Capacity Control and Balancing in the Medium Voltage Grid (Page 1979)


de Silva, Lavindra

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


de Villiers, Pieter

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


De Vos, Marina

A Framework for Institutions Governing Institutions (Page 473)


de Waal, Alta

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


De Weerdt, Mathijs

Now, Later, or Both: A Closed-Form Optimal Decision for a Risk-Averse Buyer (Page 1769)


(Return to Top)

Delahaye, Jean-Paul

New Winning Strategies for the Iterated Prisoner's Dilemma (Page 1665)


Delaney, Brendan

Norm Establishment Constrained by Limited Resources (Page 1819)


Delias, Pavlos

Validating Business Requirements Using MAS Analysis Models (Page 1693)


Delle Fave, Francesco Maria

"A Game of Thrones": When Human Behavior Models Compete in Repeated Stackelberg Security Games (Page 1381)


Dennis, Louise

A Semantic Framework for Socially Adaptive Agents: Towards Strong Norm Compliance (Page 423)


Dennisen, Sophie

Voter Dissatisfaction in Committee Elections (Page 1707)


Deshmukh, Amol

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

Influencing the Learning Experience Through Affective Agent Feedback in a Real-World Treasure Hunt (Page 1711)


(Return to Top)

Deshmukh, Jayati

Evolution of Cooperation under Entrenchment Effects (Page 1717)


Dey, Palash

Computational Complexity of Fundamental Problems in Social Choice Theory (Page 1973)

Detecting Possible Manipulators in Elections (Page 1441)

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

Sample Complexity for Winner Prediction in Elections (Page 1421)


Dhamal, Swapnil

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


Di Napoli, Claudia

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


Di Nocera, Dario

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


Di Tullio, Eugenio

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


Dignum, Virginia

A Framework for Institutions Governing Institutions (Page 473)


(Return to Top)

Diller, David

Composing Social Interactions via Social Games (Page 573)


Ding, Yu

Laughing with a Virtual Agent (Page 1817)


Dobson, Richard J.B.

A Multi-Agent Platform for Automating the Collection of Patient-Provided Clinical Feedback (Page 831)


Dorigo, Marco

Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed versus Accuracy Trade-Off (Page 1305)


Doshi, Prashant

Aerial Robotic Simulations for Evaluation of Multi-Agent Planning in GaTAC (Page 1919)

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

Iterative Online Planning in Multiagent Settings with Limited Model Spaces and PAC Guarantees (Page 1161)

Multi-Robot Inverse Reinforcement Learning Under Occlusion with State Transition Estimation (Page 1837)


Doucette, John A.

Voting with Social Influence: Using Arguments to Uncover Ground Truth (Page 1841)


Dovier, Agostino

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


(Return to Top)

Draief, Moez

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


Dropps, Timothy

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

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


Durfee, Edmund H.

Effective Influence Abstractions for Organizational Design (Page 1267)


Durkota, Karel

Game-Theoretic Algorithms for Optimal Network Security Hardening Using Attack Graphs (Page 1773)


Dusparic, Ivana

P-MARL: Prediction-Based Multi-Agent Reinforcement Learning for Non-Stationary Environments (Page 1897)


Dutta, Partha Sarathi

An Agent-Based Simulation System for Dynamic Project Scheduling and Online Disruption Resolving (Page 1759)


Eck, Adam

To Ask, Sense, or Share: Ad Hoc Information Gathering (Page 367)


(Return to Top)

Edalat, Abbas

Reinforcement Learning for Nash Equilibrium Generation (Page 1727)


Efthymiadis, Kyriakos

Knowledge Revision for Reinforcement Learning with Abstract MDPs (Page 763)


Elkind, Edith

Introduction


Ellen Foster, Mary

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


Elogeel, Abdelrahman

Selecting Robust Strategies in RTS Games via Concurrent Plan Augmentation (Page 155)


Endriss, Ulle

A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions (Page 1009)

Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young (Page 117)

Parameterized Complexity Results for Agenda Safety in Judgment Aggregation (Page 127)


Esfandiari, Hossein

Selling Tomorrow's Bargains Today (Page 337)


Espinosa, Antonio

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


(Return to Top)

Etuk, Anthony

Strategies for Truth Discovery Under Resource Constraints (Page 1807)

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


Everaere, Patricia

Belief Merging versus Judgment Aggregation (Page 999)


Evertsz, Rick

Agent Oriented Modelling of Tactical Decision Making (Page 1051)

Using Agent-Based Tactics Models to Control Virtual Actors in VBS3 (Page 1929)


Fähndrich, Johannes

Modelling of Personality in Agents: From Psychology to Logical Formalisation and Implementation (Page 1691)


Faliszewski, Piotr

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


Faltings, Boi

Incentive Schemes for Participatory Sensing (Page 1081)


Fanelli, Angelo

On the Price of Stability of Fractional Hedonic Games (Page 1239)


(Return to Top)

Fang, Fei

"A Game of Thrones": When Human Behavior Models Compete in Repeated Stackelberg Security Games (Page 1381)

Defender Strategies in Domains Involving Frequent Adversary Interaction (Page 1663)


Farinelli, Alessandro

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

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


Feigh, Karen M.

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


Felli, Paolo

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


Feng, Yuan

Decentralized Bisimulation for Multiagent Systems (Page 209)


Ferguson, Bill

Composing Social Interactions via Social Games (Page 573)


(Return to Top)

Fernández de la Cruz, Lorena

A Multi-Agent Platform for Automating the Collection of Patient-Provided Clinical Feedback (Page 831)


Ferraioli, Diodato

Competitive Influence in Social Networks: Convergence, Submodularity, and Competition Effects (Page 1767)


Ferrando, Angelo

Global Protocols as First Class Entities for Self-Adaptive Agents (Page 1019)


Fioretto, Ferdinando

Exploiting the Structure of Distributed Constraint Optimization Problems (Page 2007)

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)

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


Fischer, Joel E.

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


Fisher, Michael

A Semantic Framework for Socially Adaptive Agents: Towards Strong Norm Compliance (Page 423)


Flacher, Fabien

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


(Return to Top)

Flammini, Michele

On the Price of Stability of Fractional Hedonic Games (Page 1239)


Flann, Jack

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)


Flores-Solorio, Victor

Towards Probabilistic Decision Making on Human Activities Modeled with Business Process Diagrams (Page 1651)


Foster, Mary Ellen

Influencing the Learning Experience Through Affective Agent Feedback in a Real-World Treasure Hunt (Page 1711)


Fotakis, Dimitris

The Power of Verification for Greedy Mechanism Design (Page 307)


Freelan, David

Bounty Hunters and Multiagent Task Allocation (Page 387)


Freeman, Rupert

Crowdsourcing Societal Tradeoffs (Page 1213)

General Tiebreaking Schemes for Computational Social Choice (Page 1401)


(Return to Top)

Fu, Na

DIRECT: A Scalable Approach for Route Guidance in Selfish Orienteering Problems (Page 483)


Fu, Qiming

Trajectory Sampling Value Iteration: Improved Dyna Search for MDPs (Page 1685)


Fujita, Etsushi

Parametric Mechanism Design via Quantifier Elimination (Page 1885)


Gaciarz, Matthis

A Continuous Negotiation Based Model for Traffic Regulation at an Intersection (Page 1791)


Gal, Ya'akov (Kobi)

A Study of Human Behavior in Online Voting (Page 665)


Galand, Lucie

Multiagent Fair Optimization with Lorenz Dominance (Page 1895)


Galland, Stéphane

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


(Return to Top)

Gan, Jiarui

Optimizing Efficiency of Taxi Systems: Scaling-up and Handling Arbitrary Constraints (Page 523)


Ganzfried, Sam

Endgame Solving in Large Imperfect-Information Games (Page 37)

Hierarchical Abstraction, Distributed Equilibrium Computation, and Post-Processing, with Application to a Champion No-Limit Texas Hold'em Agent (Page 7)


Gao, Yang

Learning in Multi-Agent Systems with Sparse Interactions by Knowledge Transfer and Game Abstraction (Page 753)


Garcia-Vandellós, Gerard

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


Garcia-Vazquez, Juan P.

Towards Probabilistic Decision Making on Human Activities Modeled with Business Process Diagrams (Page 1651)


Garg, Dinesh

Truthful Interval Cover Mechanisms for Crowdsourcing Applications (Page 1091)


Gasparini, Luca

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


(Return to Top)

Gaspers, Serge

Computational Aspects of Multi-Winner Approval Voting (Page 107)

Manipulating the Probabilistic Serial Rule (Page 1451)


Gatti, Nicola

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

Strategy Effectiveness of Game-Theoretical Solution Concepts in Extensive-Form General-Sum Games (Page 1813)


Gattinger, Malvin

Elements of Epistemic Crypto Logic (Page 1795)


Gaud, Nicolas

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


Geist, Christian

Pnyx: A Powerful and User-Friendly Tool for Preference Aggregation (Page 1915)


Gemignani, Guglielmo

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

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


Genter, Katie

Determining Placements of Influencing Agents in a Flock (Page 247)

The RoboCup 2014 SPL Drop-In Player Competition: Encouraging Teamwork without Pre-Coordination (Page 1745)


(Return to Top)

Gerritsen, Charlotte

Are Aggressive Agents as Scary as Aggressive Humans? (Page 553)


Gertler, Ethan

Computing Manipulations of Ranking Systems (Page 685)


Ghosh, Sujata

Agreeing to Agree: Reaching Unanimity via Preference Dynamics Based on Reliable Agents (Page 1491)


Gierasimczuk, Nina

Quantifier Learning: An Agent-based Coordination Model (Page 1853)


Gini, Maria

Adaptive Learning for Multi-Agent Navigation (Page 1577)


Giouroukis, Dimitris

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


Giuliani, Matteo

Modeling the Management of Water Resources Systems Using Multi-Objective DCOPs (Page 821)


(Return to Top)

Gmytrasiewicz, Piotr J.

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


Godoy, Julio

Adaptive Learning for Multi-Agent Navigation (Page 1577)

Machine Learning Methods for Multi Robot Navigation (Page 1995)


Goebel, Rainer

fNIRS-based BCI for Robot Control (Page 1953)


Goh, Chi Keong

An Agent-Based Simulation System for Dynamic Project Scheduling and Online Disruption Resolving (Page 1759)


Goldman, Claudia V.

A Game for Studying Maintenance Alerts' Effectiveness (Page 1655)

Adaptive Advice in Automobile Climate Control Systems (Page 543)


Goldsmith, Judy

Probabilistic Copeland Tournaments (Page 1851)

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


Gomes, Jorge

Cooperative Coevolution of Partially Heterogeneous Multiagent Systems (Page 297)


(Return to Top)

Gomez-Sanz, Jorge J.

A Framework for Developing Multi-Agent Systems in Ambient Intelligence Scenarios (Page 1949)


Goodman, Robert

A Multi-Agent Platform for Automating the Collection of Patient-Provided Clinical Feedback (Page 831)


Goodrich, Michael

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

Sliding Autonomy for UAV Path-Planning: Adding New Dimensions to Autonomy Management (Page 1615)


Goto, Masahiro

Improving Fairness in Nonwasteful Matching with Hierarchical Regional Minimum Quotas (Page 1887)


Goyal, Ripple

Learning, Predicting and Planning Against Crime: Demonstration Based on Real Urban Crime Data (Page 1911)


Grandi, Umberto

Propositional Opinion Diffusion (Page 989)

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


Gratch, Jonathan

An Effective Conversation Tactic for Creating Value over Repeated Negotiations (Page 1567)


(Return to Top)

Grau, Isel

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


Griffiths, Nathan

Accounting for Circumstances in Reputation Assessment (Page 1653)

Convention Emergence and Influence in Dynamic Topologies (Page 1785)


Groß, Roderich

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


Grossi, Davide

On the Formal Verification of Diffusion Phenomena in Open Dynamic Agent Networks (Page 237)


Grover, Aditya

A Novel Abstraction Framework for Online Planning (Page 1901)


Grzes, Marek

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


Gudmundsson, Joachim

Computational Aspects of Multi-Winner Approval Voting (Page 107)


(Return to Top)

Gujar, Sujit

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


Guo, Jiong

How Credible is the Prediction of a Party-Based Election? (Page 1431)

How Hard is Bribery in Party Based Elections? (Page 1725)

How Hard is Control in Multi-Peaked Elections: A Parameterized Study (Page 1729)


Guo, Mingyu

Parametric Mechanism Design via Quantifier Elimination (Page 1885)

Social Decision with Minimal Efficiency Loss: An Automated Mechanism Design Approach (Page 347)


Gupta, Anshul

It Pays to Pay in Bi-Matrix Games - A Rational Explanation for Bribery (Page 1361)


Guy, Stephen J.

Adaptive Learning for Multi-Agent Navigation (Page 1577)