Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence

Buenos Aires, Argentina, 25–31 July 2015.

Edited by Qiang Yang, Hong Kong University of Science and Technology,
and Michael Wooldridge, University of Oxford

Sponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)

Published by
AAAI Press / International Joint Conferences on Artificial Intelligence

Palo Alto, California USA


Copyright © 2015 International Joint Conferences on Artificial Intelligence
All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.

IJCAI Secretary-Treasurer: Prof. Dr. Bernhard Nebel, Computer Science Department, Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee, Geb. 052 D-79110 Freiburg, Germany

IJCAI Executive Secretary Ms. Vesna Sabljakovic-Fritz, Vienna University of Technology, Institute of Discrete Mathematics and Geometry, E104 Wiedner Hauptstr. 8-10, A-1040 Vienna, Austria

Copublished and Distributed by AAAI Press, 2275 East Bayshore Road, Suite 160, Palo Alto CA 94303 USA

ISBN 978-1-57735-738-4 (six-volume set)


Contents

Preface / xxxiii
Qiang Yang, Michael Wooldridge
Abstract  |  PDF

Conference Organization / xxxv
Qiang Yang
Abstract  |  PDF

Program Committee / xxix
Qiang Yang
Abstract  |  PDF

Conference Organizers and Sponsors / xxxviii
Qiang Yang
Abstract  |  PDF

Awards and Distinguished Papers / xxxix
Qiang Yang
Abstract  |  PDF

IJCAI Organization / xl
Qiang Yang
Abstract  |  PDF

Past IJCAI Conferences / xli
Qiang Yang
Abstract  |  PDF


Main Track — Agent and Multiagent Systems

Optimal Incremental Preference Elicitation during Negotiation / 3
Tim Baarslag, Enrico H. Gerding
Abstract  |  PDF

Composing and Verifying Commitment-Based Multiagent Protocols / 10
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Munindar P. Singh
Abstract  |  PDF

Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities / 18
Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer
Abstract  |  PDF

Efficiency and Complexity of Price Competition Among Single-Product Vendors / 25
Ioannis Caragiannis, Xenophon Chatzigeorgiou, Panagiotis Kanellopoulos, George A. Krimpas, Nikos Protopapas, Alexandros A. Voudouris
Abstract  |  PDF

Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs / 32
Adam Clearwater, Clemens Puppe, Arkadii Slinko
Abstract  |  PDF

Learning Behaviors in Agents Systems with Interactive Dynamic Influence Diagrams / 39
Ross Conroy, Yifeng Zeng, Marc Cavazza, Yingke Chen
Abstract  |  PDF

Structural Results for Cooperative Decentralized Control Models / 46
Jilles Steeve Dibangoye, Olivier Buffet, Olivier Simonin
Abstract  |  PDF

Tractable Inquiry in Information-Rich Environments / 53
Barbara Dunin-Kęplicz, Alina Strachocka
Abstract  |  PDF

An Adaptive Computational Model for Personalized Persuasion / 61
Yilin Kang, Ah-Hwee Tan, Chunyan Miao
Abstract  |  PDF

Tradeoffs between Incentive Mechanisms in Boolean Games / 68
Vadim Levit, Zohar Komarovsky, Tal Grinshpoun, Amnon Meisels
Abstract  |  PDF

Environment-Driven Social Force Model: Lévy Walk Pattern in Collective Behavior / 75
Danyan Lv, Zhaofeng Li, Yichuan Jiang
Abstract  |  PDF

The Power of Local Manipulation Strategies in Assignment Mechanisms / 82
Timo Mennle, Michael Weiss, Basil Philipp, Sven Seuken
Abstract  |  PDF

Revenue Maximization Envy-Free Pricing for Homogeneous Resources / 90
Gianpiero Monaco, Piotr Sankowski, Qiang Zhang
Abstract  |  PDF

Exchange of Indivisible Objects with Asymmetry / 97
Zhaohong Sun, Hideaki Hata, Taiki Todo, Makoto Yokoo
Abstract  |  PDF

Characterization of Scoring Rules with Distances: Application to the Clustering of Rankings / 104
Paolo Viappiani
Abstract  |  PDF

Quantifying Robustness of Trust Systems against Collusive Unfair Rating Attacks Using Information Theory / 111
Dongxia Wang, Tim Muller, Jie Zhang, Yang Liu
Abstract  |  PDF

Optimal Auctions for Partially Rational Bidders / 118
Zihe Wang, Pingzhong Tang
Abstract  |  PDF

An Expert-Level Card Playing Agent Based on a Variant of Perfect Information Monte Carlo Sampling / 125
Florian Wisser
Abstract  |  PDF

Agile Planning for Real-World Disaster Response / 132
Feng Wu, Sarvapali D. Ramchurn, Wenchao Jiang, Jeol E. Fischer, Tom Rodden, Nicholas R. Jennings
Abstract  |  PDF

Optimal Pricing for the Competitive and Evolutionary Cloud Market / 139
Bolei Xu, Tao Qin, Guoping Qiu, Tie-Yan Liu
Abstract  |  PDF

Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery / 146
Yexiang Xue, Stefano Ermon, Carla P. Gomes, Bart Selman
Abstract  |  PDF


Main Track — Artificial Intelligence and Social Sciences

Emotions in Argumentation: an Empirical Evaluation / 156
Sahbi Benlamine, Maher Chaouachi, Serena Villata, Elena Cabrio, Claude Frasson, Fabien Gandon
Abstract  |  PDF

Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty / 164
Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh
Abstract  |  PDF

Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation / 171
Fabian Hadiji, Martin Mladenov, Christian Bauckhage, Kristian Kersting
Abstract  |  PDF

Semi-Universal Portfolios with Transaction Costs / 178
Dingjiang Huang, Yan Zhu, Bin Li, Shuigeng Zhou, Steven C.H. Hoi
Abstract  |  PDF

Context-Independent Claim Detection for Argument Mining / 185
Marco Lippi, Paolo Torroni
Abstract  |  PDF

A Deterministic Partition Function Approximation for Exponential Random Graph Models / 192
Wen Pu, Jaesik Choi, Yunseong Hwang, Eyal Amir
Abstract  |  PDF

Bonus or Not? Learn to Reward in Crowdsourcing / 201
Ming Yin, Yiling Chen
Abstract  |  PDF


Main Track — Auctions and Market-Based Systems

Mechanism Design and Implementation for Lung Exchange / 209
Suiqian Luo, Pingzhong Tang
Abstract  |  PDF

Maximal Cooperation in Repeated Games on Social Networks / 216
Catherine Moon, Vincent Conitzer
Abstract  |  PDF

Selling Reserved Instances in Cloud Computing / 224
Changjun Wang, Weidong Ma, Tao Qin, Xujin Chen, Xiaodong Hu, Tie-Yan Liu
Abstract  |  PDF


Main Track — Constraint Optimization

A Multicore Tool for Constraint Solving / 232
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Abstract  |  PDF

Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT / 239
Jeremias Berg, Paul Saikko, Matti Järvisalo
Abstract  |  PDF

Maximum Satisfiability Using Cores and Correction Sets / 246
Nikolaj Bjorner, Nina Narodytska
Abstract  |  PDF

IJCAI-15 Distinguished Paper
Recursive Decomposition for Nonconvex Optimization / 253
Abram L. Friesen, Pedro Domingos
Abstract  |  PDF

Finding Diverse Solutions of High Quality to Constraint Optimization Problems / 260
Thierry Petit, Andrew C. Trapp
Abstract  |  PDF


Main Track — Constraints, Satisfiability, and Search

On the Resiliency of Unit Propagation to Max-Resolution / 268
André Abramé, Djamal Habet
Abstract  |  PDF

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning / 275
Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran
Abstract  |  PDF

Exploiting the Structure of Unsatisfiable Cores in MaxSAT / 283
Carlos Ansotegui, Frederic Didier, Joel Gabas
Abstract  |  PDF

Multi-Armed Bandits for Adaptive Constraint Propagation / 290
Amine Balafrej, Christian Bessiere, Anastasia Paparrizou
Abstract  |  PDF

Combining Preference Elicitation and Search in Multiobjective State-Space Graphs / 297
Nawal Benabbou, Patrice Perny
Abstract  |  PDF

ReACTR: Realtime Algorithm Configuration through Tournament Rankings / 304
Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan
Abstract  |  PDF

Expressive Logical Combinators for Free / 311
Pierre Geneves, Alan Schmitt
Abstract  |  PDF

Statistical Regimes and Runtime Prediction / 318
Barry Hurley, Barry O'Sullivan
Abstract  |  PDF

Solving QBF by Clause Selection / 325
Mikolas Janota, Joao Marques-Silva
Abstract  |  PDF

Compiling Constraint Networks into Multivalued Decomposable Decision Graphs / 332
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis, Samuel Thomas
Abstract  |  PDF

Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search / 339
Jimmy H. M. Lee, Zichen Zhu
Abstract  |  PDF

Multi-Pass High-Level Presolving / 346
Kevin Leo, Guido Tack
Abstract  |  PDF

Decomposition of the Factor Encoding for CSPs / 353
Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap
Abstract  |  PDF

Towards Automatic Dominance Breaking for Constraint Optimization Problems / 360
Christopher Mears, Maria Garcia de la Banda
Abstract  |  PDF

On the Empirical Time Complexity of Random 3-SAT at the Phase Transition / 367
Zongxu Mu, Holger H. Hoos
Abstract  |  PDF

Efficient Operations On MDDs for Building Constraint Programming Models / 374
Guillaume Perez, Jean-Charles Régin
Abstract  |  PDF

Personalized Mathematical Word Problem Generation / 381
Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popović
Abstract  |  PDF

On Constrained Boolean Pareto Optimization / 389
Chao Qian, Yang Yu, Zhi-Hua Zhou
Abstract  |  PDF

Packing Curved Objects / 396
Ignacio Antonio Salas Donoso, Gilles Chabert
Abstract  |  PDF

Efficient Algorithms with Performance Guarantees for the Stochastic Multiple-Choice Knapsack Problem / 403
Long Tran-Thanh, Yingce Xia, Tao Qin, Nicholas R Jennings
Abstract  |  PDF


Main Track — Distributed Search/CSP/Optimization

Probabilistic Inference Based Message-Passing for Resource Constrained DCOPs / 411
Supriyo Ghosh, Akshat Kumar, Pradeep Varakantham
Abstract  |  PDF

Collective Biobjective Optimization Algorithm for Parallel Test Paper Generation / 418
Minh Luan Nguyen, Siu Cheung Hui, Alvis C. M. Fong
Abstract  |  PDF

Max-Sum Goes Private / 425
Tamir Tassa, Roie Zivan, Tal Grinshpoun
Abstract  |  PDF

Applying Max-Sum to Asymmetric Distributed Constraint Optimization / 432
Roie Zivan, Tomer Parash, Yarden Naveh
Abstract  |  PDF


Main Track — Game Theory

A Bargaining Mechanism for One-Way Games / 440
Andres Abeliuk, Gerardo Berbeglia, Pascal Van Hentenryck
Abstract  |  PDF

Strategic Network Formation through an Intermediary / 447
Elliot Anshelevich, Onkar Bhardwaj, Koushik Kar
Abstract  |  PDF

The Adjusted Winner Procedure: Characterizations and Equilibria / 454
Haris Aziz, Simina Brânzei, Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen
Abstract  |  PDF

Welfare Maximization in Fractional Hedonic Games / 461
Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Julian Mestre, Hanjo Taubig
Abstract  |  PDF

Possible and Necessary Allocations via Sequential Mechanisms / 468
Haris Aziz, Toby Walsh, Lirong Xia
Abstract  |  PDF

Learning Cooperative Games / 475
Maria Florina Balcan, Ariel D. Procaccia, Yair Zick
Abstract  |  PDF

A Dictatorship Theorem for Cake Cutting / 482
Simina Brânzei, Peter Bro Miltersen
Abstract  |  PDF

Simultaneous Abstraction and Equilibrium Finding in Games / 489
Noam Brown, Tuomas Sandholm
Abstract  |  PDF

Incentivizing Peer Grading in MOOCS: An Audit Game Approach / 497
Alejandro Uriel Carbonara, Anupam Datta, Arunesh Sinha, Yair Zick
Abstract  |  PDF

Approximate Nash Equilibria with Near Optimal Social Welfare / 504
Artur Czumaj, Michail Fasoulakis, Marcin Jurdzinski
Abstract  |  PDF

Influence in Classification via Cooperative Game Theory / 511
Amit Datta, Anupam Datta, Ariel D. Procaccia, Yair Zick
Abstract  |  PDF

SAT Is an Effective and Complete Method for Solving Stable Matching Problems with Couples / 518
Joanna Drummond, Andrew Perrault, Fahiem Bacchus
Abstract  |  PDF

Optimal Network Security Hardening Using Attack Graph Games / 526
Karel Durkota, Viliam Lisý, Branislav Bošanský, Christopher Kiekintveld
Abstract  |  PDF

Gibbard–Satterthwaite Games / 533
Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko
Abstract  |  PDF

Equilibrium Refinement through Negotiation in Binary Voting / 540
Umberto Grandi, Davide Grossi, Paolo Turrini
Abstract  |  PDF

Structural Tractability of Shapley and Banzhaf Values in Allocation Games / 547
Gianluigi Greco, Francesco Lupia, Francesco Scarcello
Abstract  |  PDF

Smooth UCT Search in Computer Poker / 554
Johannes Heinrich, David Silver
Abstract  |  PDF

