IJCAI 2013

488 papers

Search Strategies for Optimal Multi-Way Number Partitioning

Michael D. Moffitt

On Computing Minimal Correction Subsets

Joao Marques-Silva, Federico Heras, Mikoláš Janota, Alessandro Previti, Anton Belov

Algorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering

Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann

Target-Value Search Revisited

Carlos Linares Lopez, Roni Stern, Ariel Felner

Predicting the Size of Depth-First Branch and Bound Search Trees

Levi H. S. Lelis, Lars Otten, Rina Dechter

Double-Wheel Graphs Are Graceful

Ronan Le Bras, Carla P. Gomes, Bart Selman

Monte Carlo *-Minimax Search

Marc Lanctot, Abdallah Saffidine, Joel Veness, Chris Archibald, Mark H. M. Winands

Extending Simple Tabular Reduction with Short Supports

Christopher Jefferson, Peter Nightingale

DeQED: An Efficient Divide-and-Coordinate Algorithm for DCOP

Daisuke Hatano, Katsutoshi Hirayama

Sufficiency-Based Selection Strategy for MCTS

Stefan Freyr Gudmundsson, Yngvi Björnsson

Preserving Partial Solutions while Relaxing Constraint Networks

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure

Constraint Satisfaction and Fair Multi-Objective Optimization Problems: Foundations, Complexity, and Islands of Tractability

Gianluigi Greco, Francesco Scarcello

Dominance Rules for the Choquet Integral in Multiobjective Dynamic Programming

Lucie Galand, Julien Lesca, Patrice Perny

An Approach to Abductive Reasoning in Equational Logic

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability

Thach-Thao Duong, Duc Nghia Pham, Abdul Sattar, M. A. Hakim Newton

Variable Elimination in Binary CSP via Forbidden Patterns

David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Živný

Breaking Symmetries in Graph Representation

Michael Codish, Alice Miller, Patrick Prosser, Peter J. Stuckey

On the Complexity of Global Scheduling Constraints under Structural Restrictions

Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh

A Tree-Based Tabu Search Algorithm for the Manpower Allocation Problem with Time Windows and Job-Teaming Constraints

Yilin Cai, Zizhen Zhang, Songshan Guo, Hu Qin, Andrew Lim

Comprehensive Score: Towards Efficient Local Search for SAT with Long Clauses

Shaowei Cai, Kaile Su

On the Complexity of Trick-Taking Card Games

Édouard Bonnet, Florian Jamain, Abdallah Saffidine

Constraint Acquisition via Partial Queries

Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar

Detecting and Exploiting Subproblem Tractability

Christian Bessiere, Clement Carbonnel, Emmanuel Hebrard, George Katsirelos, Toby Walsh

Breakout Local Search for the Vertex Separator Problem

Una Benlic, Jin-Kao Hao

Maintaining Alternative Values in Constraint-Based Configuration

Caroline Becker, Hélène Fargier

Just-in-Time Compilation of Knowledge Bases

Gilles Audemard, Jean-Marie Lagniez, Laurent Simon

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics

Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis

On Random Quotas and Proportional Representation in Weighted Voting Games

Yair Zick

Multiwinner Elections under Preferences that Are Single-Peaked on a Tree

Lan Yu, Hau Chan, Edith Elkind

A Reputation Management Approach for Resource Constrained Trustee Agents

Han Yu, Chunyan Miao, Bo An, Cyril Leung, Victor R. Lesser

Automated Generation of Interaction Graphs for Value-Factored Decentralized POMDPs

William Yeoh, Akshat Kumar, Shlomo Zilberstein

Scaling-Up Security Games with Boundedly Rational Adversaries: A Cutting-Plane Approach

Rong Yang, Albert Xin Jiang, Milind Tambe, Fernando Ordóñez

Monte-Carlo Expectation Maximization for Dec-POMDPs

Feng Wu, Shlomo Zilberstein, Nicholas R. Jennings

Endogenous Boolean Games

Paolo Turrini

An Efficient Vector-Based Representation for Coalitional Games

Long Tran-Thanh, Tri-Dung Nguyen, Talal Rahwan, Alex Rogers, Nicholas R. Jennings

Multi-Dimensional Single-Peaked Consistency and Its Approximations

Xin Sui, Alex Francois-Nienaber, Craig Boutilier

Analysis and Optimization of Multi-Dimensional Percentile Mechanisms

Xin Sui, Craig Boutilier, Tuomas Sandholm

Bimodal Switching for Online Planning in Multiagent Settings

Ekhlas Sonu, Prashant Doshi

Fully Proportional Representation as Resource Allocation: Approximability Results

Piotr Skowron, Piotr Faliszewski, Arkadii Slinko

Efficiently Solving Joint Activity Based Security Games

Eric Shieh, Manish Jain, Albert Xin Jiang, Milind Tambe

Efficient Interdependent Value Combinatorial Auctions with Single Minded Bidders

Valentin Robu, David C. Parkes, Takayuki Ito, Nicholas R. Jennings

Opponent Models with Uncertainty for Strategic Argumentation

Tjitze Rienstra, Matthias Thimm, Nir Oren

Coalitional Games via Network Flows

Talal Rahwan, Tri-Dung Nguyen, Tomasz P. Michalak, Maria Polukarov, Madalina Croitoru

A Proof-Theoretical View of Collective Rationality

Daniele Porello

Efficient Vote Elicitation under Candidate Uncertainty

Joel Oren, Yuval Filmus, Craig Boutilier

