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