Fixing Tournaments for Kings, Chokers, and More / 561
Michael P. Kim, Virginia Vassilevska Williams
Abstract  |  PDF

A Characterization of n-Player Strongly Monotone Scheduling Mechanisms / 568
Annamaria Kovacs, Angelina Vidali
Abstract  |  PDF

Limited Lookahead in Imperfect-Information Games / 575
Christian Kroer, Tuomas Sandholm
Abstract  |  PDF

Impartial Peer Review / 582
David Kurokawa, Omer Lev, Jamie Morgenstern, Ariel D. Procaccia
Abstract  |  PDF

Truthful Cake Cutting Mechanisms with Externalities: Do Not Make Them Care for Others Too Much! / 589
Minming Li, Jialin Zhang, Qiang Zhang
Abstract  |  PDF

Equilibrium Analysis of Multi-Defender Security Games / 596
Jian Lou, Yevgeniy Vorobeychik
Abstract  |  PDF

When Does Schwartz Conjecture Hold? / 603
Matthias Mnich, Yash Raj Shrestha, Yongjie Yang
Abstract  |  PDF

Strategic Candidacy Games with Lazy Candidates / 610
Svetlana Obraztsova, Edith Elkind, Maria Polukarov, Zinovi Rabinovich
Abstract  |  PDF

Simple Causes of Complexity in Hedonic Games / 617
Dominik Peters, Edith Elkind
Abstract  |  PDF

Convergence to Equilibria in Strategic Candidacy / 624
Maria Polukarov, Svetlana Obraztsova, Zinovi Rabinovich, Alexander Kruglyi, Nicholas R. Jennings
Abstract  |  PDF

A Pseudo-Polynomial Algorithm for Computing Power Indices in Graph-Restricted Weighted Voting Games / 631
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Makoto Yokoo
Abstract  |  PDF

The Game-Theoretic Interaction Index on Social Networks with Applications to Link Prediction and Community Detection / 638
Piotr Lech Szczepański, Aleksy Stanisław Barcz, Tomasz Paweł Michalak, Talal Rahwan
Abstract  |  PDF

Solving Heads-Up Limit Texas Hold'em / 645
Oskari Tammelin, Neil Burch, Michael Johanson, Michael Bowling
Abstract  |  PDF

Envy-Free Sponsored Search Auctions with Budgets / 653
Bo Tang, Jinshan Zhang
Abstract  |  PDF

Implementing the Wisdom of Waze / 660
Shoshana Vasserman, Michal Feldman, Avinatan Hassidim
Abstract  |  PDF

Spiteful Bidding in the Dollar Auction / 667
Marcin Waniek, Agata Nieścieruk, Tomasz Michalak, Talal Rahwan
Abstract  |  PDF

Security Games with Information Leakage: Modeling and Computation / 674
Haifeng Xu, Albert Xing Jiang, Arunesh Sinha, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe
Abstract  |  PDF

Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs / 681
Yue Yin, Haifeng Xu, Jiarui Gan, Bo An, Albert Xin Jiang
Abstract  |  PDF


Main Track — Graphical Models

From Weighted to Unweighted Model Counting / 689
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
Abstract  |  PDF

Pushing Forward Marginal MAP with Best-First Search / 696
Radu Marinescu, Rina Dechter, Alexander Ihler
Abstract  |  PDF

Indirect Causes in Dynamic Bayesian Networks Revisited / 703
Alexander Motzek, Ralf Möller
Abstract  |  PDF

Differential Semantics of Intervention in Bayesian Networks / 710
Biao Qin
Abstract  |  PDF

Bayesian Modelling of Community-Based Multidimensional Trust in Participatory Sensing under Data Sparsity / 717
Matteo Venanzi, Luke Teacy, Alex Rogers, Nick Jennings
Abstract  |  PDF

A Unified Model for Unsupervised Opinion Spamming Detection Incorporating Text Generality / 725
Yinqing Xu, Bei Shi, Wentao Tian, Wai Lam
Abstract  |  PDF


Main Track — Heuristic Search

Model-Based Genetic Algorithms for Algorithm Configuration / 733
Carlos Ansotegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney
Abstract  |  PDF

ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding / 740
Eli Boyarski, Ariel Felner, Roni Stern, Guni Sharon, David Tolpin, Oded Betzalel, Eyal Shimony,
Abstract  |  PDF

Balance between Complexity and Quality: Local Search for Minimum Vertex Cover in Massive Graphs / 747
Shaowei Cai
Abstract  |  PDF

Generalized Rapid Action Value Estimation / 754
Tristan Cazenave
Abstract  |  PDF

A Fast Goal Recognition Technique Based on Interaction Estimates / 761
Yolanda E-Martin, Maria D. R-Moreno, David E. Smith
Abstract  |  PDF

Interplanetary Trajectory Planning with Monte Carlo Tree Search / 769
Daniel Hennes, Dario Izzo
Abstract  |  PDF

FlashNormalize: Programming by Examples for Text Normalization / 776
Dileep Kini, Sumit Gulwani
Abstract  |  PDF

Efficient Search with an Ensemble of Heuristics / 784
Mike Phillips, Venkatraman Narayanan, Sandip Aine, Maxim Likhachev
Abstract  |  PDF

Compositional Program Synthesis from Natural Language and Examples / 792
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Abstract  |  PDF

Mining Expert Play to Guide Monte Carlo Search in the Opening Moves of Go / 801
Erik S. Steinmetz, Maria Gini
Abstract  |  PDF

H-Index Manipulation by Merging Articles: Models, Theory, and Experiments / 808
René van Bevern, Christian Komusiewicz, Rolf Niedermeier, Manuel Sorge, Toby Walsh
Abstract  |  PDF

Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs / 815
Nic Wilson, Abdul Razak, Radu Marinescu
Abstract  |  PDF


Main Track — Knowledge Acquisition

Mining Definitions from RDF Annotations Using Formal Concept Analysis / 823
Mehwish Alam, Aleksey Buzmakov, Victor Codocedo, Amedeo Napoli
Abstract  |  PDF

Personalizing Product Rankings Using Collaborative Filtering on Opinion-Derived Topic Profiles / 830
Claudiu Cristian Musat, Boi Faltings
Abstract  |  PDF

AskWorld: Budget-Sensitive Query Evaluation for Knowledge-on-Demand / 837
Mehdi Samadi, Partha Talukdar, Manuela Veloso, Tom Mitchell
Abstract  |  PDF

Building Hierarchies of Concepts via Crowdsourcing / 844
Yuyin Sun, Adish Singla, Dieter Fox, Andreas Krause
Abstract  |  PDF


Main Track — Knowledge Representation, Reasoning, and Logic

Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems / 854
Francesco Belardinelli, Davide Grossi, Alessio Lomuscio
Abstract  |  PDF

Formal Analysis of Dialogues on Infinite Argumentation Frameworks / 861
Francesco Belardinelli, Davide Grossi, Nicolas Maudet
Abstract  |  PDF

On the Graded Acceptability of Arguments / 868
Davide Grossi, Sanjay Modgil
Abstract  |  PDF

A Common-Sense Conceptual Categorization System Integrating Heterogeneous Proxytypes and the Dual Process of Reasoning / 875
Antonio Lieto, Daniele Paolo Radicioni, Valentina Rho
Abstract  |  PDF

A Simple Probabilistic Extension of Modal Mu-calculus / 882
Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang
Abstract  |  PDF

The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages / 889
Denis Deratani Maua, Cassio Polpo de Campos, Fabio Gagliardi Cozman
Abstract  |  PDF

Dissecting German Grammar and Swiss Passports: Open-Domain Decomposition of Compositional Entries in Large-Scale Knowledge Repositories / 896
Marius Pasca, Hylke Buisman
Abstract  |  PDF

Automatic Generation of Raven’s Progressive Matrices / 903
Ke Wang, Zhendong Su
Abstract  |  PDF

From Raw Sensor Data to Detailed Spatial Knowledge / 910
Peng Zhang, Jae Hee Lee, Jochen Renz
Abstract  |  PDF


Main Track — Machine Learning

Using a Recursive Neural Network to Learn an Agent's Decision Model for Plan Recognition / 918
Francis Bisson, Hugo Larochelle, Froduald Kabanza
Abstract  |  PDF

Biclustering Gene Expressions Using Factor Graphs and the Max-Sum Algorithm / 925
Matteo Denitto, Alessandro Farinelli, Manuele Bicego
Abstract  |  PDF

Greedy Structure Search for Sum-Product Networks / 932
Aaron Dennis, Dan Ventura
Abstract  |  PDF

On the Consistency of AUC Pairwise Optimization / 939
Wei Gao, Zhi-Hua Zhou
Abstract  |  PDF

Multi-Label Active Learning: Query Type Matters / 946
Sheng-Jun Huang, Songcan Chen, Zhi-Hua Zhou
Abstract  |  PDF

Joint Learning of Constituency and Dependency Grammars by Decomposed Cross-Lingual Induction / 953
Wenbin Jiang, Qun Liu, Thepchai Supnithi
Abstract  |  PDF

Mobility Profiling for User Verification with Anonymized Location Data / 960
Miao Lin, Hong Cao, Vincent Zheng, Kevin Chen-Chuan Chang, Shonali Krishnaswamy
Abstract  |  PDF

Analysis of Sampling Algorithms for Twitter / 967
Deepan Subrahmanian Palguna, Vikas Joshi, Venkatesan Chakaravarthy, Ravi Kothari, LV Subramaniam
Abstract  |  PDF

Portfolio Choices with Orthogonal Bandit Learning / 974
Weiwei Shen, Jun Wang, Yu-Gang Jiang, Hongyuan Zha
Abstract  |  PDF

Information Gathering in Networks via Active Exploration / 891
Adish Singla, Eric Horvitz, Pushmeet Kohli, Ryen White, Andreas Krause
Abstract  |  PDF

Medical Synonym Extraction with Concept Space Models / 989
Chang Wang, Liangliang Cao, Bowen Zhou
Abstract  |  PDF

Detecting Emotions in Social Media: A Constrained Optimization Approach / 996
Yichen Wang, Aditya Pal
Abstract  |  PDF

Regression Model Fitting under Differential Privacy and Model Inversion Attack / 1003
Yue Wang, Cheng Si, Xintao Wu
Abstract  |  PDF

Correcting Covariate Shift with the Frank-Wolfe Algorithm / 1010
Junfeng Wen, Russell Greiner, Dale Schuurmans
Abstract  |  PDF

Cognitive Modelling for Predicting Examinee Performance / 1017
Runze Wu, Qi Liu, Yuping Liu, Enhong Chen, Yu Su, Zhigang Chen, Guoping Hu
Abstract  |  PDF

Opportunities or Risks to Reduce Labor in Crowdsourcing Translation? Characterizing Cost versus Quality via a PageRank-HITS Hybrid Model / 1025
Rui Yan, Yiping Song, Cheng-Te Li, Ming Zhang, Xiaohua Hu
Abstract  |  PDF

Auxiliary Information Regularized Machine for Multiple Modality Feature Learning / 1033
Yang Yang, Han-Jia Ye, De-Chuan Zhan, Yuan Jiang
Abstract  |  PDF

Discriminative Reordering Model Adaptation via Structural Learning / 1040
Biao Zhang, Jinsong Su, Deyi Xiong, Hong Duan, Junfeng Yao
Abstract  |  PDF

Revisiting Gaussian Process Dynamical Models / 1047
Jing Zhao, Shiliang Sun
Abstract  |  PDF

Character-Based Parsing with Convolutional Neural Network / 1054
Xiaoqing Zheng, Haoyuan Peng, Yi Chen, Pengjing Zhang, Wenqiang Zhang
Abstract  |  PDF

Active Learning from Crowds with Unsure Option / 1061
Jinhong Zhong, Ke Tang, Zhi-Hua Zhou
Abstract  |  PDF


Main Track — Model Verification / Model Checking

Symbolic Model Checking for One-Resource RB+-ATL / 1069
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
Abstract  |  PDF

The Complexity of Model Checking Succinct Multiagent Systems / 1076
Xiaowei Huang, Qingliang Chen, Kaile Su
Abstract  |  PDF

Verifying Emergent Properties of Swarms / 1083
Panagiotis Kouvaros, Alessio Lomuscio
Abstract  |  PDF

Pushdown Multi-Agent System Verification / 1090
Aniello Murano, Giuseppe Perelli
Abstract  |  PDF


Main Track — Multiagent Systems

A Scalable Interdependent Multi-Issue Negotiation Protocol for Energy Exchange / 1098
Muddasser Alam, Enrico H. Gerding, Alex Rogers, Sarvapali D. Ramchurn
Abstract  |  PDF

Equilibria Under the Probabilistic Serial Rule / 1105
Haris Aziz, Serge Gaspers, Simon Mackenzie, Nicholas Mattei, Nina Narodytska, Toby Walsh
Abstract  |  PDF

Towards City-Scale Mobile Crowdsourcing: Task Recommendations under Trajectory Uncertainties / 1113
Cen Chen, Shih-Fen Cheng, Hoong Chuin Lau, Archan Misra
Abstract  |  PDF

Estimating the Margin of Victory of an Election Using Sampling / 1120
Palash Dey, Y. Narahari
Abstract  |  PDF

Strategy-Proofness of Scoring Allocation Correspondences for Indivisible Goods / 1127
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe
Abstract  |  PDF

Spectrum-Based Fault Localisation for Multi-Agent Systems / 1134
Lúcio S. Passos, Rui Abreu, Rosaldo J. F. Rossetti
Abstract  |  PDF