Sufficient Plan-Time Statistics for Decentralized POMDPs

Frans A. Oliehoek

Computational Analysis of Connectivity Games with Applications to the Investigation of Terrorist Networks

Tomasz P. Michalak, Talal Rahwan, Nicholas R. Jennings, Piotr L. Szczepanski, Oskar Skibski

Control Complexity of Schulze Voting

Curtis Menton, Preetjot Singh

Multi-Agent Team Formation: Diversity Beats Strength?

Leandro Soriano Marcolino, Albert Xin Jiang, Milind Tambe

An Ambiguity Aversion Framework of Security Game under Ambiguities

Wenjun Ma, Xudong Luo, Weiru Liu

Multi-Winner Social Choice with Incomplete Preferences

Tyler Lu, Craig Boutilier

Game-Theoretic Question Selection for Tests

Yuqian Li, Vincent Conitzer

Efficient Learning in Linearly Solvable MDP Models

Ang Li, Paul R. Schrater

Agent Failures in All-Pay Auctions

Yoad Lewenberg, Omer Lev, Yoram Bachrach, Jeffrey S. Rosenschein

An Intelligent Broker Agent for Energy Trading: An MDP Approach

Rodrigue T. Kuate, Minghua He, Maria Chli, Hai H. Wang

A Social Welfare Optimal Sequential Allocation Procedure

Thomas Kalinowski, Nina Narodytska, Toby Walsh

Defender (Mis)Coordination in Security Games

Albert Xin Jiang, Ariel D. Procaccia, Yundi Qian, Nisarg Shah, Milind Tambe

A Framework to Choose Trust Models for Different E-Marketplace Environments

Athirai A. Irissappane, Siwei Jiang, Jie Zhang

A Game-Theoretic Machine Learning Approach for Revenue Maximization in Sponsored Search

Di He, Wei Chen, Liwei Wang, Tie-yan Liu

How to Change a Group’s Collective Decision?

Noam Hazon, Raz Lin, Sarit Kraus

Macau: A Basis for Evaluating Reputation Systems

Christopher J. Hazard, Munindar P. Singh

The Dynamics of Reinforcement Social Learning in Cooperative Multiagent Systems

Jianye Hao, Ho-fung Leung

Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the Iterated Prisoner’s Dilemma

The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts

Sequential Equilibrium in Computational Games

Joseph Y. Halpern, Rafael Pass

Opponent Modelling in Persuasion Dialogues

Christos Hadjinikolis, Yiannis Siantos, Sanjay Modgil, Elizabeth Black, Peter McBurney

Revenue Maximization via Hiding Item Attributes

Mingyu Guo, Argyrios Deligkas

Optimal Airline Ticket Purchasing Using Automated User-Guided Feature Selection

William Groves, Maria Gini

Audience-Based Uncertainty in Abstract Argument Games

Davide Grossi, Wiebe van der Hoek

A Matroid Approach to the Worst Case Allocation of Indivisible Goods

Laurent Gourvès, Jérôme Monnot, Lydia Tlilane

Bargaining for Revenue Shares on Tree Trading Networks

Arpita Ghosh, Satyen Kale, Kevin Lang, Benjamin Moseley

Action Translation in Extensive-Form Games with Large Action Spaces: Axioms, Paradoxes, and the Pseudo-Harmonic Mapping

Sam Ganzfried, Tuomas Sandholm

Control in the Presence of Manipulators: Cooperative and Competitive Cases

Zack Fitzsimmons, Edith Hemaspaandra, Lane A. Hemaspaandra

C-Link: A Hierarchical Clustering Approach to Large-Scale Near-Optimal Coalition Formation

Alessandro Farinelli, Manuele Bicego, Sarvapali Ramchurn, Mauro Zucchelli

Elicitation and Approximately Stable Matching with Partial Preferences

Joanna Drummond, Craig Boutilier

Optimally Solving Dec-POMDPs as Continuous-State MDPs

Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet

Intention-Aware Routing to Minimise Delays at Electric Vehicle Charging Stations

Mathijs M. de Weerdt, Enrico H. Gerding, Sebastian Stein, Valentin Robu, Nicholas R. Jennings

Kemeny Elections with Bounded Single-Peaked or Single-Crossing Width

Denis Cornaz, Lucie Galand, Olivier Spanjaard

Conditional Restricted Boltzmann Machines for Negotiations in Highly Competitive and Complex Domains

Siqi Chen, Haitham Bou Ammar, Karl Tuyls, Gerhard Weiss

Are There Any Nicely Structured Preference Profiles Nearby?

Robert Bredereck, Jiehua Chen, Gerhard J. Woeginger

Externalities in Cake Cutting

Simina Branzei, Ariel D. Procaccia, Jie Zhang

Using Double-Oracle Method and Serialized Alpha-Beta Search for Pruning in Simultaneous Move Games

Branislav Bosansky, Viliam Lisy, Jiri Cermák, Roman Vítek, Michal Pechoucek

Audit Games

Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha

Maximal Recursive Rule: A New Social Decision Scheme

Haris Aziz

Undecidability in Epistemic Planning

Guillaume Aucher, Thomas Bolander

Reasoning about Normative Update

Natasha Alechina, Mehdi Dastani, Brian Logan

Computational Disaster Management

Pascal Van Hentenryck

Soft Robotics: The Next Generation of Intelligent Machines

Rolf Pfeifer, Hugo Gravato Marques, Fumiya Iida

Computational Perspectives on Social Phenomena at Global Scales

Jon Kleinberg