Poster presentations will be held at Room 201, 2nd Floor, Taipei International Convention Center during the above hours. Presenting authors are requested to present their poster during the designated schedule.
|
| 199 |
Sequential targeted optimality as a new criterion for teaching and following in repeated games |
| 201 |
An Algorithm for the Coalitional Manipulation Problem under Maximin |
| 205 |
Choosing persuasive arguments for action |
| 220 |
Toward Error-bounded Algorithms for Infinite-Horizon DEC-POMDPs |
| 224 |
Empirical Evaluation of Ad Hoc Teamwork in the Pursuit Domain |
| 228 |
Capability-Aligned Matching: Improving Quality of Games with a Purpose |
| 235 |
Tractable Model Checking for Fragments of Higher-Order Coalition Logic |
| 236 |
From Body Space to Interaction Space - Modeling Spatial Cooperation for Virtual Humans |
| 239 |
On the quality and complexity of Pareto equilibria in the Job Scheduling game |
| 248 |
Reaching Correlated Equilibria Through Multi-agent Learning |
| 249 |
Decentralized Monitoring of Anytime Decision Making |
| 252 |
Ties Matter: Complexity of Voting Manipulation Revisited |
| 253 |
A Framework for Coalitional Normative Systems |
| 257 |
Equilibrium Approximation in Extensive-Form Simulation-Based Games |
| 266 |
On the Outcomes of Multiparty Persuasion |
| 268 |
Rich Goal Types in Agent Programming |
| 269 |
Dynamic Level of Detail for Large Scale Agent-Based Urban Simulations |
| 283 |
Tree Adaptive A* for Goal-Directed Navigation in Initially Unknown Terrain |
| 284 |
On Topic Selection Strategies in Multi-Agent Naming Game |
| 285 |
On Optimizing Interdependent Skills: A Case Study in Simulated 3D Humanoid Robot Soccer |
| 289 |
Scenarios for System Requirements Traceability and Testing |
| 291 |
Argumentation-based reasoning in agents with varying degrees of trust |
| 295 |
The Evolution of Cooperation in Self-Interested Agent Societies: A Critical Study |
| 296 |
Probabilistic Hierarchical Planning over Markov Decision Processes |
| 297 |
Can Trust Increase the Efficiency of Cake Cutting Algorithms? |
| 300 |
Decentralized Decision Support for an agent population in dynamic and uncertain domains |
| 303 |
Adaptive Decision Support for Structured Organizations: A Case for OrgPOMDPs |
| 309 |
iCLUB: An Integrated Clustering-Based Approach to Improve the Robustness of Reputation Systems |
| 312 |
Effective Variants of Max-Sum Algorithm to Radar Coordination and Scheduling |
| 313 |
Improved Computational Models of Human Behavior in Security Games |
| 317 |
The Complexity of Voter Partition in Bucklin and Fallback Voting: Solving Three Open Problems |
| 318 |
Decision Theoretic Behavior Composition |
| 322 |
Agent-Based Resource Allocation in Dynamically Formed CubeSat Constellations |
| 327 |
Maximum Causal Entropy Correlated Equilibria for Markov Games |
| 328 |
Cooperation through Reciprocity in Multiagent Systems: An Evolutionary Analysis |
| 332 |
A Simple Curious Agent to Help People be Curious |
| 336 |
Social Instruments for Convention Emergence in Artificial Societies |
| 339 |
Learning by Demonstration in Repeated Stochastic Games |
| 344 |
Maximizing revenue in symmetric resource allocation when user utilities exhibit diminishing returns |
| 345 |
Collaborative diagnosis of exceptions to contracts |
| 346 |
Genetic Algorithm Aided Optimization of Hierarchical Multi-Agent System Organization |
| 348 |
Complexity of Multiagent BDI Logics with Restricted Modal Context |
| 349 |
Using Aspiration Adaptation Theory to Improve Learning |
| 350 |
Consensus Acceleration in Multiagent Systems with the Chebyshev Semi-Iterative Method |
| 352 |
Multi-Agent Monte Carlo Go |
| 355 |
Extension of MC-net-based Coalition Structure Generation: Handling Negative Rules and Externalities |
| 360 |
Online Anomaly Detection in Unmanned Vehicles |
| 361 |
Diagnosing Commitments: Delegation Revisited |
| 364 |
ADAPT: Abstraction Hierarchies to Effectively Implement Teamwork |
| 366 |
I've Been Here Before! Location and Appraisal in Memory Retrieval |
| 372 |
Rip-off: Playing the Cooperative Negotiation Game |
| 373 |
Interfacing a cognitive agent platform with a virtual world: a case study using Second Life |
| 375 |
Message-Generated Kripke Semantics |
| 378 |
Substantiating quality goals with field data for socially-oriented requirements engineering |
| 382 |
Normative Mechanism Design |
| 384 |
Self-disclosure Decision Making based on Information Measures |
| 385 |
When and How Should Norms Be Violated? |
| 390 |
Emergence of Norms for Social Efficiency in Partially Iterative Non-Coordinated Games |
| 398 |
On the Construction of Joint Plans through Argumentation Schemes |
| 400 |
Team Coverage Games |
| 405 |
Agent-based Inter-Company Transport Optimization |
| 408 |
Belief/Goal Sharing BDI Modules |
| 414 |
Information-Driven Interaction-Oriented Programming |
| 418 |
Bounded Decentralised Coordination over Multiple Objectives |
| 420 |
Agent-Based Control for Decentralised Demand Side Management in the Smart Grid |
| 422 |
Neural Symbolic Systems for Normative Agents |
| 426 |
No Smoking Here: Compliance differences between deontic and social norms |
| 429 |
Agents that speak: modelling communicative plans and information sources in a logic of announcements |
| 440 |
Online Mechanism Design for Electric Vehicle Charging |
| 449 |
Communication-constrained DCOPs: Message approximation in GDL with Function Filtering |
| 450 |
Emerging Cooperation on Complex Networks |
| 456 |
Distributed Model Shaping for Scaling to Decentralized POMDPs with hundreds of agents |
| 463 |
Culture-related differences in aspects of behavior for virtual characters across Germany and Japan |
| 464 |
Procedural Fairness in Stable Marriage Problems |
| 466 |
Tag-Based Cooperation in N-Player Dilemmas |
| 474 |
Computing Time-Dependent Policies for Patrolling Games with Mobile Targets |
| 478 |
Heuristic Multiagent Planning with Self-Interested Agents |
| 482 |
Mining Qualitative Context Models From Agent Interactions |
| 488 |
Partially Observable Stochastic Game-based Multi-Agent Prediction Markets |
|
| 476 |
Efficient Planning in R-max |
| 477 |
Quality guarantees for region optimal DCOP algorithms |
| 484 |
An Investigation of the Vulnerabilities of Scale Invariant Dynamics in Large Teams |
| 485 |
Computational Complexity of Two Variants of the Possible Winner Problem |
| 489 |
Trust as Dependence: A Logical Approach |
| 492 |
A Model of Norm Emergence and Innovation in Language Change |
| 494 |
A Cost-Based Transition Approach for Multiagent Systems Reorganization |
| 499 |
Argumentation strategies for plan resourcing |
| 502 |
Effect of time delays on agents' interaction dynamics |
| 504 |
Towards an Agent-Based Proxemic Model for Pedestrian and Group Dynamics: Motivations and First Experiments |
| 505 |
Learning Action Models for Multi-Agent Planning |
| 509 |
Batch Reservations in Autonomous Intersection Management |
| 513 |
Multi-Agent, Potential-Based Reward Shaping for RoboCup KeepAway |
| 515 |
Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems |
| 524 |
Approximating Behavioral Equivalence of Models Using Top-K Policy Paths |
| 528 |
Programming Role Enactment through Reflection |
| 531 |
Prognostic agent assistance for norm-compliant coalition planning |
| 533 |
Virtual Agent Perception in Large Scale Multi-Agent Based Simulation Systems |
| 536 |
ESCAPES: Evacuation Simulation with Children, Authorities, Parents, Emotions, and Social Comparison |
| 537 |
Less Is More: Restructuring Decisions to Improve Agent Search |
| 547 |
Programming Mental State Abduction |
| 550 |
Simulation-based Temporal Projection of Everyday Robot Object Manipulation |
| 551 |
A formal analysis of the outcomes of argumentation-based negotiations |
| 555 |
Modeling the Emergence and Convergence of Norms |
| 556 |
Introducing homophily to improve semantic service search in a self-adaptive system |
| 559 |
Distributed Cooperation in Wireless Sensor Networks |
| 567 |
Adaptive Regulation of Open MAS: an Incentive Mechanism based on Online Modifications of the Environment |
| 570 |
Allocating Spatially Distributed Tasks in Large, Dynamic Robot Teams |
| 571 |
Bounded Optimal Constrained Team Coordination with Delay Penalties and Location Choice |
| 575 |
Towards a Unifying Characterization for Quantifying Weak Coupling in Dec-POMDPs |
| 579 |
A Perception Framework for Intelligent Characters in Serious Games |
| 585 |
Distributed Algorithms for Solving the Multiagent Temporal Decoupling Problem |
| 586 |
SR-APL: A Model for a Programming Language for Rational BDI Agents with Prioritized Goals |
| 589 |
Designing Petri Net Supervisors for Multi-Agent Systems from LTL Specifications |
| 590 |
Friend or Foe? Detecting an Opponent's Attitude in Normal Form Games |
| 594 |
The BDI Driver in a Service City |
| 595 |
Identifying and Exploiting Weak-Information Inducing Actions in Solving POMDPs |
| 601 |
Controlling Narrative Time in Interactive Storytelling |
| 606 |
Teamwork in Distributed POMDPs: Execution-time Coordination Under Model Uncertainty |
| 609 |
GUARDS - Game Theoretic Security Allocation on a National Scale |
| 611 |
A Particle Filter for Bid Estimation in Ad Auctions with Periodic Ranking Observations |
| 620 |
Decentralized balancing of a commercial portfolio with plug-in hybrid vehicles in a Smart Grid |
| 622 |
Escaping Local Optima in POMDP Planning as Inference |
| 625 |
On the Verification of Social Commitments and Time |
| 630 |
Toward Multi-Operator, Multi-Robot Teams: Human Interaction with Bio-Inspired Teams |
| 639 |
Multiagent Argumentation for Cooperative Planning in DeLP-POP |
| 650 |
Escaping Heuristic Depressions in Real-Time Heuristic Search |
| 652 |
Kokomo: An empirically evaluated methodology for affective applications |
| 653 |
Multi-Layered Cognitive Filtering by Behavioural Modelling |
| 657 |
Pseudo-tree-based Algorithm for Approximate Distributed Constraint Optimization with Quality Bounds |
| 661 |
Concise Characteristic Function Representations in Coalitional Games Based on Agent Types |
| 663 |
Iterative Game-theoretic Route Selection for Hostile Area Transit and Patrolling |
| 664 |
Quality-bounded Solutions for Finite Bayesian Stackelberg Games: Scaling up |
| 665 |
Cooperative Answering with Abduction |
| 666 |
A Double Oracle Algorithm for Zero-Sum Security Games on Graphs |
| 668 |
False-name bidding in first-price combinatorial auctions with incomplete information |
| 670 |
Deploying Power Grid-Integrated Electric Vehicles as a Multi-Agent System |
| 673 |
A Message Passing Approach To Multiagent Gaussian Inference for Dynamic Processes |
| 675 |
Modeling Social Preferences in Multi-player games |
| 680 |
Approximation Methods for Infinite Bayesian Stackelberg Games: Modeling Distributional Uncertainty |
| 682 |
Using Iterated Reasoning to Predict Opponent Strategies |
| 683 |
Multiagent Environment Design in Human Computation |
| 689 |
False-name-proof Mechanism Design without Money |
| 692 |
Social Distance Games |
| 698 |
Agent Sensing with Stateful Resources |
| 701 |
Solving Stackelberg Games with Uncertain Observability |
| 702 |
Modeling Bounded Rationality of Agents During Interactions |
| 713 |
Practical Argumentation Semantics for Socially Efficient Defeasible Consequence |
| 715 |
Evolving Subjective Utilities: Prisoner's Dilemma Game Examples |
| 717 |
Comparing Action-Query Strategies in Semi-Autonomous Agents |
| 719 |
A style controller for generating virtual human behaviors |
| 732 |
Solving Election Manipulation Using Integer Partitioning Problems |
| 739 |
A Multimodal End-of-Turn Prediction Model: Learning from Parasocial Consensus Sampling |
| 749 |
Taming the Complexity of Linear Time BDI Logics |
| 753 |
Scalable Coordinated Adaptive Serious Games |
| 757 |
Multi-Criteria Argument Selection In Persuasion Dialogues |
| 761 |
The face of emotions: a logical formalization of expressive speech acts |
| 763 |
Incorporating balancing markets in electricity network simulations |
| 778 |
Possible and necessary winners in voting trees: majority graphs vs. profiles |
| Red Session |
| 28 |
Reasoning about local properties in modal logic |
| 29 |
A computational model of achievement motivation for artificial agents |
| 31 |
A Truth Serum for Sharing Rewards |
| 32 |
Horde: A Scalable Real-time Architecture for Learning Knowledge from Unsupervised Sensorimotor Int |
| 33 |
Incremental DCOP Search Algorithms for Solving Dynamic DCOP Problems |
| 38 |
How to measure the conviviality of a dependence network. |
| 39 |
Incentive design for adaptive agents |
| 40 |
MetaTrust: Discriminant Analysis of Local Information for Global Trust Assessment |
| 47 |
Majority-rule-based preference aggregation on multi-attribute domains with structured preferences |
| 48 |
Efficient Penalty Scoring Functions and Heuristic for Group Making with TCP-nets |
| 49 |
Efficient Heuristic Approach to Dominance Testing in CP-nets |
| 51 |
Who Goes There? Selecting a Robot to Reach a Goal |
| 52 |
Decomposing Constraint Systems |
| 53 |
Metric Learning for Reinforcement Learning Agents |
| 56 |
A Curious Agent for Network Anomaly Detection |
| 60 |
Homogeneity and Monotonicity of Distance-Rationalizable Voting Rules |
| 61 |
Agents, Pheromones, and Mean-Field Models |
| 62 |
Basis Function Discovery using Spectral Clustering and Bisimulation Metrics |
| 70 |
Complexity of coalition structure generation |
| 73 |
Tight Bounds for Strategyproof Classification |
| 74 |
Knowledge and Control |
| 75 |
Designing Incentives for Boolean Games |
| 77 |
Scientia Potentia Est |
| 79 |
Cooperatives of Distributed Energy Resources for Efficient Virtual Power Plants |
| 80 |
Integrating Reinforcement Learning with Human Demonstrations of Varying Ability |
| 82 |
Possible Winners When New Alternatives Join: New Results Coming Up! |
| 91 |
Incentive Compatible Influence Maximization in Social Networks and Application to Viral Marketing |
| 94 |
On Optimal Agendas for Package Deal Negotiation |
| 95 |
An abstract framework for reasoning about trust |
| 97 |
Message Passing Algorithms for Large Structured Decentralized POMDPs |
| 99 |
How Agents Can Help Curbing Fuel Combustion - a Performance Study of Intersection Control |
| 100 |
Jogger: Investigation of Principles of Context-Sensitive Reminding |
| 112 |
The Effect of Expression of Anger and Happiness in Computer Agents on Negotiations with Humans |
| 118 |
Spatio-Temporal A* Algorithms for Offline Multiple Mobile Robot Path Planning |
| 119 |
Resource-Aware Junction Trees for Efficient Multi-Agent Coordination |
| 121 |
Influence of Head Orientation in Perception of Personality Traits in Virtual Agents |
| 122 |
Two-agent conflict resolution with argumentation dialogues |
| 124 |
A Study of Computational and Human Strategies in Revelation Games |
| 126 |
Reasoning Patterns in Bayesian Games |
| 127 |
Metastrategies in the colored trails game |
| 130 |
Using Coalitions of Wind Generators and Electric Vehicles for Effective Energy Market Participation |
| 133 |
Expert-Mediated Search |
| 135 |
Commitments with Regulations: Reasoning about Safety and Control |
| 137 |
Learning the Demand Curve in Posted-Price Digital Goods Auctions |
| 138 |
Active Markov Information-Theoretic Path Planning for Robotic Environmental Sensing |
| 141 |
Negotiation Over Decommitment Penalty |
| 144 |
Ship Patrol: Multiagent Patrol under Complex Environmental Conditions |
| 147 |
Empirical and Theoretical Support for Lenient Learning |
| 148 |
Cognitive Policy Learner: Biasing Winning or Losing Strategies |
| 149 |
Agent-mediated Multi-step Optimization for Resource Allocation in Distributed Sensor Networks |
| 151 |
Information Elicitation for Decision Making |
| 154 |
A Formal Framework for Reasoning about Goal Interactions |
| 155 |
On-line reasoning for institutionally-situated BDI agents |
| 158 |
Strategy Purification |
| 159 |
Game Theory-Based Opponent Modeling in Large Imperfect-Information Games |
| 165 |
Agent-Based Container Terminal Optimisation |
| 167 |
Stable partitions in additively separable hedonic games |
| 172 |
Solving Delayed Coordination Problems in MAS |
| 174 |
Arbitrators in Overlapping Coalition Formation Games |
| 176 |
Human-like Memory Retrieval Mechanisms for Social Companions |
| 177 |
Exploration strategies based on Multi-Criteria Decision Making for search & rescue autonomous robots |
| 179 |
Forgetting Through Generalisation - A Companion with Selective Memory |
| 180 |
Representation of Coalitional Games with Algebraic Decision Diagrams |
| 182 |
Game Theoretical Adaptation Model for Intrusion Detection System |
| 184 |
AgentScope: Multi-Agent Systems Development in Focus |
| 186 |
Agent programming with priorities and deadlines |
| 187 |
Solving Strategic Bargaining with Arbitrary One-Sided Uncertainty |
| 188 |
Computing a Self-Confirming Equilibrium in Two-Player Extensive-Form Games |
| 189 |
Specifying and Applying Commitment-Based Business Patterns |
| 194 |
Strategic Games and Truly Playable Effectivity Functions |
| 197 |
Computing stable outcomes in hedonic games with voting-based deviations |
| 198 |
Analyzing Intra-Team Strategies for Agent-Based Negotiation Teams |
| 206 |
Manipulation in group argument evaluation |
| 217 |
Abstraction for Model Checking Modular Interpreted Systems over ATL |
| 222 |
VIXEE an innovative communication infrastructure for Virtual Institutions |
| 237 |
Smart Walkers! Enhancing the Mobility of the Elderly |
| 244 |
Modeling Empathy for a Virtual Human: How, When and to What Extent? |
| 250 |
Modeling lane preferences in agent-based multi-lane highway simulation |
| 265 |
Multi-agent Hypothetical Reasoning with Confidentiality |
| 287 |
Reasoning About Preferences in BDI Agent Systems |