What Do We Elect Committees For? A Voting Committee Model for Multi-Winner Rules / 1141
Piotr Krzysztof Skowron
Abstract  |  PDF


Main Track — Multidisciplinary Topics and Applications

Algorithmic Exam Generation / 1149
Omer Geiger, Shaul Markovitch
Abstract  |  PDF

The Right to Obscure: A Mechanism and Initial Evaluation / 1156
Eric Hsin-Chun Huang, Jaron Lanier, Yoav Shoham
Abstract  |  PDF

A New Input Method for Human Translators: Integrating Machine Translation Effectively and Imperceptibly / 1163
Guoping Huang, Jiajun Zhang, Yu Zhou, Chengqing Zong
Abstract  |  PDF

Combining Eye Movements and EEG to Enhance Emotion Recognition / 1170
Yifei Lu, Wei-Long Zheng, Binbin Li, Bao-Liang Lu
Abstract  |  PDF

Handling Complex Commands as Service Robot Task Requests / 1177
Vittorio Perera, Manuela Veloso
Abstract  |  PDF

A Study of Human-Agent Collaboration for Multi-UAV Task Allocation in Dynamic Environments / 1184
Sarvapali D. Ramchurn, Joel E Fischer, Yuki Ikuno, Feng Wu, Jack Flann, Antony Waldock
Abstract  |  PDF

Automated Geometry Theorem Proving for Human-Readable Proofs / 1193
Ke Wang, Zhendong Su
Abstract  |  PDF

Offline Sketch Parsing via Shapeness Estimation / 1200
Jie Wu, Changhu Wang, Liqing Zhang, Yong Rui
Abstract  |  PDF


Main Track — Natural Language Processing

Multi-Document Abstractive Summarization Using ILP Based Multi-Sentence Compression / 1208
Siddhartha Banerjee, Prasenjit Mitra, Kazunari Sugiyama
Abstract  |  PDF

Do We Criticise (and Laugh) in the Same Way? Automatic Detection of Multi-Lingual Satirical News in Twitter / 1215
Francesco Barbieri, Francesco Ronzano, Horacio Saggion
Abstract  |  PDF

Embedding Semantic Relations into Word Representations / 1222
Danushka Bollegala, Takanori Maehara, Ken-ichi Kawarabayashi
Abstract  |  PDF

Positive, Negative, or Neutral: Learning an Expanded Opinion Lexicon from Emoticon-Annotated Tweets / 1229
Felipe Bravo-Marquez, Eibe Frank, Bernhard Pfahringer
Abstract  |  PDF

Joint Learning of Character and Word Embeddings / 1236
Xinxiong Chen, Lei Xu, Zhiyuan Liu, Maosong Sun, Huanbo Luan
Abstract  |  PDF

A Hybrid Neural Model for Type Classification of Entity Mentions / 1243
Li Dong, Furu Wei, Hong Sun, Ming Zhou, Ke Xu
Abstract  |  PDF

Iterative Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora / 1250
Meiping Dong, Yang Liu, Huanbo Luan, Maosong Sun, Tatsuya Izuha, Dakun Zhang
Abstract  |  PDF

Word-Error Correction of Continuous Speech Recognition Based on Normalized Relevance Distance / 1257
Yohei Fusayasu, Katsuyuki Tanaka, Tetsuya Takiguchi, Yasuo Ariki
Abstract  |  PDF

Joint POS Tagging and Text Normalization for Informal Text / 1263
Chen Li, Yang Liu
Abstract  |  PDF

Reader-Aware Multi-Document Summarization via Sparse Coding / 1270
Piji Li, Lidong Bing, Wai Lam, Hang Li, Yi Liao
Abstract  |  PDF

Incorporating Domain and Sentiment Supervision in Representation Learning for Domain Adaptation / 1277
Biao Liu, Minlie Huang, Jiashen Sun, Xuan Zhu
Abstract  |  PDF

Learning Context-Sensitive Word Embeddings with Neural Tensor Skip-Gram Model / 1284
Pengfei Liu, Xipeng Qiu, Xuanjing Huang
Abstract  |  PDF

Automated Rule Selection for Aspect Extraction in Opinion Mining / 1291
Qian Liu, Zhiqiang Gao, Bing Liu, Yuanlin Zhang
Abstract  |  PDF

Integrating Importance, Non-Redundancy and Coherence in Graph-Based Extractive Summarization / 1298
Daraksha Parveen, Michael Strube
Abstract  |  PDF

Convolutional Neural Tensor Network Architecture for Community-Based Question Answering / 1305
Xipeng Qiu, Xuanjing Huang
Abstract  |  PDF

An Active Learning Approach to Coreference Resolution / 1312
Mrinmaya Sachan, Eduard Hovy, Eric P. Xing
Abstract  |  PDF

Towards Addressing the Winograd Schema Challenge — Building and Using a Semantic Parser and a Knowledge Hunting Module / 1319
Arpit Sharma, Nguyen H Vo, Somak Aditya, Chitta Baral
Abstract  |  PDF

On Conceptual Labeling of a Bag of Words / 1326
Xiangyan Sun, Yanghua Xiao, Haixun Wang, Wei Wang
Abstract  |  PDF

Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation / 1333
Yaming Sun, Lei Lin, Duyu Tang, Nan Yang, Zhenzhou Ji, Xiaolong Wang
Abstract  |  PDF

User Modeling with Neural Network for Review Rating Prediction / 1340
Duyu Tang, Bing Qin, Ting Liu, Yuekui Yang
Abstract  |  PDF

Target-Dependent Twitter Sentiment Classification with Rich Automatic Features / 1347
Duy-Tin Vo, Yue Zhang
Abstract  |  PDF

Syntax-Based Deep Matching of Short Texts / 1354
Mingxuan Wang, Zhengdong Lu, Hang Li, Qun Liu
Abstract  |  PDF

Modeling Quantum Entanglements in Quantum Language Models / 1362
Mengjiao Xie, Yuexian Hou, Peng Zhang, Jingfei Li, Wenjie Li, Dawei Song
Abstract  |  PDF

Convolutional Neural Networks for Text Hashing / 1369
Jiaming Xu, Peng Wang, Guanhua Tian, Bo Xu, Jun Zhao, Fangyuan Wang, Hongwei Hao
Abstract  |  PDF

Compressive Document Summarization via Sparse Optimization / 1376
Jin-ge Yao, Xiaojun Wan, Jianguo Xiao
Abstract  |  PDF

Optimizing Sentence Modeling and Selection for Document Summarization / 1383
Wenpeng Yin, Yulong Pei
Abstract  |  PDF

Learning Term Embeddings for Hypernymy Identification / 1390
Zheng Yu, Haixun Wang, Xuemin Lin, Min Wang
Abstract  |  PDF

Local Translation Prediction with Global Sentence Representation / 1398
Jiajun Zhang, Dakun Zhang, Jie Hao
Abstract  |  PDF

Prior-Based Dual Additive Latent Dirichlet Allocation for User-Item Connected Documents / 1405
Wei Zhang, Jianyong Wang
Abstract  |  PDF

Representation Learning for Measuring Entity Relatedness with Rich Information / 1412
Yu Zhao, Zhiyuan Liu, Maosong Sun
Abstract  |  PDF

Linking Heterogeneous Input Features with Pivots for Domain Adaptation / 1419
Guangyou Zhou, Tingting He, Wensheng Wu, Xiaohua Tony Hu
Abstract  |  PDF

A Subspace Learning Framework for Cross-Lingual Sentiment Classification with Partial Parallel Data / 1426
Guangyou Zhou, Tingting He, Jun Zhao, Wensheng Wu
Abstract  |  PDF |  Erratum


Main Track — Ontologies

Unsupervised Learning of an IS-A Taxonomy from a Limited Domain-Specific Corpus / 1434
Daniele Alfarone, Jesse Davis
Abstract  |  PDF

Coherence Across Components in Cognitive Systems — One Ontology to Rule Them All / 1442
Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Abstract  |  PDF

How to Select One Preferred Assertional-Based Repair from Inconsistent and Prioritized DL-Lite Knowledge Bases? / 1450
Salem Benferhat, Zied Bouraoui, Karim Tabia
Abstract  |  PDF

Scalable Maintenance of Knowledge Discovery in an Ontology Stream / 1457
Freddy Lecue
Abstract  |  PDF

Bootstrapping Domain Ontologies from Wikipedia: A Uniform Approach / 1464
Daniil Mirylenka, Andrea Passerini, Luciano Serafini
Abstract  |  PDF

An Ontology Matching Approach Based on Affinity-Preserving Random Walks / 1471
Chuncheng Xiang, Baobao Chang, Zhifang Sui
Abstract  |  PDF


Main Track — Planning

Exploiting Symmetries by Planning for a Descriptive Quotient / 1479
Mohammad Abdulaziz, Michael Norrish, Charles Gretton
Abstract  |  PDF

Cost-Optimal and Net-Benefit Planning — A Parameterised Complexity View / 1487
Meysam Aghighi, Christer Bäckström
Abstract  |  PDF

On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic / 1494
Natasha Alechina, Nils Bulling, Brian Logan, Hoang Nga Nguyen
Abstract  |  PDF

Tight Bounds for HTN Planning with Task Insertion / 1502
Ron Alford, Pascal Bercher, David W. Aha
Abstract  |  PDF

ASAP-UCT: Abstraction of State-Action Pairs in UCT / 1509
Ankit Anand, Aditya Grover, Mausam, Parag Singla
Abstract  |  PDF

Further Connections Between Contract-Scheduling and Ray-Searching Problems / 1516
Spyros Angelopoulos
Abstract  |  PDF

Temporal Planning with Semantic Attachment of Non-Linear Monotonic Continuous Behaviours / 1523
Josef Bajada, Maria Fox, Derek Long
Abstract  |  PDF

A Privacy Preserving Algorithm for Multi-Agent Planning and Search / 1530
Ronen Israel Brafman
Abstract  |  PDF

Exploiting Block Deordering for Improving Planners Efficiency / 1537
Lukáš Chrpa, Fazlul Hasan Siddiqui
Abstract  |  PDF

On the Online Generation of Effective Macro-Operators / 1544
Lukáš Chrpa, Mauro Vallati, Thomas Leo McCluskey
Abstract  |  PDF

Estimating the Probability of Meeting a Deadline in Hierarchical Plans / 1551
Liat Cohen, Solomon Eyal Shimony, Gera Weiss
Abstract  |  PDF

Synthesis for LTL and LDL on Finite Traces / 1558
Giuseppe De Giacomo, Moshe Vardi
Abstract  |  PDF

Mixed Discrete-Continuous Heuristic Generative Planning Based on Flow Tubes / 1565
Enrique Fernandez-Gonzalez, Erez Karpas, Brian C. Williams
Abstract  |  PDF

Delete Relaxations for Planning with State-Dependent Action Costs / 1573
Florian Geißer, Thomas Keller, Robert Mattmüller
Abstract  |  PDF

Optimal Planning with Axioms / 1580
Franc Ivankovic, Patrik Haslum
Abstract  |  PDF

Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications / 1587
Bruno Lacerda, David Parker, Nick Hawes
Abstract  |  PDF

Probabilistic Knowledge-Based Programs / 1594
Jérôme Lang, Bruno Zanuttini
Abstract  |  PDF

Metareasoning for Planning Under Uncertainty / 1601
Christopher H. Lin, Andrey Kolobov, Ece Kamar, Eric Horvitz
Abstract  |  PDF

Classical Planning with Simulators: Results on the Atari Video Games / 1610
Nir Lipovetzky, Miquel Ramirez, Hector Geffner
Abstract  |  PDF

Action2Activity: Recognizing Complex Activities from Sensor Data / 1617
Ye Liu, Liqiang Nie, Lei Han, Luming Zhang, David S. Rosenblum
Abstract  |  PDF

Exploratory Digraph Navigation Using A* / 1624
Fabrice Mayran de Chamisso, Laurent Soulier, Michaël Aupetit
Abstract  |  PDF

Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations / 1631
Andrea Micheli, Minh Do, David E. Smith
Abstract  |  PDF

Sorting Sequential Portfolios in Automated Planning / 1638
Sergio Núñez, Daniel Borrajo, Carlos Linares López
Abstract  |  PDF

Factored Upper Bounds for Multiagent Planning Problems under Uncertainty with Non-Factored Value Functions / 1645
Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Stefan John Witwicki
Abstract  |  PDF

Adversarial Hierarchical-Task Network Planning for Complex Real-Time Games / 1652
Santiago Ontanon, Michael Buro
Abstract  |  PDF

Models of Action Concurrency in Temporal Planning / 1659
Jussi Rintanen
Abstract  |  PDF

Point-Based Planning for Multi-Objective POMDPs / 1666
Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek
Abstract  |  PDF

Deordering and Numeric Macro Actions for Plan Repair / 1673
Enrico Scala, Pietro Torasso
Abstract  |  PDF

Planning for Stochastic Games with Co-Safe Objectives / 1682
Lei Song, Yuan Feng, Lijun Zhang
Abstract  |  PDF

Simulation-Based Admissible Dominance Pruning / 1689
álvaro Torralba, Jörg Hoffmann
Abstract  |  PDF

Polynomial-Time Reformulations of LTL Temporally Extended Goals into Final-State Goals / 1696
Jorge Torres, Jorge A. Baier
Abstract  |  PDF

On the Effective Configuration of Planning Domain Models / 1704
Mauro Vallati, Frank Hutter, Lukas Chrpa, Thomas Leo McCluskey
Abstract  |  PDF

Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning / 1712
Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz
Abstract  |  PDF

