IJCAI 2015

646 papers

Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search

Jimmy H. M. Lee, Zichen Zhu

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs

Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas

Solving QBF by Clause Selection

Mikoláš Janota, Joao Marques-Silva

Statistical Regimes and Runtime Prediction

Barry Hurley, Barry O'Sullivan

Expressive Logical Combinators for Free

Pierre Genevès, Alan Schmitt

ReACTR: Realtime Algorithm Configuration through Tournament Rankings

Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan

Combining Preference Elicitation and Search in Multiobjective State-Space Graphs

Nawal Benabbou, Patrice Perny

Multi-Armed Bandits for Adaptive Constraint Propagation

Amine Balafrej, Christian Bessiere, Anastasia Paparrizou

Exploiting the Structure of Unsatisfiable Cores in MaxSAT

Carlos Ansotegui, Frederic Didier, Joel Gabas

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning

Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran

On the Resiliency of Unit Propagation to Max-Resolution

André Abramé, Djamal Habet

Finding Diverse Solutions of High Quality to Constraint Optimization Problems

Thierry Petit, Andrew C. Trapp

Maximum Satisfiability Using Cores and Correction Sets

Nikolaj Bjorner, Nina Narodytska

Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT

Jeremias Berg, Paul Saikko, Matti Järvisalo

A Multicore Tool for Constraint Solving

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro

Selling Reserved Instances in Cloud Computing

Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu

Maximal Cooperation in Repeated Games on Social Networks

Catherine Moon, Vincent Conitzer

Mechanism Design and Implementation for Lung Exchange

Suiqian Luo, Pingzhong Tang

Bonus or Not? Learn to Reward in Crowdsourcing

Ming Yin, Yiling Chen

A Deterministic Partition Function Approximation for Exponential Random Graph Models

Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir

Context-Independent Claim Detection for Argument Mining

Marco Lippi, Paolo Torroni

Semi-Universal Portfolios with Transaction Costs

Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C.H. Hoi

Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation

Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting

Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty

Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh

Emotions in Argumentation: an Empirical Evaluation

Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery

Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman

Optimal Pricing for the Competitive and Evolutionary Cloud Market

Bolei Xu, Tao Qin, Guoping Qiu, Tie-yan Liu

Agile Planning for Real-World Disaster Response

Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden

An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling

Florian Wisser

Optimal Auctions for Partially Rational Bidders

Zihe Wang, Pingzhong Tang

Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory

Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu

Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings

Paolo Viappiani

Exchange of Indivisible Objects with Asymmetry

Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo

Revenue Maximization Envy-Free Pricing for Homogeneous Resources

Gianpiero Monaco, Piotr Sankowski, Qiang Zhang

The Power of Local Manipulation Strategies in Assignment Mechanisms

Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken

Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior

Danyan Lv, Zhaofeng Li, Yichuan Jiang

Tradeoffs between Incentive Mechanisms in Boolean Games

Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels

An Adaptive Computational Model for Personalized Persuasion

Yilin Kang, Ah-Hwee Tan, Chunyan Miao

Tractable Inquiry in Information-Rich Environments

Barbara Dunin-Kęplicz, Alina Strachocka

Structural Results for Cooperative Decentralized Control Models

Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin

Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams

Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen

Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs

Adam Clearwater, Clemens Puppe, Arkadii Slinko

Efficiency and Complexity of Price Competition Among Single-Product Vendors

Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas

Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities

Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer

Composing and Verifying Commitment-Based Multiagent Protocols

Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh

Optimal Incremental Preference Elicitation during Negotiation

Tim Baarslag, Enrico H. Gerding