Multi-Objective POMDPs with Lexicographic Reward Preferences / 1719
Kyle Hollins Wray, Shlomo Zilberstein
Abstract  |  PDF

An Iterative Approach to Synthesize Data Transformation Programs / 1726
Bo Wu, Craig A. Knoblock
Abstract  |  PDF

MORRF*: Sampling-Based Multi-Objective Motion Planning / 1733
Daqing Yi, Michael A. Goodrich, Kevin D Seppi
Abstract  |  PDF


Main Track — Recommender Systems

Optimal Greedy Diversity for Recommendation / 1742
Azin Ashkan, Branislav Kveton, Shlomo Berkovsky, Zheng Wen
Abstract  |  PDF

Music Recommenders: User Evaluation Without Real Users? / 1749
Susan Craw, Ben Horsburgh, Stewart Massie
Abstract  |  PDF

A Synthetic Approach for Recommendation: Combining Ratings, Social Relations, and Reviews / 1756
Guang-Neng Hu, Xin-Yu Dai, Yunya Song, Shu-Jian Huang, Jia-Jun Chen
Abstract  |  PDF

Differentially Private Matrix Factorization / 1763
Jingyu Hua, Chang Xia, Sheng Zhong
Abstract  |  PDF

Sparse Probabilistic Matrix Factorization by Laplace Distribution for Collaborative Filtering / 1771
Liping Jing, Peng Wang, Liu Yang
Abstract  |  PDF

Personalized Tour Recommendation Based on User Interests and Points of Interest Visit Durations / 1778
Kwan Hui Lim, Jeffrey Chan, Christopher Leckie, Shanika Karunasekera
Abstract  |  PDF

Modeling Users' Dynamic Preference for Personalized Recommendation / 1785
Xin Liu
Abstract  |  PDF

A Boosting Algorithm for Item Recommendation with Implicit Feedback / 1792
Yong Liu, Peilin Zhao, Aixin Sun, Chunyan Miao
Abstract  |  PDF

Simple Atom Selection Strategy for Greedy Matrix Completion / 1799
Zebang Shen, Hui Qian, Tengfei Zhou, Song Wang
Abstract  |  PDF

Personalized Ad Recommendation Systems for Life-Time Value Optimization with Guarantees / 1806
Georgios Theocharous, Philip S. Thomas, Mohammad Ghavamzadeh
Abstract  |  PDF

Exploring Implicit Hierarchical Structures for Recommender Systems / 1813
Suhang Wang, Jiliang Tang, Yilin Wang, Huan Liu
Abstract  |  PDF

Recommendation Algorithms for Optimizing Hit Rate, User Satisfaction and Website Revenue / 1820
Xin Wang, Yunhui Guo, Congfu Xu
Abstract  |  PDF

Cross-Domain Collaborative Filtering with Review Text / 1827
Xin Xin, Zhirun Liu, Chin-Yew Lin, Heyan Huang, Xiaochi Wei, Ping Guo
Abstract  |  PDF


Main Track — Relational Learning

Inducing Probabilistic Relational Rules from Probabilistic Examples / 1835
Luc De Raedt, Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke
Abstract  |  PDF

Saul: Towards Declarative Learning Based Programming / 1844
Parisa Kordjamshidi, Dan Roth, Hao Wu
Abstract  |  PDF

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation / 1852
Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert, Luc De Raedt
Abstract  |  PDF

Knowledge Base Completion Using Embeddings and Rules / 1859
Quan Wang, Bin Wang, Li Guo
Abstract  |  PDF


Main Track — Robotics and Vision

Toward Estimating Others' Transition Models Under Occlusion for Multi-Robot IRL / 1867
Kenneth Bogert, Prashant Doshi
Abstract  |  PDF

Graph-Based Inverse Optimal Control for Robot Manipulation / 1874
Arunkumar Byravan, Mathew Monfort, Brian Ziebart, Byron Boots, Dieter Fox
Abstract  |  PDF

Reactive Integrated Motion Planning and Execution / 1881
Andreas G. Hofmann, Enrique Fernandez, Justin Helbert, Scott D. Smith, Brian C. Williams
Abstract  |  PDF

Weakly Supervised RBM for Semantic Segmentation / 1888
Yong Li, Jing Liu, Yuhang Wang, Hanqing Lu, Songde Ma
Abstract  |  PDF

Grounding the Meaning of Words through Vision and Interactive Gameplay / 1895
Natalie Parde, Adam Hair, Michalis Papakostas, Konstantinos Tsiakas, Maria Dagioglou, Vangelis Karkaletsis, Rodney D. Nielsen
Abstract  |  PDF

Intelligent Agent Supporting Human-Multi-Robot Team Collaboration / 1902
Ariel Rosenfeld, Noa Agmon, Oleg Maksimov, Amos Azaria, Sarit Kraus
Abstract  |  PDF

Co-Acquisition of Syntax and Semantics — An Investigation in Spatial Language / 1909
Michael Spranger, Luc Steels
Abstract  |  PDF

Reduced Time-Expansion Graphs and Goal Decomposition for Solving Cooperative Path Finding Sub-Optimally / 1916
Pavel Surynek
Abstract  |  PDF

Learning to Interpret Natural Language Commands through Human-Robot Dialog / 1923
Jesse Thomason, Shiqi Zhang, Raymond J Mooney, Peter Stone
Abstract  |  PDF

Logic-Geometric Programming: An Optimization-Based Approach to Combined Task and Motion Planning / 1930
Marc Toussaint
Abstract  |  PDF

Multi-Modality Tracker Aggregation: From Generative to Discriminative / 1937
Xiaoqin Zhang, Wei Li, Mingyu Fan, Di Wang, Xiuzi Ye
Abstract  |  PDF


Main Track — Satisfiability

Tractable Classes of Binary CSPs Defined by Excluded Topological Minors / 1945
David A. Cohen, Martin C. Cooper, Peter G Jeavons, Stanislav Zivny
Abstract  |  PDF

A Modularity-Based Random SAT Instances Generator / 1952
Jesús Giráldez-Cru, Jordi Levy
Abstract  |  PDF

An Exact Inference Scheme for MinSAT / 1959
Chu-Min Li, Felip Manyà
Abstract  |  PDF

Efficient Model Based Diagnosis with Maximum Satisfiability / 1966
Joao Marques-Silva, Mikoláš Janota, Alexey Ignatiev, Antonio Morgado
Abstract  |  PDF

Literal-Based MCS Extraction / 1973
Carlos Mencía, Alessandro Previti, Joao Marques-Silva
Abstract  |  PDF

Prime Compilation of Non-Clausal Formulae / 1980
Alessandro Previti, Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
Abstract  |  PDF


Main Track — Sequential Decision Making

Solving MDPs with Skew Symmetric Bilinear Utility Functions / 1989
Hugo Gilbert, Olivier Spanjaard, Paolo Viappiani, Paul Weng
Abstract  |  PDF

Non-Monotone Adaptive Submodular Maximization / 1996
Alkis Gotovos, Amin Karbasi, Andreas Krause
Abstract  |  PDF

Optimization of Probabilistic Argumentation with Markov Decision Models / 2004
Emmanuel Hadoux, Aurélie Beynier, Nicolas Maudet, Paul Weng, Anthony Hunter
Abstract  |  PDF

Stick-Breaking Policy Learning in Dec-POMDPs / 2011
Miao Liu, Christopher Amato, Xuejun Liao, Lawrence Carin, Jonathan P. How
Abstract  |  PDF


Main Track — Social Choice Theory

Structure in Dichotomous Preferences / 2019
Edith Elkind, Martin Lackner
Abstract  |  PDF

Efficient, Private, and eps-Strategyproof Elicitation of Tournament Voting Rules / 2026
David Timothy Lee
Abstract  |  PDF

Lie on the Fly: Iterative Voting Center with Manipulative Voters / 2033
Lihi Naamani-Dery, Svetlana Obraztsova, Zinovi Rabinovich, Meir Kalech
Abstract  |  PDF

Ranked Voting on Social Networks / 2040
Ariel D. Procaccia, Nisarg Shah, Eric Sodomka
Abstract  |  PDF

Non-Myopic Negotiators See What's Best / 2047
Yair Zick, Yoram Bachrach, Ian A. Kash, Peter Key
Abstract  |  PDF


Main Track — Social Networks

How Robust Is the Wisdom of the Crowds? / 2055
Noga Alon, Michal Feldman, Omer Lev, Moshe Tennenholtz
Abstract  |  PDF

Uncovering the Formation of Triadic Closure in Social Networks / 2062
Zhanpeng Fang, Jie Tang
Abstract  |  PDF

Personalized Ranking Metric Embedding for Next New POI Recommendation / 2069
Shanshan Feng, Xutao Li, Yifeng Zeng, Gao Cong, Yeow Meng Chee, Quan Yuan
Abstract  |  PDF

Influence Maximization in Big Networks: An Incremental Algorithm for Streaming Subgraph Influence Spread Estimation / 2076
Wei-Xue Lu, Peng Zhang, Chuan Zhou, Chunyi Liu, Li Gao
Abstract  |  PDF

Nonnegative Matrix Tri-Factorization with Graph Regularization for Community Detection in Social Networks / 2083
Yulong Pei, Nilanjan Chakraborty, Katia Sycara
Abstract  |  PDF

A Scalable Community Detection Algorithm for Large Graphs Using Stochastic Block Models / 2090
Chengbin Peng, Zhihua Zhang, Ka-Chun Wong, Xiangliang Zhang, David Keyes
Abstract  |  PDF

CEIL: A Scalable, Resolution Limit Free Approach for Detecting Communities in Large Networks / 2097
Vishnu Sankar, Balaraman Ravindran, Shivashankar S
Abstract  |  PDF

Maximizing the Coverage of Information Propagation in Social Networks / 2104
Zhefeng Wang, Enhong Chen, Qi Liu, Yu Yang, Yong Ge, Biao Chang
Abstract  |  PDF

Network Representation Learning with Rich Text Information / 2111
Cheng Yang, Zhiyuan Liu, Deli Zhao, Maosong Sun, Edward Chang
Abstract  |  PDF

Optimal Route Search with the Coverage of Users' Preferences / 2118
Yifeng Zeng, Xuefeng Chen, Xin Cao, Shengchao Qin, Marc Cavazza, Yanping Xiang
Abstract  |  PDF

Integrated Anchor and Social Link Predictions across Social Networks / 2125
Jiawei Zhang, Philip S. Yu
Abstract  |  PDF


Main Track — Vision and Perception

Groupwise Registration of Aerial Images / 2133
Ognjen Arandjelovic, Duc-Son Pham, Svetha Venkatesh
Abstract  |  PDF

Video Covariance Matrix Logarithm for Human Action Recognition in Videos / 2140
Piotr Bilinski, Francois Bremond
Abstract  |  PDF

Modeling Inter- and Intra-Part Deformations for Object Structure Parsing / 2148
Ling Cai, Rongrong Ji, Wei Liu, Gang Hua
Abstract  |  PDF

Cross-View Projective Dictionary Learning for Person Re-Identification / 2155
Sheng Li, Ming Shao, Yun Fu
Abstract  |  PDF

Inferring Painting Style with Multi-Task Dictionary Learning / 2162
Gaowen Liu, Yan Yan, Elisa Ricci, Yi Yang, Yahong Han, Stefan Winkler, Nicu Sebe
Abstract  |  PDF

Social Image Parsing by Cross-Modal Data Refinement / 2169
Zhiwu Lu, Xin Gao, Songfang Huang, Liwei Wang, Ji-Rong Wen
Abstract  |  PDF

Salient Object Detection via Augmented Hypotheses / 2176
Tam Van Nguyen, Jose Sepulveda
Abstract  |  PDF

Adaptive Sharing for Image Classification / 2183
Li Shen, Gang Sun, Zhouchen Lin, Qingming Huang, Enhua Wu
Abstract  |  PDF

Face Clustering in Videos with Proportion Prior / 2191
Zhiqiang Tang, Yifan Zhang, Zechao Li, Hanqing Lu
Abstract  |  PDF

Trailer Generation via a Point Process-Based Visual Attractiveness Model / 2198
Hongteng Xu, Yi Zhen, Hongyuan Zha
Abstract  |  PDF

Generalized Transitive Distance with Minimum Spanning Random Forest / 2205
Zhiding Yu, Weiyang Liu, Wenbo Liu, Xi Peng, Zhuo Hui, B. V. K. Vijaya Kumar
Abstract  |  PDF

Saliency Detection with a Deeper Investigation of Light Field / 2212
Jun Zhang, Meng Wang, Jun Gao, Yi Wang, Xudong Zhang, Xindong Wu
Abstract  |  PDF

Semantic Single Video Segmentation with Robust Graph Representation / 2219
Handong Zhao, Yun Fu
Abstract  |  PDF


Main Track — Web and Knowledge-Based Information Systems

Reasoning with Style / 2227
Marti Bosch, Pierre Geneves, Nabil Layaida
Abstract  |  PDF

Semantic Concept Discovery for Large-Scale Zero-Shot Event Detection / 2234
Xiaojun Chang, Yi Yang, Alexander Hauptmann, Eric P Xing, Yao-Liang Yu
Abstract  |  PDF

Raising Expectations in GDA Agents Acting in Dynamic Environments / 2241
Dustin Dannenhauer, Hector Munoz-Avila
Abstract  |  PDF

Scalable Graph Hashing with Feature Transformation / 2248
Qing-Yuan Jiang, Wu-Jun Li
Abstract  |  PDF

Web Page Classification Based on Uncorrelated Semi-Supervised Intra-View and Inter-View Manifold Discriminant Feature Extraction / 2255
Xiao-Yuan Jing, Qian Liu, Fei Wu, Baowen Xu, Yangping Zhu, Songcan Chen
Abstract  |  PDF

Distance-Bounded Consistent Query Answering / 2262
Andreas Pfandler, Emanuel Sallinger
Abstract  |  PDF

Short and Sparse Text Topic Modeling via Self-Aggregation / 2270
Xiaojun Quan, Chunyu Kit, Yong Ge, Sinno Jialin Pan
Abstract  |  PDF

Personalized Sentiment Classification Based on Latent Individuality of Microblog Users / 2277
Kaisong Song, Shi Feng, Wei Gao, Daling Wang, Ge Yu, Kam-Fai Wong
Abstract  |  PDF

Online Learning to Rank for Content-Based Image Retrieval / 2284
Ji Wan, Pengcheng Wu, Steven C. H. Hoi, Peilin Zhao, Xingyu Gao, Dayong Wang, Yongdong Zhang, Jintao Li
Abstract  |  PDF

Deep Multimodal Hashing with Orthogonal Regularization / 2291
Daixin Wang, Peng Cui, Mingdong Ou, Wenwu Zhu
Abstract  |  PDF

Hamming Compatible Quantization for Hashing / 2298
Zhe Wang, Ling-Yu Duan, Jie Lin, Xiaofang Wang, Tiejun Huang, Wen Gao
Abstract  |  PDF

Determining Expert Research Areas with Multi-Instance Learning of Hierarchical Multi-Label Classification Model / 2305
Tao Wu, Qifan Wang, Zhiwei Zhang, Luo Si
Abstract  |  PDF


Main Track — Web Mining

Sampling with Minimum Sum of Squared Similarities for Nystrom-Based Large Scale Spectral Clustering / 2313
Djallel Bouneffouf, Inanc Birol
Abstract  |  PDF

Tracking Political Elections on Social Media: Applications and Experience / 2320
Danish Contractor, Bhupesh Chawda, Sameep Mehta, L Venkata Subramaniam, Tanveer Afzal Faruquie
Abstract  |  PDF

Deep Learning for Event-Driven Stock Prediction / 2327
Xiao Ding, Yue Zhang, Ting Liu, Junwen Duan
Abstract  |  PDF

Large Scale Homophily Analysis in Twitter Using a Twixonomy / 2334
Stefano Faralli, Giovanni Stilo, Paola Velardi
Abstract  |  PDF

Interactive Gender Inference with Integer Linear Programming / 2341
Shoushan Li, Jingjing Wang, Guodong Zhou, Hanxiao Shi
Abstract  |  PDF

Detecting Promotion Campaigns in Community Question Answering / 2348
Xin Li, Yiqun Liu, Min Zhang, Shaoping Ma, Xuan Zhu, Jiashen Sun
Abstract  |  PDF

VRCA: A Clustering Algorithm for Massive Amount of Texts / 2355
Ming Liu, Lei Chen, Bingquan Liu, Xiaolong Wang
Abstract  |  PDF

Towards Domain-Specific Semantic Relatedness: A Case Study from Geography / 2362
Shilad Sen, Isaac Johnson, Rebecca Harper, Huy Mai, Samuel Horlbeck Olsen, Benjamin Mathers, Laura Souza Vonessen, Matthew Wright, Brent Hecht
Abstract  |  PDF

Interest Inference via Structure-Constrained Multi-Source Multi-Task Learning / 2371
Xuemeng Song, Liqiang Nie, Luming Zhang, Maofu Liu, Tat-Seng Chua
Abstract  |  PDF

Unsupervised Sentiment Analysis for Social Media Images / 2378
Yilin Wang, Suhang Wang, Jiliang Tang, Huan Liu, Baoxin Li
Abstract  |  PDF

Re-Ranking Voting-Based Answers by Discarding User Behavior Biases / 2380
Xiaochi Wei, Heyan Huang, Chin-Yew Lin, Xin Xin, Xianling Mao, Shangguang Wang
Abstract  |  PDF

A Unified Probabilistic Model of User Activities and Relations on Social Networking Sites / 2387
Xiaofeng Yu, Junqing Xie, Shuai Wang
Abstract  |  PDF

Exploiting k-Degree Locality to Improve Overlapping Community Detection / 2394
Hongyi Zhang, Michael R. Lyu, Irwin King
Abstract  |  PDF

Learning Geographical Hierarchy Features for Social Image Location Prediction / 2401
Xiaoming Zhang, Xia Hu, Zhoujun Li
Abstract  |  PDF

Catch the Black Sheep: Unified Framework for Shilling Attack Detection Based on Fraudulent Action Propagation / 2408
Yongfeng Zhang, Yunzhi Tan, Min Zhang, Yiqun Liu, Tat-Seng Chua, Shaoping Ma
Abstract  |  PDF

Tackling Data Sparseness in Recommendation using Social Media based Topic Hierarchy Modeling / 2415
Xingwei Zhu, Zhao-Yan Ming, Yu Hao, Xiaoyan Zhu
Abstract  |  PDF


Special Track on Artificial Intelligence and the Arts

Artificial Intelligence in the Concertgebouw / 2424
Andreas Arzt, Harald Frostel, Thassilo Gadermaier, Martin Gasser, Maarten Grachten, Gerhard Widmer
Abstract  |  PDF

Kinetic Imaginations: Exploring the Possibilities of Combining AI and Dance / 2431
Alexander Berman, Valencia James
Abstract  |  PDF

Heroic versus Collaborative AI for the Arts / 2138
Mark d'Inverno, Jon McCormack
Abstract  |  PDF

Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending / 2445
Manfred Eppe, Roberto Confalonieri, Ewen MacLean, Maximos Kaliakatsos, Emilios Cambouropoulos, Marco Schorlemmer, Mihai Codescu, Kai-Uwe Kühnberger
Abstract  |  PDF

Slogans Are Not Forever: Adapting Linguistic Expressions to the News / 2452
Lorenzo Gatti, Gözde özbal, Marco Guerini, Oliviero Stock, Carlo Strapparava
Abstract  |  PDF

Pseudo-Supervised Training Improves Unsupervised Melody Segmentation / 2459
Stefan Lattner, Carlos Eduardo Cancino Chacón, Maarten Grachten
Abstract  |  PDF

Swarm Systems in the Visualization of Consumption Patterns / 2466
Catarina Maçãs, Pedro Cruz, Pedro Martins, Penousal Machado
Abstract  |  PDF

Evolving Ambiguous Images / 2473
Penousal Machado, Adriano Vinhas, João Correia, Aniko Ekárt
Abstract  |  PDF

The Scaffolded Sound Beehive / 2480
AnneMarie Maes
Abstract  |  PDF

Generating 1/f Noise Sequences as Constraint Satisfaction: The Voss Constraint / 2482
François Pachet, Pierre Roy, Alexandre Papadopoulos, Jason Sakellariou
Abstract  |  PDF

Generating all Possible Palindromes from Ngram Corpora / 2489
Alexandre Papadopoulos, Pierre Roy, Jean-Charles Régin, François Pachet
Abstract  |  PDF

Haiku Generator that Reads Blogs and Illustrates Them with Sounds and Images / 2496
Rafal Rzepka, Kenji Araki
Abstract  |  PDF

Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel? / 2503
Andreza Sartori, Yan Yan, Gözde özbal, Alkim Almila Akdag Salah, Albert Ali Salah, Nicu Sebe
Abstract  |  PDF

Aesthetic Visual Quality Evaluation of Chinese Handwritings / 2510
Rongju Sun, Zhouhui Lian, Yingmin Tang, Jianguo Xiao
Abstract  |  PDF

Narrative Hermeneutic Circle: Improving Character Role Identification from Natural Language Text via Feedback Loops / 2517
Josep Valls-Vargas, Jichen Zhu, Santiago Ontanon
Abstract  |  PDF

Learning to Rap Battle with Bilingual Recursive Neural Networks / 2524
Dekai Wu, Karteek Addanki
Abstract  |  PDF

Stroke-Based Stylization Learning and Rendering with Inverse Reinforcement Learning / 2531
Ning Xie, Tingting Zhao, Feng Tian, Xiao Hua Zhang, Masashi Sugiyama
Abstract  |  PDF


Special Track on Computational Sustainability

Online Fair Division: Analysing a Food Bank Problem / 2540
Martin Damyanov Aleksandrov, Haris Aziz, Serge Gaspers, Toby Walsh
Abstract  |  PDF

A Personalised Thermal Comfort Model Using a Bayesian Network / 2547
Frederik Auffenberg, Sebastian Stein, Alex Rogers
Abstract  |  PDF

Aggregate Demand-Based Real-Time Pricing Mechanism for the Smart Grid: A Game-Theoretic Analysis / 2554
Sambaran Bandyopadhyay, Ramasuri Narayanam, Ramachandra Kota, Pg Dr Mohammad Iskandarbin Pg Hj Petra, Zainul Charbiwala
Abstract  |  PDF

Batch Reinforcement Learning for Smart Home Energy Management / 2561
Heider Berlink, Anna HR Costa
Abstract  |  PDF

Reasoning about Connectivity Constraints / 2568
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Toby Walsh
Abstract  |  PDF

Clustering Dynamic Spatio-Temporal Patterns in The Presence of Noise and Missing Data / 2575
Xi Chen, James H. Faghmous, Ankush Khandelwal, Vipin Kumar
Abstract  |  PDF

α-min: A Compact Approximate Solver For Finite-Horizon POMDPs / 2582
Yann Dujardin, Tom Dietterich, Iadine Chades
Abstract  |  PDF

When Security Games Go Green: Designing Defender Strategies to Prevent Poaching and Illegal Fishing / 2589
Fei Fang, Peter Stone, Milind Tambe
Abstract  |  PDF

Modeling Multi-Attribute Demand for Sustainable Cloud Computing with Copulae / 2596
Maryam Ghasemi, Benjamin Lubin
Abstract  |  PDF

On the Balance of Meter Deployment Cost and NILM Accuracy / 2603
Xiaohong Hao, Bangsheng Tang, Yongcai Wang
Abstract  |  PDF

Online Mechanisms for Charging Electric Vehicles in Settings with Varying Marginal Electricity Costs / 2610
Keiichiro Hayakawa, Enrico H. Gerding, Sebastian Stein, Takahiro Shiga
Abstract  |  PDF

Secure Routing in Wireless Sensor Networks via POMDPs / 2617
Athirai A. Irissappane, Jie Zhang, Frans A. Oliehoek, Partha S. Dutta
Abstract  |  PDF

Approximately Stable Pricing for Coordinated Purchasing of Electricity / 2624
Andrew Perrault, Craig Boutilier
Abstract  |  PDF

Multiple Instance Learning-Based Birdsong Classification Using Unsupervised Recording Segmentation / 2632
Jose F. Ruiz-Muñoz, Mauricio Orozco Alzate, G. Castellanos-Dominguez
Abstract  |  PDF

Abstract Routing Models and Abstractions in the Context of Vehicle Routing / 2639
René Schönfelder, Martin Leucker
Abstract  |  PDF

Copula Graphical Models for Wind Resource Estimation / 2646
Kalyan Veeramachaneni, Alfredo Cuesta-Infante, Una-May O'Reilly
Abstract  |  PDF

Fast Combinatorial Algorithm for Optimizing the Spread of Cascades / 2655
Xiaojian Wu, Daniel Sheldon, Shlomo Zilberstein
Abstract  |  PDF

Optimal Electric Vehicle Charging Station Placement / 2662
Yanhai Xiong, Jiarui Gan, Bo An, Chunyan Miao, Ana L. C. Bazzan
Abstract  |  PDF

A Crowdfunding Model for Green Energy Investment / 2669
Ronghuo Zheng, Ying Xu, Nilanjan Chakraborty, Katia Sycara
Abstract  |  PDF


Special Track on Knowledge Representation and Reasoning

A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size / 2677
Mario Alviano, Carmine Dodaro, Francesco Ricca
Abstract  |  PDF

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective / 2684
Mario Alviano, Wolfgang Faber
Abstract  |  PDF

Combining Existential Rules and Description Logics / 2691
Antoine Amarilli, Michael Benedikt
Abstract  |  PDF

Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries / 2698
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
Abstract  |  PDF

First-Order Rewritability of Temporal Ontology-Mediated Queries / 2706
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Abstract  |  PDF

Multi-Agent Only Knowing on Planet Kripke / 2713
Guillaume Aucher, Vaishak Belle
Abstract  |  PDF

Combining Existential Rules and Transitivity: Next Steps / 2720
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
Abstract  |  PDF

Dealing with Generic Contrariness in Structured Argumentation / 2727
Pietro Baroni, Massimiliano Giacomin, Beishui Liao
Abstract  |  PDF

AGM Meets Abstract Argumentation: Expansion and Revision for Dung Frameworks / 2734
Ringo Baumann, Gerhard Brewka
Abstract  |  PDF

Answer Update for Rule-Based Stream Reasoning / 2741
Harald Beck, Minh Dao-Tran, Thomas Eiter
Abstract  |  PDF

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results / 2748
Francesco Belardinelli, Wiebe van der Hoek
Abstract  |  PDF

Only Knowing Meets Common Knowledge / 2755
Vaishak Belle, Gerhard Lakemeyer
Abstract  |  PDF

ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains / 2762
Vaishak Belle, Hector Levesque
Abstract  |  PDF

Probabilistic Inference in Hybrid Domains by Weighted Model Integration / 2770
Vaishak Belle, Andrea Passerini, Guy Van den Broeck
Abstract  |  PDF

Compatible-Based Conditioning in Interval-Based Possibilistic Logic / 2777
Salem Benferhat, Amélie Levray, Karim Tabia, Vladik Kreinovich
Abstract  |  PDF

Partial Grounded Fixpoints / 2784
Bart Bogaerts, Joost Vennekens, Marc Denecker
Abstract  |  PDF

Complexity Results in Epistemic Planning / 2791
Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber
Abstract  |  PDF

Policies that Generalize: Solving Many Planning Problems with the Same Policy / 2798
Blai Bonet, Hector Geffner
Abstract  |  PDF

On the Entailment Problem for a Logic of Typicality / 2805
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
Abstract  |  PDF

The Complexity of Subsumption in Fuzzy EL / 2812
Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Abstract  |  PDF

Temporal Query Answering in the Description Logic EL / 2819
Stefan Borgwardt, Veronika Thost
Abstract  |  PDF

IJCAI-15 Distinguished Paper (Honorary Mention)
Reasonable Highly Expressive Query Languages / 2826
Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Abstract  |  PDF

Logic Program Termination Analysis Using Atom Sizes / 2833
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
Abstract  |  PDF

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies / 2840
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
Abstract  |  PDF

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases / 2847
Diego Calvanese, Marco Montali, Ario Santoso
Abstract  |  PDF

Probabilistic Belief Contraction Using Argumentation / 2854
Kinzang Chhogyal, Abhaya Nayak, Zhiqiang Zhuang, Abdul Sattar
Abstract  |  PDF

Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions / 2861
Arthur Choi, Guy Van den Broeck, Adnan Darwiche
Abstract  |  PDF

An Algebra of Granular Temporal Relations for Qualitative Reasoning / 2869
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Abstract  |  PDF

Extension Enforcement in Abstract Argumentation as an Optimization Problem / 2876
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
Abstract  |  PDF

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies / 2883
Bernardo Cuenca Grau, Evgeny Kharlamov, Egor V. Kostylev, Dmitriy Zheleznyakov
Abstract  |  PDF

Multilateral Negotiation in Boolean Games with Incomplete Information Using Generalized Possibilistic Logic / 2890
Sofie De Clercq, Steven Schockaert, Ann Nowé, Martine De Cock
Abstract  |  PDF

Fixed-Parameter Tractable Reductions to SAT for Planning / 2897
Ronald de Haan, Martin Kronegger, Andreas Pfandler
Abstract  |  PDF

The Logic of Qualitative Probability / 2904
James Delgrande, Bryan Renne
Abstract  |  PDF

On the Aggregation of Argumentation Frameworks / 2911
Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic
Abstract  |  PDF

Combining Existential Rules with the Power of CP-Theories / 2918
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska
Abstract  |  PDF

An Extension-Based Approach to Belief Revision in Abstract Argumentation / 2926
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
Abstract  |  PDF

The Cube of Opposition: A Structure Underlying Many Knowledge Representation Formalisms / 2933
Didier Dubois, Henri Prade, Agnès Rico
Abstract  |  PDF

Modular Systems with Preferences / 2940
Alireza Ensan, Eugenia Ternovska
Abstract  |  PDF

A Logic for Reasoning about Justified Uncertain Beliefs / 2948
Tuan-Fang Fan, Churn-Jung Liau
Abstract  |  PDF

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus / 2955
Liangda Fang, Yongmei Liu, Ximing Wen
Abstract  |  PDF

Epistemic Equilibrium Logic / 2964
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Abstract  |  PDF

The Combined Approach to Query Answering Beyond the OWL 2 Profiles / 2971
Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, Ian Horrocks
Abstract  |  PDF

Computing Social Behaviours Using Agent Models / 2978
Paolo Felli, Tim Miller, Christian Muise, Adrian R. Pearce, Liz Sonenberg
Abstract  |  PDF

On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks / 2985
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
Abstract  |  PDF

Polynomial Rewritings for Linear Existential Rules / 2992
Georg Gottlob, Marco Manna, Andreas Pieris
Abstract  |  PDF

Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue / 2999
Georg Gottlob, Andreas Pieris
Abstract  |  PDF

Group Decision Making via Weighted Propositional Logic: Complexity and Islands of Tractability / 3008
Gianluigi Greco, Jerome Lang
Abstract  |  PDF

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes / 3015
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Thomas Schneider
Abstract  |  PDF

A Modification of the Halpern-Pearl Definition of Causality / 3022
Joseph Halpern
Abstract  |  PDF

Efficient Query Rewriting in the Description Logic EL and Beyond / 3034
Peter Hansen, Carsten Lutz, İnanç Seylan, Frank Wolter
Abstract  |  PDF

Merging in the Horn Fragment / 3041
Adrian Haret, Stefan Rümmele, Stefan Woltran
Abstract  |  PDF

Schema.org as a Description Logic / 3048
Andre Hernich, Carsten Lutz, Ana Ozaki, Frank Wolter
Abstract  |  PDF

Modelling the Persuadee in Asymmetric Argumentation Dialogues for Persuasion / 3055
Anthony Hunter
Abstract  |  PDF

Trust-Sensitive Belief Revision / 3062
Aaron Hunter, Richard Booth
Abstract  |  PDF

Simplifying A Logic Program Using Its Consequences / 3069
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan
Abstract  |  PDF

On Forgetting Postulates in Answer Set Programming / 3076
Jianmin Ji, Jia-Huai You, Yisong Wang
Abstract  |  PDF

Efficient Semantic Features for Automated Reasoning over Large Theories / 3084
Cezary Kaliszyk, Josef Urban, Jiri Vyskocil
Abstract  |  PDF

Computing Horn Rewritings of Description Logics Ontologies / 3091
Mark Kaminski, Bernardo Cuenca Grau
Abstract  |  PDF

Efficient Paraconsistent Reasoning with Ontologies and Rules / 3098
Tobias Kaminski, Matthias Knorr, João Leite
Abstract  |  PDF

Query Rewriting for Existential Rules with Compiled Preorder / 3106
Melanie Konig, Michel Leclere, Marie-Laure Mugnier
Abstract  |  PDF

Automatic Verification of Partial Correctness of Golog Programs / 3113
Naiqi Li, Yongmei Liu
Abstract  |  PDF

Ontology-Mediated Queries with Closed Predicates / 3120
Carsten Lutz, Inanc Seylan, Frank Wolter
Abstract  |  PDF

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality / 3127
Boris Motik, Yavor Nenov, Robert Piro, Ian Horrocks
Abstract  |  PDF

Kernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence / 3134
Mehrdad Oveisi, James P. Delgrande, Fred Popowich, Francis Jeffry Pelletier
Abstract  |  PDF

A Top-Down Compiler for Sentential Decision Diagrams / 3141
Umut Oztok, Adnan Darwiche
Abstract  |  PDF

On the Parameterized Complexity of Belief Revision / 3149
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
Abstract  |  PDF

Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures / 3156
Nico Potyka, Matthias Thimm
Abstract  |  PDF

Did You Know? — Mining Interesting Trivia for Entities from Wikipedia / 3164
Abhay Prakash, Manoj Kumar Chinnakotla, Dhaval Patel, Puneet Garg
Abstract  |  PDF

Realizability of Three-Valued Semantics for Abstract Dialectical Frameworks / 3171
Jörg Pührer
Abstract  |  PDF

Execution Monitoring as Meta-Games for General Game-Playing Robots / 3178
David Rajaratnam, Michael Thielscher
Abstract  |  PDF

Membership Constraints in Formal Concept Analysis / 3186
Sebastian Rudolph, Christian Sacarea, Diana Troanca
Abstract  |  PDF

Characterization of the Expressivity of Existential Rule Queries / 3193
Sebastian Rudolph, Michaël Thomazo
Abstract  |  PDF

Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis / 3200
Sebastian Sardina, Nicolas D'Ippolito
Abstract  |  PDF

Qualitative Reasoning about Directions in Semantic Spaces / 3207
Steven Schockaert, Jae Hee Lee
Abstract  |  PDF

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus / 3214
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
Abstract  |  PDF

MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis / 3221
Kostyantyn Shchekotykhin, Dietmar Jannach, Thomas Schmitz
Abstract  |  PDF

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks / 3229
Michael Sioutis, Sanjiang Li, Jean-Francois Condotta
Abstract  |  PDF

Characterizability in Belief Revision / 3236
György Turán, Jon Yaggie
Abstract  |  PDF

Efficiently Finding Conditional Instruments for Causal Inference / 3243
Benito van der Zander, Johannes Textor, Maciej Liskiewicz
Abstract  |  PDF

AGM Revision of Beliefs about Action and Time / 3250
Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert van der Torre
Abstract  |  PDF

A Complete Epistemic Planner without the Epistemic Closed World Assumption / 3257
Hai Wan, Rui Yang, Liangda Fang, Yongmei Liu, Huada Xu
Abstract  |  PDF

Query Understanding through Knowledge-Based Conceptualization / 3264
Zhongyuan Wang, Kejun Zhao, Haixun Wang, Xiaofeng Meng, Ji-Rong Wen
Abstract  |  PDF

Computation and Complexity of Preference Inference Based on Hierarchical Models / 3271
Nic Wilson, Anne-Marie George, Barry O'Sullivan
Abstract  |  PDF

Verification of Knowledge-Based Programs over Description Logic Actions / 3278
Benjamin Zarrieß, Jens Claßen
Abstract  |  PDF

Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond / 3285
Haodi Zhang, Fangzhen Lin
Abstract  |  PDF

First-Order Disjunctive Logic Programming vs Normal Logic Programming / 3292
Yi Zhou
Abstract  |  PDF

Extending AGM Contraction to Arbitrary Logics / 3299
Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P Delgrande
Abstract  |  PDF


Special Track on Machine Learning

Learning Regular Languages via Alternating Automata / 3308
Dana Angluin, Sarah Eisenstat, Dana Fisman
Abstract  |  PDF

Maximum Entropy Semi-Supervised Inverse Reinforcement Learning / 3315
Julien Audiffren, Michal Valko, Alessandro Lazaric, Mohammad Ghavamzadeh
Abstract  |  PDF

A Graph Kernel Based on the Jensen-Shannon Representation Alignment / 3322
Lu Bai, Zhihong Zhang, Chaoyan Wang, Xiao Bai, Edwin Hancock
Abstract  |  PDF

An Expectation-Maximization Algorithm to Compute a Stochastic Factorization From Data / 3329
Andre M. S. Barreto, Rafael L. Beirigo, Joelle Pineau, Doina Precup
Abstract  |  PDF

Count-Based Frequency Estimation with Bounded Memory / 3337
Marc G. Bellemare
Abstract  |  PDF

Autonomous Cross-Domain Knowledge Transfer in Lifelong Policy Gradient Reinforcement Learning / 3345
Haitham Bou Ammar, Eric Eaton, Jose Marcio Luna, Paul Ruvolo
Abstract  |  PDF

Reinforcement Learning from Demonstration through Shaping / 3352
Tim Brys, Anna Harutyunyan, Halit Bener Suay, Sonia Chernova, Matthew E. Taylor, Ann Nowé
Abstract  |  PDF

Compressed Spectral Regression for Efficient Nonlinear Dimensionality Reduction / 3359
Deng Cai
Abstract  |  PDF

Policy Shaping with Human Teachers / 3366
Thomas Cederborg, Ishaan Grover, Charles L Isbell, Andrea L Thomaz
Abstract  |  PDF

A Space Alignment Method for Cold-Start TV Show Recommendations / 3373
Shiyu Chang, Jiayu Zhou, Pirooz Chubak, Junling Hu, Thomas Huang
Abstract  |  PDF

Direct Policy Iteration with Demonstrations / 3380
Jessica Chemali, Alessandro Lazaric
Abstract  |  PDF

Model Metric Co-Learning for Time Series Classification / 3387
Huanhuan Chen, Fengzhen Tang, Peter Tino, Anthony G. Cohn, Xin Yao
Abstract  |  PDF

Training-Efficient Feature Map for Shift-Invariant Kernels / 3395
Xixian Chen, Haiqin Yang, Irwin King, Michael R. Lyu
Abstract  |  PDF

Mirror Representation for Modeling View-Specific Transform in Person Re-Identification / 3402
Ying-Cong Chen, Wei-Shi Zheng, Jianhuang Lai
Abstract  |  PDF

Efficient Generalized Conditional Gradient with Gradient Sliding for Composite Optimization / 3409
Yiu-ming Cheung, Jian Lou
Abstract  |  PDF

Robust Learning for Repeated Stochastic Games via Meta-Gaming / 3416
Jacob W. Crandall
Abstract  |  PDF

Learning Efficient Logical Robot Strategies Involving Composable Objects / 3423
Andrew Cropper, Stephen H. Muggleton
Abstract  |  PDF

Optimal Bayesian Hashing for Efficient Face Recognition / 3430
Qi Dai, Jianguo Li, Jun Wang, Yurong Chen, Yu-Gang Jiang
Abstract  |  PDF

Multi-View Matrix Decomposition: A New Scheme for Exploring Discriminative Information / 3438
Cheng Deng, Zongting Lv, Wei Liu, Junzhou Huang, Dacheng Tao, Xinbo Gao
Abstract  |  PDF

Intersecting Manifolds: Detection, Segmentation, and Labeling / 3445
Shay Deutsch, Gerard Guy Medioni
Abstract  |  PDF

Deep Low-Rank Coding for Transfer Learning / 3453
Zhengming Ding, Ming Shao, Yun Fu
Abstract  |  PDF

Speeding Up Automatic Hyperparameter Optimization of Deep Neural Networks by Extrapolation of Learning Curves / 3460
Tobias Domhan, Jost Tobias Springenberg, Frank Hutter
Abstract  |  PDF

Topic Modeling with Document Relative Similarities / 3469
Jianguang Du, Jing Jiang, Dandan Song, Lejian Liao
Abstract  |  PDF

Robust Multiple Kernel K-means Using L21-Norm / 3476
Liang Du, Peng Zhou, Lei Shi, Hanmo Wang, Mingyu Fan, Wenjian Wang, Yi-Dong Shen
Abstract  |  PDF

Crowdsourced Semantic Matching of Multi-Label Annotations / 3483
Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato
Abstract  |  PDF

Random Feature Mapping with Signed Circulant Matrix Projection / 3490
Chang Feng, Qinghua Hu, Shizhong Liao
Abstract  |  PDF

Quiet: Faster Belief Propagation for Images and Related Applications / 3497
Yasuhiro Fujiwara, Dennis Shasha
Abstract  |  PDF

Potential Based Reward Shaping for Hierarchical Reinforcement Learning / 3504
Yang Gao, Francesca Toni
Abstract  |  PDF

Pre-release Prediction of Crowd Opinion on Movies by Label Distribution Learning / 3511
Xin Geng, Peng Hou
Abstract  |  PDF

Multitask Coactive Learning / 3518
Robby Goetschalckx, Alan Fern, Prasad Tadepalli
Abstract  |  PDF

Multi-Label Structure Learning with Ising Model Selection / 3525
Andre R. Goncalves, Fernando J. Von Zuben, Arindam Banerjee
Abstract  |  PDF

Bi-Parameter Space Partition for Cost-Sensitive SVM / 3532
Bin Gu, Victor S. Sheng, Shuo Li
Abstract  |  PDF

Online Robust Low Rank Matrix Recovery / 3540
Xiaojie Guo
Abstract  |  PDF

Robust Subspace Segmentation by Simultaneously Learning Data Representations and Their Affinity Matrix / 3547
Xiaojie Guo
Abstract  |  PDF

Active Imitation Learning of Hierarchical Policies / 3554
Mandana Hamidi, Prasad Tadepalli, Robby Goetschalckx, Alan Fern
Abstract  |  PDF

Identification of Time-Dependent Causal Model: A Gaussian Process Treatment / 3561
Biwei Huang, Kun Zhang, Bernhard Schölkopf
Abstract  |  PDF

A New Simplex Sparse Learning Model to Measure Data Similarity for Clustering / 3569
Jin Huang, Feiping Nie, Heng Huang
Abstract  |  PDF

Scalable Gaussian Process Regression Using Deep Neural Networks / 3576
Wenbing Huang, Deli Zhao, Fuchun Sun, Huaping Liu, Edward Chang
Abstract  |  PDF

Training-Time Optimization of a Budgeted Booster / 3583
Yi Huang, Brian Powers, Lev Reyzin
Abstract  |  PDF

Robust Dictionary Learning with Capped l1-Norm / 3590
Wenhao Jiang, Feiping Nie, Heng Huang
Abstract  |  PDF

Fast Cross-Validation for Incremental Learning / 3597
Pooria Joulani, Andras Gyorgy, Csaba Szepesvari
Abstract  |  PDF

IJCAI-15 Distinguished Paper
Bayesian Active Learning for Posterior Estimation / 3605
Kirthevasan Kandasamy, Jeff Schneider, Barnabas Poczos
Abstract  |  PDF

Collaborative Place Models / 3612
Berk Kapicioglu, David S. Rosenberg, Robert E. Schapire, Tony Jebara
Abstract  |  PDF

Symbol Acquisition for Probabilistic High-Level Planning / 3619
George Konidaris, Leslie Kaelbling, Tomas Lozano-Perez
Abstract  |  PDF

Data Sparseness in Linear SVM / 3628
Xiang Li, Huaimin Wang, Bin Gu, Charles X. Ling
Abstract  |  PDF

Multi-Label Classification with Feature-Aware Non-Linear Label Space Transformation / 3635
Xin Li, Yuhong Guo
Abstract  |  PDF

Multi-Task Model and Feature Joint Learning / 3643
Ya Li, Xinmei Tian, Tongliang Liu, Dacheng Tao
Abstract  |  PDF

Word Embedding Revisited: A New Representation Learning and Explicit Matrix Factorization Perspective / 3650
Yitan Li, Linli Xu, Fei Tian, Liang Jiang, Xiaowei Zhong, Enhong Chen
Abstract  |  PDF

Mixed Error Coding for Face Recognition with Mixed Occlusions / 3657
Ronghua Liang, Xiao-Xin Li
Abstract  |  PDF

Density Corrected Sparse Recovery when R.I.P. Condition Is Broken / 3664
Ming Lin, Zhengzhong Lan, Alexander G. Hauptmann
Abstract  |  PDF

Regularizing Flat Latent Variables with Hierarchical Structures / 3671
Rongcheng Lin, Huayu Li, Xiaojun Quan, Richang Hong, Zhiang Wu, Yong Ge
Abstract  |  PDF

Robust Kernel Dictionary Learning Using a Whole Sequence Convergent Algorithm / 3678
Huaping Liu, Jie Qin, Hong Cheng, Fuchun Sun
Abstract  |  PDF

Multi-Task Multi-Dimensional Hawkes Processes for Modeling Event Sequences / 3685
Dixin Luo, Hongteng Xu, Yi Zhen, Xia Ning, Hongyuan Zha, Xiaokang Yang, Wenjun Zhang
Abstract  |  PDF

Between Imitation and Intention Learning / 3692
James MacGlashan, Michael L. Littman
Abstract  |  PDF

Optimizing Locally Linear Classifiers with Supervised Anchor Point Learning / 3699
Xue Mao, Zhouyu Fu, Ou Wu, Weiming Hu
Abstract  |  PDF

Using A* for Inference in Probabilistic Classifier Chains / 3707
Deiner Mena, Elena Montañés, José Ramón Quevedo, Juan José del Coz
Abstract  |  PDF

Introspective Forecasting / 3714
Loizos Michael
Abstract  |  PDF

EntScene: Nonparametric Bayesian Temporal Segmentation of Videos Aimed at Entity-Driven Scene Detection / 3721
Adway Mitra, Chiranjib Bhattacharyya, Soma Biswas
Abstract  |  PDF

Image Feature Learning for Cold Start Problem in Display Advertising / 3728
Kaixiang Mo, Bo Liu, Lei Xiao, Yong Li, Jie Jiang
Abstract  |  PDF

Inverse Reinforcement Learning in Relational Domains / 3735
Thibaut Munzer, Bilal Piot, Matthieu Geist, Olivier Pietquin, Manuel Lopes
Abstract  |  PDF

On the Runtime of Randomized Local Search and Simple Evolutionary Algorithms for Dynamic Makespan Scheduling / 3742
Frank Neumann, Carsten Witt
Abstract  |  PDF

Weakly Supervised Matrix Factorization for Noisily Tagged Image Parsing / 3749
Yulei Niu, Zhiwu Lu, Songfang Huang, Peng Han, Ji-Rong Wen
Abstract  |  PDF

Graph Invariant Kernels / 3756
Francesco Orsini, Paolo Frasconi, Luc De Raedt
Abstract  |  PDF

EigenGP: Gaussian Process Models with Adaptive Eigenfunctions / 3763
Hao Peng, Yuan Qi
Abstract  |  PDF

Scalable Probabilistic Tensor Factorization for Binary and Count Data / 3770
Piyush Rai, Changwei Hu, Matthew Harding, Lawrence Carin
Abstract  |  PDF

Nonparametric Independence Testing for Small Sample Sizes / 3777
Aaditya Ramdas, Leila Wehbe
Abstract  |  PDF

Data Compression for Learning MRF Parameters / 3784
Khaled S. Refaat, Adnan Darwiche
Abstract  |  PDF

Extended Discriminative Random Walk: A Hypergraph Approach to Multi-View Multi-Relational Transductive Learning / 3791
Sai Nageswar Satchidanand, Harini Ananthapadmanaban, Balaraman Ravindran
Abstract  |  PDF

Deep Linear Coding for Fast Graph Clustering / 3798
Ming Shao, Sheng Li, Zhengming Ding, Yun Fu
Abstract  |  PDF

Semi-Orthogonal Multilinear PCA with Relaxed Start / 3805
Qiquan Shi, Haiping Lu
Abstract  |  PDF

A Geometric Theory of Feature Selection and Distance-Based Measures / 3812
Kilho Shin, Adrian Pino Angulo
Abstract  |  PDF

Open Domain Short Text Conceptualization: A Generative + Descriptive Modeling Approach / 3820
Yangqiu Song, Shusen Wang, Haixun Wang
Abstract  |  PDF

Equivalence Results between Feedforward and Recurrent Neural Networks for Sequences / 3827
Alessandro Sperduti
Abstract  |  PDF

Polytree-Augmented Classifier Chains for Multi-Label Classification / 3834
Lu Sun, Mineichi Kudo
Abstract  |  PDF

Sketch the Storyline with CHARCOAL: A Non-Parametric Approach / 3841
Siliang Tang, Fei Wu, Si Li, Weiming Lu, Zhongfei Zhang, Yueting Zhuang
Abstract  |  PDF

Convergence of Common Proximal Methods for L1-Regularized Least Squares / 3849
Shaozhe Tao, Daniel Boley, Shuzhong Zhang
Abstract  |  PDF

Portable Option Discovery for Automated Learning Transfer in Object-Oriented Markov Decision Processes / 3856
Nicholay Topin, Nicholas Haltmeyer, Shawn Squire, John Winder, Marie desJardins, James MacGlashan
Abstract  |  PDF

Online Learning of k-CNF Boolean Functions / 3865
Joel Veness, Marcus Hutter, Laurent Orseau, Marc Bellemare
Abstract  |  PDF

Feature Selection from Microarray Data via an Ordered Search with Projected Margin / 3874
Saulo Moraes Villla, Saul de Castro Leite, Raul Fonseca Neto
Abstract  |  PDF

Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations / 3882
Chenguang Wang, Yangqiu Song, Dan Roth, Chi Wang, Jiawei Han, Heng Ji, Ming Zhang
Abstract  |  PDF

Semantic Topic Multimodal Hashing for Cross-Media Retrieval / 3890
Di Wang, Xinbo Gao, Xiumei Wang, Lihuo He
Abstract  |  PDF

An Efficient Classifier Based on Hierarchical Mixing Linear Support Vector Machines / 3897
Di Wang, Xiaoqin Zhang, Mingyu Fan, Xiuzi Ye
Abstract  |  PDF

Learning to Hash on Partial Multi-Modal Data / 3904
Qifan Wang, Luo Si, Bin Shen
Abstract  |  PDF

Ranking Preserving Hashing for Fast Similarity Search / 3911
Qifan Wang, Zhiwei Zhang, Luo Si
Abstract  |  PDF

A Soft Version of Predicate Invention Based on Structured Sparsity / 3918
William Yang Wang, Kathryn Mazaitis, William W. Cohen
Abstract  |  PDF

Discriminative Unsupervised Dimensionality Reduction / 3925
Xiaoqian Wang, Yun Liu, Feiping Nie, Heng Huang
Abstract  |  PDF

A Joint Optimization Framework of Sparse Coding and Discriminative Clustering / 3932
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Jinyan Li, Simon Fong, Thomas S Huang
Abstract  |  PDF

Imaging Time-Series to Improve Classification and Imputation / 3939
Zhiguang Wang, Tim Oates
Abstract  |  PDF

Quantized Correlation Hashing for Fast Cross-Modal Search / 3946
Botong Wu, Qiang Yang, Wei-Shi Zheng, Yizhou Wang, Jingdong Wang
Abstract  |  PDF

Multi-Graph-View Learning for Complicated Object Classification / 3953
Jia Wu, Shirui Pan, Xingquan Zhu, Zhihua Cai, Chengqi Zhang
Abstract  |  PDF

Thompson Sampling for Budgeted Multi-Armed Bandits / 3960
Yingce Xia, Haifang Li, Tao Qin, Nenghai Yu, Tie-Yan Liu
Abstract  |  PDF

Perception Evolution Network Adapting to the Emergence of New Sensory Receptor / 3967
Youlu Xing, Furao Shen, Jinxi Zhao
Abstract  |  PDF

Multi-view Self-Paced Learning for Clustering / 3974
Chang Xu, Dacheng Tao, Chao Xu
Abstract  |  PDF

Ice-Breaking: Mitigating Cold-Start Recommendation Problem by Rating Comparison / 3981
Jingwei Xu, Yuan Yao, Hanghang Tong, Xianping Tao, Jian Lu
Abstract  |  PDF

Scalable Maximum Margin Matrix Factorization by Active Riemannian Subspace Search / 3988
Yan Yan, Mingkui Tan, Ivor Tsang, Yi Yang, Chengqi Zhang, Qinfeng Shi
Abstract  |  PDF

Deep Convolutional Neural Networks on Multichannel Time Series for Human Activity Recognition / 3995
Jianbo Yang, Minh Nhut Nguyen, Phyo Phyo San, Xiao Li Li, Shonali Krishnaswamy
Abstract  |  PDF

Accelerated Inexact Soft-Impute for Fast Large-Scale Matrix Completion / 4002
Quanming Yao, James T. Kwok
Abstract  |  PDF

Unsupervised Machine Condition Monitoring Using Segmental Hidden Markov Models / 4009
Chao Yuan
Abstract  |  PDF

Matrix Factorization with Scale-Invariant Parameters / 4017
Guangxiang Zeng, Hengshu Zhu, Qi Liu, Ping Luo, Enhong Chen, Tong Zhang
Abstract  |  PDF

A Direct Boosting Approach for Semi-supervised Classification / 4025
Shaodan Zhai, Tian Xia, Zhongliang Li, Shaojun Wang
Abstract  |  PDF

Increasingly Cautious Optimism for Practical PAC-MDP Exploration / 4033
Liangpeng Zhang, Ke Tang, Xin Yao
Abstract  |  PDF

Towards Class-Imbalance Aware Multi-Label Learning / 4041
Min-Ling Zhang, Yu-Kun Li, Xu-Ying Liu
Abstract  |  PDF

Solving the Partial Label Learning Problem: An Instance-Based Approach / 4048
Min-Ling Zhang, Fei Yu
Abstract  |  PDF

Multi-Task Multi-View Clustering for Non-Negative Data / 4055
Xianchao Zhang, Xiaotong Zhang, Han Liu
Abstract  |  PDF

Semi-Supervised Multi-Label Learning with Incomplete Labels / 4062
Feipeng Zhao, Yuhong Guo
Abstract  |  PDF

Self-Adaptive Hierarchical Sentence Model / 4069
Han Zhao, Zhengdong Lu, Pascal Poupart
Abstract  |  PDF

Dual-Regularized Multi-View Outlier Detection / 4077
Handong Zhao, Yun Fu
Abstract  |  PDF

Mobile Query Recommendation via Tensor Function Learning / 4084
Zhou Zhao, Ruihua Song, Xing Xie, Xiaofei He, Yueting Zhuang
Abstract  |  PDF

Instance-Wise Weighted Nonnegative Matrix Factorization for Aggregating Partitions with Locally Reliable Clusters / 4091
Xiaodong Zheng, Shanfeng Zhu, Junning Gao, Hiroshi Mamitsuka
Abstract  |  PDF

MUVIR: Multi-View Rare Category Detection / 4098
Dawei Zhou, Jingrui He, K. Seluk Candan, Hasan Davulcu
Abstract  |  PDF

Recovery of Corrupted Multiple Kernels for Clustering / 4105
Peng Zhou, Liang Du, Lei Shi, Hanmo Wang, Yi-Dong Shen
Abstract  |  PDF

Learning a Robust Consensus Matrix for Clustering Ensemble via Kullback-Leibler Divergence Minimization / 4112
Peng Zhou, Liang Du, Hanmo Wang, Lei Shi, Yi-Dong Shen
Abstract  |  PDF

Supervised Representation Learning: Transfer Learning with Deep Autoencoders / 4119
Fuzhen Zhuang, Xiaohu Cheng, Ping Luo, Sinno Jialin Pan, Qing He
Abstract  |  PDF

Adaptive Dropout Rates for Learning with Corrupted Features / 4126
Jingwei Zhuo, Jun Zhu, Bo Zhang
Abstract  |  PDF


Demos Track

Evolving Families of Shapes / 4134
Filipe Assunção, João Correia, Pedro Martins, Penousal Machado
Abstract  |  PDF

Max Order: A Tale of Creativity / 4136
Fiammetta Ghedini, François Pachet, Pierre Roy
Abstract  |  PDF

Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation / 4138
Qi Lyu, Zhiyong Wu, Jun Zhu, Helen Meng
Abstract  |  PDF

Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings / 4140
Mathieu Ramona, Giordano Cabral, François Pachet
Abstract  |  PDF


Journal Track

Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract) / 4143
Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti
Abstract  |  PDF

The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract) / 4148
Marc Bellemare, Yavar Naddaf, Joel Veness, Michael Bowling
Abstract  |  PDF

Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract) / 4153
Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen
Abstract  |  PDF

Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract) / 4188
Cristina Bosco, Viviana Patti, Andrea Bolioli
Abstract  |  PDF

Data Complexity of Query Answering in Description Logics (Extended Abstract) / 4163
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
Abstract  |  PDF

Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract) / 4168
Karthik Dinakar, Rosalind Picard, Henry Lieberman
Abstract  |  PDF

Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract) / 4173
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
Abstract  |  PDF

The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract) / 4178
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
Abstract  |  PDF

kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract) / 4183
Paolo Frasconi, Fabrizio Costa, Luc De Raedt, Kurt De Grave
Abstract  |  PDF

Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract) / 4188
Micah Hodosh, Peter Young, Julia Hockenmaier
Abstract  |  PDF

Measuring and Recommending Time-Sensitive Routes from Location-based Data / 4193
Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin
Abstract  |  PDF

Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract) / 4197
Frank Hutter, Lin Xu, Holger Hoos, Kevin Leyton-Brown
Abstract  |  PDF

Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract) / 4202
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz, Livio Robaldo, Luca Ducceschi
Abstract  |  PDF

Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract / 4207
Munindar P. Singh
Abstract  |  PDF

Continuous Body and Hand Gesture Recognition for Natural Human-Computer Interaction: Extended Abstract / 4212
Yale Song, Randall Davis
Abstract  |  PDF

On the Testability of BDI Agent Systems (Extended Abstract) / 4217
Michael Winikoff, Stephen Cranefield
Abstract  |  PDF

Inapproximability of Treewidth and Related Problems (Extended Abstract) / 4222
Yu Wu, Per Austrin, Toniann Pitassi, David Liu
Abstract  |  PDF

Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract) / 4229
Rui Xia, Chengqing Zong, Xuelei Hu, Erik Cambria
Abstract  |  PDF

Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract / 4234
Jie Yin, Sarvnaz Karimi, Andrew Lampert, Mark Cameron, Bella Robinson, Robert Power
Abstract  |  PDF


Best Papers from Sister Conferences Track

When Are Description Logic Knowledge Bases Indistinguishable? / 4240
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Abstract  |  PDF

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis / 4247
Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
Abstract  |  PDF

Exploiting Separability in Multiagent Planning with Continuous-State MDPs (Extended Abstract) / 4254
Jilles Steeve Dibangoye, Christopher Amato, Olivier Buffet, François Charpillet
Abstract  |  PDF

Trust-Guided Behavior Adaptation Using Case-Based Reasoning / 4261
Michael Floyd, Michael Drinkwater, David Aha
Abstract  |  PDF

Adapting to User Preference Changes in Interactive Recommendation / 4268
Negar Hariri, Bamshad Mobasher, Robin Burke
Abstract  |  PDF

Near-Optimal Approximation Mechanisms for Multi-Unit Combinatorial Auctions / 4275
Piotr Krysta, Orestis Telelis, Carmine Ventre
Abstract  |  PDF

How to Define Certain Answers / 4282
Leonid Libkin
Abstract  |  PDF

Firefly Monte Carlo: Exact MCMC with Subsets of Data / 4289
Dougal Maclaurin, Ryan Prescott Adams
Abstract  |  PDF

Matching and Grokking: Approaches to Personalized Crowdsourcing / 4296
Peter Organisciak, Jaime Teevan, Susan Dumais, Robert C. Miller, Adam Tauman Kalai
Abstract  |  PDF

Heuristics for Cost-Optimal Classical Planning Based on Linear Programming / 4303
Florian Pommerening, Gabriele Roger, Malte Helmert, Blai Bonet
Abstract  |  PDF

Reasoning with Probabilistic Ontologies / 4310
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese
Abstract  |  PDF

Examples and Tutored Problems: Adaptive Support Using Assistance Scores / 4317
Amir Shareghi Najar, Antonija Mitrovic, Bruce McLaren
Abstract  |  PDF

Max Is More than Min: Solving Maximization Problems with Heuristic Search / 4324
Roni Stern, Scott Kiesel, Rami Puzis, Ariel Felner, Wheeler Ruml
Abstract  |  PDF

Speedy versus Greedy Search / 4331
Christopher Makoto Wilt, Wheeler Ruml
Abstract  |  PDF


Doctoral Consortium

Online Fair Division / 4339
Martin Damyanov Aleksandrov
Abstract  |  PDF

Expressive Rule-Based Stream Reasoning / 4341
Harald Beck
Abstract  |  PDF

Graph Construction for Semi-Supervised Learning / 4343
Lilian Berton, Alneu de Andrade Lopes
Abstract  |  PDF

Stochastic Density Ratio Estimation and Its Application to Feature Selection / 4345
Igor Braga
Abstract  |  PDF

Encoding and Combining Knowledge to Speed up Reinforcement Learning / 4347
Tim Brys
Abstract  |  PDF

A Cognitively Inspired Approach for Knowledge Representation and Reasoning in Knowledge-Based Systems / 4349
Joel Luis Carbonera, Mara Abel
Abstract  |  PDF

Distribution of UCT and Its Ramifications / 4351
Marc Yu-San Chee
Abstract  |  PDF

A Distributed Platform to Ease the Development of Recommendation Algorithms on Large-Scale Graphs / 4353
Alejandro Corbellini
Abstract  |  PDF

Models for Conditional Preferences as extensions of CP-nets / 4355
Cristina Cornelio
Abstract  |  PDF

Information Extraction of Texts in the Biomedical Domain / 4357
Viviana Cotik
Abstract  |  PDF

Learning Efficient Logic Programs / 4359
Andrew Cropper
Abstract  |  PDF

RoTuEl: A Semi-Automated Method for Labeling Political Tweets / 4361
Wilton de Paula Filho, Ana Cristina Bicharra Garcia
Abstract  |  PDF

Bipartite Graph for Topic Extraction / 4363
Thiago de Paulo Faleiros, Alneu de Andrade Lopes
Abstract  |  PDF

Statistical Relational Learning Towards Modelling Social Media Users / 4365
Golnoosh Farnadi
Abstract  |  PDF

On the Static Analysis for SPARQL Queries Using Modal Logic / 4367
Nicola Guido
Abstract  |  PDF

Exploiting Trust Information to Cope with Malicious Entities in Multi-Agent Systems / 4369
Athirai A. Irissappane
Abstract  |  PDF

Artificial Prediction Markets for Online Prediction / 4371
Fatemeh Jahedpari
Abstract  |  PDF

Multi-Robot Exploration with Communication Restrictions / 4373
Elizabeth A. Jensen
Abstract  |  PDF

Diagnosis of Technical Systems / 4375
Roxane Koitz, Franz Wotawa
Abstract  |  PDF

Abstract Argumentation Frameworks — From Theoretical Insights to Practical Implications / 4377
Thomas Linsbichler
Abstract  |  PDF

Flexible Scheduling for an Agile Earth-Observing Satelllite / 4379
Adrien Maillard
Abstract  |  PDF

Towards More Practical Reinforcement Learning / 4381
Travis Mandel
Abstract  |  PDF

Using Small Humanoid Robots to Detect Autism in Toddlers / 4383
Marie D. Manner
Abstract  |  PDF

Automatic Extraction of References to Future Events from News Articles Using Semantic and Morphological Information / 4385
Yoko Nakajima
Abstract  |  PDF

Advances in Nonparametric Hypothesis Testing / 4387
Aaditya Ramdas
Abstract  |  PDF

Efficient Methods for Multi-Objective Decision-Theoretic Planning / 4389
Diederik Marijn Roijers
Abstract  |  PDF

Automated Agents for Advice Provision / 4391
Ariel Rosenfeld
Abstract  |  PDF

Dynamic Execution of Temporal Plans with Sensing Actions and Bounded Risk / 4393
Pedro Henrique Santana, Brian C. Williams
Abstract  |  PDF

An Intelligent and Unified Framework for Multiple Robot and Human Coalition Formation / 4395
Sayan Dev Sen
Abstract  |  PDF

Normative Practical Reasoning: An Argumentation-Based Approach / 4397
Zohreh Shams
Abstract  |  PDF

Unleashing the Power of Multi-Agent Voting Teams / 4399
Leandro Soriano Marcolino
Abstract  |  PDF

Feature Selection for Multi-Label Learning / 4401
Newton Spolaôr, Maria Carolina Monard, Huei Diana Lee
Abstract  |  PDF

Rational Architecture = Architecture from a Recommender Perspective / 4403
Marc van Zee
Abstract  |  PDF

Quantifying and Improving the Robustness of Trust Systems / 4405
Dongxia Wang
Abstract  |  PDF

The Spatio-Temporal Representation of Natural Reading / 4407
Leila Wehbe
Abstract  |  PDF

Approximate Algorithms for Stochastic Network Design / 4409
Xiaojian Wu
Abstract  |  PDF

Inference and Learning for Probabilistic Description Logics / 4411
Riccardo Zese
Abstract  |  PDF

Improvements of Symmetry Breaking During Search / 4413
Zichen Zhu
Abstract  |  PDF


Invited

Activity-Based Scheduling of Science Campaigns for the Rosetta Orbiter / 4416
Steve Chien, Gregg Rabideau, Daniel Tran, Martina Troesch, Joshua Doubleday, Federico Nespoli, Miguel Perez Ayucar, Marc Costa Sitja, Claire Vallat, Bernhard Geiger, Nico Altobelli, Manuel Fernandez, Fran Vallejo, Rafael Andres, Michael Kueppers
Abstract  |  PDF

CoBots: Robust Symbiotic Autonomous Mobile Service Robots / 4423
Manuela Veloso, Joydeep Biswas, Brian Coltin, Stephanie Rosenthal
Abstract  |  PDF