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

New York, New York, USA   9–15 July 2016

Edited by Subbarao Kambhampati, Arizona State University

Cosponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)
Association for the Advancement of Artificial Intelligence

Published by
AAAI Press / International Joint Conferences on Artificial Intelligence

Palo Alto, California USA


Copyright © 2016 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-770-4 (volumes 1-3)

ISBN 978-1-57735-771-1 (volumes 4-6)


Contents

Preface / xxxiii
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

Conference Organization / xxxv
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

Program Committee / xxxvii
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

Conference Organizers and Sponsors / liii
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

Awards and Distinguished Papers / lv
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

IJCAI Organization / lvii
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

Past IJCAI Conferences / lix
Subbarao Kambhampati, Gerhard Brewka
PDF | Abstract

Interdependent Scheduling Games / 2
Andres Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck, Toby Walsh
PDF | Abstract

Scalable Greedy Algorithms for Task/Resource Constrained Multi-Agent Stochastic Planning / 10
Pritee Agrawal, Pradeep Varakantham, William Yeoh
PDF | Abstract

Coco: Runtime Reasoning about Conflicting Commitments / 17
Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle, Munindar P. Singh
PDF | Abstract

Verifying Existence of Resource-Bounded Coalition Uniform Strategies / 24
Natasha Alechina, Mehdi Dastani, Brian Logan
PDF | Abstract

On Truthful Mechanisms for Maximin Share Allocations / 31
Georgios Amanatidis, Georgios Birmpas, Evangelos Markakis
PDF | Abstract

Modeling and Reasoning about NTU Games via Answer Set Programming / 38
Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri
PDF | Abstract

Randomized Social Choice Functions under Metric Preferences / 46
Elliot Anshelevich, John Postl
PDF | Abstract

Generalized Discrete Preference Games / 53
Vincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi, Giuseppe Persiano
PDF | Abstract

Computing Pareto Optimal Committees / 60
Haris Aziz, Jérôme Lang, Jérôme Monnot
PDF | Abstract

Control of Fair Division / 67
Haris Aziz, Ildikó Schlotter, Toby Walsh
PDF | Abstract

A Characterization of Voting Power for Discrete Weight Distributions / 74
Yoram Bachrach, Yuval Filmus, Joel Oren, Yair Zick
PDF | Abstract

Misrepresentation in District Voting / 81
Yoram Bachrach, Omer Lev, Yoad Lewenberg, Yair Zick
PDF | Abstract

Conditional and Sequential Approval Voting on Combinatorial Domains / 88
Nathanaël Barrot, Jérôme Lang
PDF | Abstract

On Logics of Strategic Ability Based on Propositional Control / 95
Francesco Belardinelli, Andreas Herzig
PDF | Abstract

Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels / 102
Bernhard Bliem, Robert Bredereck, Rolf Niedermeier
PDF | Abstract

The Complexity of Playing Durak / 109
édouard Bonnet
PDF | Abstract

Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving / 116
Florian Brandl, Felix Brandt, Christian Geist
PDF | Abstract

To Give or Not to Give: Fair Division for Single Minded Valuations / 123
Simina Brânzei, Yuezhou Lv, Ruta Mehta
PDF | Abstract

Pairwise Diffusion of Preference Rankings in Social Networks / 130
Markus Brill, Edith Elkind, Ulle Endriss, Umberto Grandi
PDF | Abstract

Facility Location with Minimax Envy / 137
Qingpeng Cai, Aris Filos-Ratsikas, Pingzhong Tang
PDF | Abstract

Achieving Proportional Representation in Conference Programs / 144
Ioannis Caragiannis, Laurent Gourvès, Jérôme Monnot
PDF | Abstract

Subset Selection via Implicit Utilitarian Voting / 151
Ioannis Caragiannis, Swaprava Nath, Ariel D. Procaccia, Nisarg Shah
PDF | Abstract

Trading on a Rigged Game: Outcome Manipulation in Prediction Markets / 158
Mithun Chakraborty, Sanmay Das
PDF | Abstract

Congestion Games with Polytopal Strategy Spaces / 165
Hau Chan, Albert Xin Jiang
PDF | Abstract

Robust Draws in Balanced Knockout Tournaments / 172
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Josef Tkadlec
PDF | Abstract

Verifying Pushdown Multi-Agent Systems against Strategy Logics / 180
Taolue Chen, Fu Song, Zhilin Wu
PDF | Abstract

Truthfulness of a Proportional Sharing Mechanism in Resource Exchange / 187
Yukun Cheng, Xiaotie Deng, Qi Qi, Xiang Yan
PDF | Abstract

Better Strategyproof Mechanisms without Payments or Prior — An Analytic Approach / 194
Yun Kuen Cheung
PDF | Abstract

Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral Coverage / 201
Ross Conroy, Yifeng Zeng, Jing Tang
PDF | Abstract

Selective Norm Monitoring / 208
Natalia Criado, Jose M. Such
PDF | Abstract

Elicitation for Preferences Single Peaked on Trees / 215
Palash Dey, Neeldhara Misra
PDF | Abstract

Preference Elicitation for Single Crossing Domain / 222
Palash Dey, Neeldhara Misra
PDF | Abstract

Complexity of Manipulation with Partial Information in Voting / 229
Palash Dey, Neeldhara Misra, Y. Narahari
PDF | Abstract

Strategic Voting with Incomplete Information / 236
Ulle Endriss, Svetlana Obraztsova, Maria Polukarov, Jeffrey S. Rosenschein
PDF | Abstract

Voting-Based Group Formation / 243
Piotr Faliszewski, Arkadii Slinko, Nimrod Talmon
PDF | Abstract

Committee Scoring Rules: Axiomatic Classification and Hierarchy / 250
Piotr Faliszewski, Piotr Skowron, Arkadii Slinko, Nimrod Talmon
PDF | Abstract

How Hard Is It for a Party to Nominate an Election Winner? / 257
Piotr Faliszewski, Laurent Gourvès, Jérôme Lang, Julien Lesca, Jérôme Monnot
PDF | Abstract

Digital Good Exchange / 264
Wenyi Fang, Pingzhong Tang, Song Zuo
PDF | Abstract

Parallel Behavior Composition for Manufacturing / 271
Paolo Felli, Brian Logan, Sebastian Sardina
PDF | Abstract

Opinion Dynamics with Local Interactions / 279
Dimitris Fotakis, Dimitris Palyvos-Giannas, Stratis Skoulakis
PDF | Abstract

Online Mechanism Design for Vehicle-to-Grid Car Parks / 286
Enrico H. Gerding, Sebastian Stein, Sofia Ceppi, Valentin Robu
PDF | Abstract

Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous Agents / 294
Julio Godoy, Ioannis Karamouzas, Stephen J. Guy, Maria Gini
PDF | Abstract

A Network-Based Rating System and Its Resistance to Bribery / 301
Umberto Grandi, Paolo Turrini
PDF | Abstract

Three Strategies to Success: Learning Adversary Models in Security Games / 308
Nika Haghtalab, Fei Fang, Thanh H. Nguyen, Arunesh Sinha, Ariel D. Procaccia, Milind Tambe
PDF | Abstract

Reconfigurability in Reactive Multiagent Systems / 315
Xiaowei Huang, Qingliang Chen, Jie Meng, Kaile Su
PDF | Abstract

Probabilistic Matrix Inspection and Group Scheduling / 322
Hooyeon Lee, Ashish Goel
PDF | Abstract

Catcher-Evader Games / 329
Yuqian Li, Vincent Conitzer, Dmytro Korzhyk
PDF | Abstract

Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish Routing / 338
Thanasis Lianeas, Evdokia Nikolova, Nicolas E. Stier-Moses
PDF | Abstract

Social Choice for Agents with General Utilities / 345
Hongyao Ma, Reshef Meir, David C. Parkes
PDF | Abstract

Incentivizing Reliability in Demand-Side Response / 352
Hongyao Ma, Valentin Robu, Na Li, David C. Parkes
PDF | Abstract

Allocating Indivisible Items in Categorized Domains / 359
Erika Mackin, Lirong Xia
PDF | Abstract

Correlated Voting / 366
Debmalya Mandal, David C. Parkes
PDF | Abstract

Silk: A Simulation Study of Regulating Open Normative Multiagent Systems / 373
Mehdi Mashayekhi, Hongying Du, George F. List, Munindar P. Singh
PDF | Abstract

Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies / 380
Georgios Methenitis, Michael Kaisers, Han La Poutré
PDF | Abstract

Dynamic Auctions with Bank Accounts / 387
Vahab Mirrokni, Renato Paes Leme, Pingzhong Tang, Song Zuo
PDF | Abstract

SLIM: Semi-Lazy Inference Mechanism for Plan Recognition / 394
Reuth Mirsky, Ya’akov (Kobi) Gal
PDF | Abstract

Sequential Plan Recognition / 401
Reuth Mirsky, Roni Stern, Ya’akov (Kobi) Gal, Meir Kalech
PDF | Abstract

Distributed Decoupling of Multiagent Simple Temporal Problems / 408
Jayanth Krishna Mogali, Stephen F. Smith, Zachary B. Rubinstein
PDF | Abstract

Role Assignment for Game-Theoretic Cooperation / 416
Catherine Moon, Vincent Conitzer
PDF | Abstract

Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods / 424
Dmitry Moor, Sven Seuken, Tobias Grubenmann, Abraham Bernstein
PDF | Abstract

Automated Mechanism Design without Money via Machine Learning / 433
Harikrishna Narasimhan, Shivani Agarwal, David C. Parkes
PDF | Abstract

Trembling Hand Equilibria of Plurality Voting / 440
Svetlana Obraztsova, Zinovi Rabinovich, Edith Elkind, Maria Polukarov, Nicholas R. Jennings
PDF | Abstract

Distributed Breakout: Beyond Satisfaction / 447
Steven Okamoto, Roie Zivan, Aviv Nahon
PDF | Abstract

Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation / 454
Tenda Okimoto, Tony Ribeiro, Damien Bouchabou, Katsumi Inoue
PDF | Abstract

Controlling Growing Tasks with Heterogeneous Agents / 461
James Parker, Maria Gini
PDF | Abstract

Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems / 468
Pierre Rust, Gauthier Picard, Fano Ramparany
PDF | Abstract

An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems / 475
Wen Shen, Cristina V. Lopes, Jacob W. Crandall
PDF | Abstract

Efficient Local Search in Coordination Games on Graphs / 482
Sunil Simon, Dominik Wojtczak
PDF | Abstract

Assigning a Small Agreeable Set of Indivisible Items to Multiple Players / 489
Warut Suksompong
PDF | Abstract

Preserving Privacy in Region Optimal DCOP Algorithms / 496
Tamir Tassa, Roie Zivan, Tal Grinshpoun
PDF | Abstract

Nash Equilibria and Their Elimination in Resource Games / 503
Nicolas Troquard
PDF | Abstract

An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets / 510
Elaine Wah, Sébastien Lahaie, David M. Pennock
PDF | Abstract

Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems / 517
Kyle Hollins Wray, Luis Pineda, Shlomo Zilberstein
PDF | Abstract

Coordinating Human-UAV Teams in Disaster Response / 524
Feng Wu, Sarvapali D. Ramchurn, Xiaoping Chen
PDF | Abstract

Efficient Resource Allocation for Protecting Coral Reef Ecosystems / 531
Yue Yin, Bo An
PDF | Abstract

Optimally Protecting Elections / 538
Yue Yin, Yevgeniy Vorobeychik, Bo An, Noam Hazon
PDF | Abstract

Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints / 546
Ruohan Zhang, Yue Yu, Mahmoud El Chamie, Behçet Açıkmese, Dana H. Ballard
PDF | Abstract

Towards a White Box Approach to Automated Algorithm Design / 554
Steven Adriaensen, Ann Nowé
PDF | Abstract

Action Selection for Hammer Shots in Curling / 561
Zaheen Farraz Ahmad, Robert C. Holte, Michael Bowling
PDF | Abstract

Fast Solving Maximum Weight Clique Problem in Massive Graphs / 568
Shaowei Cai, Jinkun Lin
PDF | Abstract

Packing Graphs with ASP for Landscape Simulation / 575
Thomas Guyet, Yves Moinard, Jacques Nicolas, René Quiniou
PDF | Abstract

On the Topology of Genetic Algorithms / 582
David Hofmeyr
PDF | Abstract

Truncating Shortest Path Search for Efficient Map-Matching / 589
Takashi Imamichi, Takayuki Osogami, Rudy Raymond
PDF | Abstract

Relevance for SAT(ID) / 596
Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens, Marc Denecker
PDF | Abstract

Counting Linear Extensions of Sparse Posets / 603
Kustaa Kangas, Teemu Hankala, Teppo Niinimäki, Mikko Koivisto
PDF | Abstract

Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory / 610
Richard E. Korf
PDF | Abstract

Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models / 617
Javier Larrosa, Emma Rollon, Rina Dechter
PDF | Abstract

FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs / 624
Kangwei Liu, Junge Zhang, Peipei Yang, Kaiqi Huang
PDF | Abstract

Heuristics and Really Hard Instances for Subgraph Isomorphism Problems / 631
Ciaran McCreesh, Patrick Prosser, James Trimble
PDF | Abstract

Markov Chain Analysis of Noise and Restart in Stochastic Local Search / 639
Ole J. Mengshoel, Youssef Ahres, Tong Yu
PDF | Abstract

Efficiently Finding Conceptual Clustering Models with Integer Linear Programming / 647
Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann, Lakhdar Loukil
PDF | Abstract

Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization / 655
Fei Peng, Tuomas Sandholm
PDF | Abstract

Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban / 662
André G. Pereira, Robert Holte, Jonathan Schaeffer, Luciana S. Buriol, Marcus Ritt
PDF | Abstract

An Approximation Algorithm for the Subpath Planning Problem / 669
Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali, Aliakbar Safilian
PDF | Abstract

External Memory Bidirectional Search / 676
Nathan R. Sturtevant, Jingwei Chen
PDF | Abstract

Canonical Orderings on Grids / 683
Nathan R. Sturtevant, Steve Rabin
PDF | Abstract

Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty / 690
Timothy Yee, Viliam Lisy, Michael Bowling
PDF | Abstract

Multiple Constraint Acquisition / 698
Robin Arcangioli, Christian Bessiere, Nadjib Lazaar
PDF | Abstract

Ranking Constraints / 705
Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Toby Walsh
PDF | Abstract

Bias in Algorithm Portfolio Performance Evaluation / 712
Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown
PDF | Abstract

Constraint Acquisition with Recommendation Queries / 720
Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El Houssine Bouyakhf
PDF | Abstract

Combining the k-CNF and XOR Phase-Transitions / 727
Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi
PDF | Abstract

Linear Arithmetic Satisfiability via Strategy Improvement / 735
Azadeh Farzan, Zachary Kincaid
PDF | Abstract

Constraint Detection in Natural Language Problem Descriptions / 744
Zeynep Kiziltan, Marco Lippi, Paolo Torroni
PDF | Abstract

Improving Model Counting by Leveraging Definability / 751
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
PDF | Abstract

Static Symmetry Breaking with the Reflex Ordering / 758
Jimmy H. M. Lee, Zichen Zhu
PDF | Abstract

A Clause Tableau Calculus for MaxSAT / 766
Chu-Min Li, Felip Manyà, Joan Ramon Soler
PDF | Abstract

Optimizing Molecular Cloning of Multiple Plasmids / 773
Thierry Petit, Lolita Petit
PDF | Abstract

Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling / 780
Sam Snodgrass, Santiago Ontañón
PDF | Abstract

Optimizing Simple Tabular Reduction with a Bitwise Representation / 787
Ruiwei Wang, Wei Xia, Roland H. C. Yap, Zhanshan Li
PDF | Abstract

Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork / 796
Ofra Amir, Barbara J. Grosz, Krzysztof Z. Gajos
PDF | Abstract

Interactive Teaching Strategies for Agent Training / 804
Ofra Amir, Ece Kamar, Andrey Kolobov, Barbara J. Grosz
PDF | Abstract

Planning with Task-Oriented Knowledge Acquisition for a Service Robot / 812
Kai Chen, Fangkai Yang, Xiaoping Chen
PDF | Abstract

A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty / 819
Shaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen, Lincheng Shen
PDF | Abstract

Apprenticeship Scheduling: Learning to Schedule from Human Experts / 826
Matthew Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son, Julie Shah
PDF | Abstract

DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations / 834
Eun-Sol Kim, Kyoung-Woon On, Byoung-Tak Zhang
PDF | Abstract

Interactive Martingale Boosting / 841
Ashish Kulkarni, Pushpak Burange, Ganesh Ramakrishnan
PDF | Abstract

Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning / 848
Thomas Moerland, Joost Broekens, Catholijn Jonker
PDF | Abstract

Predictive Models of Malicious Behavior in Human Negotiations / 855
Zahra Nazari, Jonathan Gratch
PDF | Abstract

Verbalization: Narration of Autonomous Robot Experience / 862
Stephanie Rosenthal, Sai P. Selvaraj, Manuela Veloso
PDF | Abstract

Interactive Scheduling of Appliance Usage in the Home / 869
Ngoc Cuong Truong, Tim Baarslag, Sarvapali D. Ramchurn, Long Tran-Thanh
PDF | Abstract

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates / 878
Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus
PDF | Abstract

Completion of Disjunctive Logic Programs / 886
Mario Alviano, Carmine Dodaro
PDF | Abstract

Query Answering with Transitive and Linear-Ordered Data / 893
Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
PDF | Abstract

Evaluation of Arguments from Support Relations: Axioms and Semantics / 900
Leila Amgoud, Jonathan Ben-Naim
PDF | Abstract

Incomplete Causal Laws in the Situation Calculus Using Free Fluents / 907
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardina
PDF | Abstract

On the Relationship between P-log and LPMLN / 915
Evgenii Balai, Michael Gelfond
PDF | Abstract

Online Agent Supervision in the Situation Calculus / 922
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
PDF | Abstract

Equivalent Stream Reasoning Programs / 929
Harald Beck, Minh Dao-Tran, Thomas Eiter
PDF | Abstract

The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics / 936
Christoph Benzmüller, Bruno Woltzenlogel Paleo
PDF | Abstract

Ontology-Mediated Queries Distributing over Components / 943
Gerald Berger, Andreas Pieris
PDF | Abstract

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau / 950
Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds
PDF | Abstract

Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases / 957
Meghyn Bienvenu, Camille Bourgaux, François Goasdoué
PDF | Abstract

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics / 965
Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
PDF | Abstract

Automated Synthesis of Timed Failure Propagation Graphs / 972
Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
PDF | Abstract

ASP for Anytime Dynamic Programming on Tree Decompositions / 979
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran
PDF | Abstract

Extending the Harper Identity to Iterated Belief Change / 987
Richard Booth, Jake Chandler
PDF | Abstract

Preferential Query Answering over the Semantic Web with Possibilistic Networks / 994
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska
PDF | Abstract

Query-Based Entailment and Inseparability for ALC Ontologies / 1001
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
PDF | Abstract

Knowledge Compilation Meets Communication Complexity / 1008
Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky
PDF | Abstract

An ASP Semantics for Default Reasoning with Constraints / 1015
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
PDF | Abstract

Plan Synthesis for Knowledge and Action Bases / 1022
Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
PDF | Abstract

On the Impact of Modal Depth in Epistemic Planning / 1030
Tristan Charrier, Bastien Maubert, Francçois Schwarzentruber
PDF | Abstract

Imperfect-Information Games and Generalized Planning / 1037
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
PDF | Abstract

LTLf and LDLf Synthesis under Partial Observability / 1044
Giuseppe De Giacomo, Moshe Y. Vardi
PDF | Abstract

Investigating the Relationship between Argumentation Semantics via Signatures / 1051
Paul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran
PDF | Abstract

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access / 1058
Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl
PDF | Abstract

Forgetting in Multi-Agent Modal Logics / 1066
Liangda Fang, Yongmei Liu, Hans van Ditmarsch
PDF | Abstract

Trend-Based Prediction of Spatial Change / 1074
Xiaoyu Ge, Jae Hee Lee, Jochen Renz, Peng Zhang
PDF | Abstract

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models / 1081
Anne-Marie George, Nic Wilson, Barry O’Sullivan
PDF | Abstract

Querying Data Graphs with Arithmetical Regular Expressions / 1088
Maciej Graboń, Jakub Michaliszyn, Jan Otop, Piotr Wieczorek
PDF | Abstract

On Consensus Extraction / 1095
éric Grégoire, Sébastien Konieczny, Jean Marie Lagniez
PDF | Abstract

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries / 1102
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov
PDF | Abstract

Distributing Knowledge into Simple Bases / 1109
Adrian Haret, Jean-Guy Mailly, Stefan Woltran
PDF | Abstract

Epistemic Boolean Games Based on a Logic of Visibility and Control / 1116
Andreas Herzig, Emiliano Lorini, Faustine Maffre, Francois Schwarzentruber
PDF | Abstract

Normative Multiagent Systems: The Dynamic Generalization / 1123
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
PDF | Abstract

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding / 1130
Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu
PDF | Abstract

Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games / 1138
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
PDF | Abstract

Question Answering via Integer Programming over Semi-Structured Knowledge / 1145
Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni, Dan Roth
PDF | Abstract

Conservative Rewritability of Description Logic TBoxes / 1153
Boris Konev, Carsten Lutz, Frank Wolter, Michael Zakharyaschev
PDF | Abstract

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic / 1160
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
PDF | Abstract

Learning Possibilistic Logic Theories from Default Rules / 1167
Ondřej Kuželka, Jesse Davis, Steven Schockaert
PDF | Abstract

Answering Metaqueries over Hi (OWL 2 QL) Ontologies / 1174
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
PDF | Abstract

Constraint Answer Set Programming versus Satisfiability Modulo Theories / 1181
Yuliya Lierler, Benjamin Susman
PDF | Abstract

Exploring the Context of Locations for Personalized Location Recommendations / 1188
Xin Liu, Yong Liu, Xiaoli Li
PDF | Abstract

A Decision Procedure for a Fragment of Linear Time Mu-Calculus / 1195
Yao Liu, Zhenhua Duan, Cong Tian
PDF | Abstract

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks / 1202
Zhiguo Long, Michael Sioutis, Sanjiang Li
PDF | Abstract

Belief Update for Proper Epistemic Knowledge Bases / 1209
Tim Miller, Christian Muise
PDF | Abstract

Optimal Status Enforcement in Abstract Argumentation / 1216
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
PDF | Abstract

Efficient Representations for the Modal Logic S5 / 1223
Alexandre Niveau, Bruno Zanuttini
PDF | Abstract

Expressivity of Datalog Variants — Completing the Picture / 1230
Sebastian Rudolph, Michaël Thomazo
PDF | Abstract

Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? / 1237
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis
PDF | Abstract

Normative Practical Reasoning via Argumentation and Dialogue / 1244
Zohreh Shams, Marina De Vos, Nir Oren, Julian Padget
PDF | Abstract

Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses / 1251
Kostyantyn Shchekotykhin, Thomas Schmitz, Dietmar Jannach
PDF | Abstract

Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate / 1258
Jason St. Jacques, David Toman, Grant Weddell
PDF | Abstract

Diagnosability of Discrete-Event Systems with Uncertain Observations / 1265
Xingyu Su, Marina Zanella, Alban Grastien
PDF | Abstract

Sampling-Based Belief Revision / 1272
Michael Thielscher
PDF | Abstract

Efficient Query Answering over Expressive Inconsistent Description Logics / 1279
Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou, George Koletsos
PDF | Abstract

Distributed Autoepistemic Logic and its Application to Access Control / 1286
Pieter Van Hertum, Marcos Cramer, Bart Bogaerts, Marc Denecker
PDF | Abstract

Text-Enhanced Representation Learning for Knowledge Graph / 1293
Zhigang Wang, Juanzi Li
PDF | Abstract

On the Representation and Embedding of Knowledge Bases beyond Binary Relations / 1300
Jianfeng Wen, Jianxin Li, Yongyi Mao, Shini Chen, Richong Zhang
PDF | Abstract

Connecting Qualitative Spatial and Temporal Representations by Propositional Closure / 1308
Diedrich Wolter, Jae Hee Lee
PDF | Abstract

From One Point to a Manifold: Knowledge Graph Embedding for Precise Link Prediction / 1315
Han Xiao, Minlie Huang, Xiaoyan Zhu
PDF | Abstract

Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus / 1322
Liping Xiong, Yongmei Liu
PDF | Abstract

Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering / 1330
Heng Zhang, Yan Zhang, Jia-Huai You
PDF | Abstract

A Characterization of the Semantics of Logic Programs with Aggregates / 1338
Yuanlin Zhang, Maede Rayatidamavandi
PDF | Abstract

Forgetting Concept and Role Symbols in ALCOIHμ+(∇, ⊓)-Ontologies / 1345
Yizheng Zhao, Renate A. Schmidt
PDF | Abstract

Driver Frustration Detection from Audio and Video in the Wild / 1354
Irman Abdić, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer, Björn Schuller
PDF | Abstract

The Complexity of Learning Acyclic CP-Nets / 1361
Eisa Alanazi, Malek Mouhoub, Sandra Zilles
PDF | Abstract

Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss / 1368
Cesare Alippi, Giacomo Boracchi, Diego Carrera, Manuel Roveri
PDF | Abstract

Cold-Start Recommendations for Audio News Stories Using Matrix Factorization / 1375
Ehsan Mohammady Ardehaly, Aron Culotta, Vivek Sundararaman, Alwar Narayanan
PDF | Abstract

MPMA: Mixture Probabilistic Matrix Approximation for Collaborative Filtering / 1382
Chao Chen, Dongsheng Li, Qin Lv, Junchi Yan, Stephen M. Chu, Li Shang
PDF | Abstract

A Generalized Matching Pursuit Approach for Graph-Structured Sparsity / 1389
Feng Chen, Baojian Zhou
PDF | Abstract

Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical Events / 1396
Ting Chen, Lu-An Tang, Yizhou Sun, Zhengzhang Chen, Kai Zhang
PDF | Abstract

ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart Home / 1404
Yu Chen, Tom Diethe, Peter Flach
PDF | Abstract

Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep Learning / 1411
Yu-An Chung, Hsuan-Tien Lin, Shao-Wen Yang
PDF | Abstract

Learning Higher-Order Logic Programs through Abstraction and Invention / 1418
Andrew Cropper, Stephen H. Muggleton
PDF | Abstract

A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data / 1425
Gary Doran, Andrew Latham, Soumya Ray
PDF | Abstract

Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations / 1432
Finale Doshi-Velez, George Konidaris
PDF | Abstract

EBEK: Exemplar-Based Kernel Preserving Embedding / 1441
Ahmed Elbagoury, Rania Ibrahim, Mohamed S. Kamel, Fakhri Karray
PDF | Abstract

Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons / 1448
Karen Braga Enes, Saulo Moraes Villela, Raul Fonseca Neto
PDF | Abstract

Robust Domain Generalisation by Enforcing Distribution Invariance / 1455
Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey, Kotagiri Ramamohanarao
PDF | Abstract

Copula Mixed-Membership Stochastic Blockmodel / 1462
Xuhui Fan, Richard Yi Da Xu, Longbing Cao
PDF | Abstract

DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks / 1469
Jie Fu, Hongyin Luo, Jiashi Feng, Kian Hsiang Low, Tat-Seng Chua
PDF | Abstract

A Robust Convex Formulation for Ensemble Clustering / 1476
Junning Gao, Makoto Yamada, Samuel Kaski, Hiroshi Mamitsuka, Shanfeng Zhu
PDF | Abstract

Semi-Data-Driven Network Coarsening / 1483
Li Gao, Jia Wu, Hong Yang, Zhi Qiao, Chuan Zhou, Yue Hu
PDF | Abstract

Constrained Local Latent Variable Discovery / 1490
Tian Gao, Qiang Ji
PDF | Abstract

Knowledge-Based Sequence Mining with ASP / 1497
Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero, Torsten Schaub
PDF | Abstract

Incremental Truncated LSTD / 1505
Clement Gehring, Yangchen Pan, Martha White
PDF | Abstract

A Distributed and Scalable Machine Learning Approach for Big Data / 1512
Hongliang Guo, Jie Zhang
PDF | Abstract

Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games / 1519
Xiaoxiao Guo, Satinder Singh, Richard Lewis, Honglak Lee
PDF | Abstract

Semi-Supervised Active Learning with Cross-Class Sample Transfer / 1526
Yuchen Guo, Guiguang Ding, Yue Gao, Jianmin Wang
PDF | Abstract

Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using Wearables / 1533
Nils Y. Hammerla, Shane Halloran, Thomas Plötz
PDF | Abstract

Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition / 1541
Tao Han, Hailong Sun, Yangqiu Song, Yili Fang, Xudong Liu
PDF | Abstract

Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection / 1548
Yufei Han, Yun Shen
PDF | Abstract

Online Bayesian Max-Margin Subspace Multi-View Learning / 1555
Jia He, Changying Du, Fuzhen Zhuang, Xin Yin, Qing He, Guoping Long
PDF | Abstract

Tight Policy Regret Bounds for Improving and Decaying Bandits / 1562
Hoda Heidari, Michael Kearns, Aaron Roth
PDF | Abstract

Bayesian Reinforcement Learning with Behavioral Feedback / 1571
Teakgyu Hong, Jongmin Lee, Kee-Eung Kim, Pedro A. Ortega, Daniel Lee
PDF | Abstract

Grounding Topic Models with Knowledge Bases / 1578
Zhiting Hu, Gang Luo, Mrinmaya Sachan, Eric Xing, Zaiqing Nie
PDF | Abstract

Class-Wise Supervised Hashing with Label Embedding and Active Bits / 1585
Long-Kai Huang, Sinno Jialin Pan
PDF | Abstract

Transfer Learning with Active Queries from Source Domain / 1592
Sheng-Jun Huang, Songcan Chen
PDF | Abstract

Learning Stable Linear Dynamical Systems with the Weighted Least Square Method / 1599
Wenbing Huang, Lele Cao, Fuchun Sun, Deli Zhao, Huaping Liu, Shanshan Yu
PDF | Abstract

Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code / 1606
Xuan Huo, Ming Li, Zhi-Hua Zhou
PDF | Abstract

Change Detection Using Directional Statistics / 1613
Tsuyoshi Idé, Dzung T. Phan, Jayant Kalagnanam
PDF | Abstract

Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning / 1620
David Isele, Mohammad Rostami, Eric Eaton
PDF | Abstract

Multi-Label Informed Feature Selection / 1627
Ling Jian, Jundong Li, Kai Shu, Huan Liu
PDF | Abstract

Robust Out-of-Sample Data Recovery / 1634
Bo Jiang, Chris Ding, Bin Luo
PDF | Abstract

On Structural Properties of MDPs that Bound Loss Due to Shallow Planning / 1640
Nan Jiang, Satinder Singh, Ambuj Tewari
PDF | Abstract

Constructing Abstraction Hierarchies Using a Skill-Symbol Loop / 1648
George Konidaris
PDF | Abstract

Bounds for Learning from Evolutionary-Related Data in the Realizable Case / 1655
Ondřej Kuželka, Yuyi Wang, Jan Ramon
PDF | Abstract

Learning Multi-Step Predictive State Representations / 1662
Lucas Langer, Borja Balle, Doina Precup
PDF | Abstract

Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human Behaviors / 1669
Sang-Woo Lee, Chung-Yeon Lee, Dong Hyun Kwak, Jiwon Kim, Jeonghee Kim, Byoung-Tak Zhang
PDF | Abstract

Predicting Personal Traits from Facial Images Using Convolutional Neural Networks Augmented with Facial Landmark Information / 1676
Yoad Lewenberg, Yoram Bachrach, Sukrit Shankar, Antonio Criminisi
PDF | Abstract

A Relaxed Ranking-Based Factor Model for Recommender System from Implicit Feedback / 1683
Huayu Li, Richang Hong, Defu Lian, Zhiang Wu, Meng Wang, Yong Ge
PDF | Abstract

Adversarial Sequence Tagging / 1690
Jia Li, Kaiser Asif, Hong Wang, Brian D. Ziebart, Tanya Berger-Wolf
PDF | Abstract

Joint Feature Selection and Structure Preservation for Domain Adaptation / 1697
Jingjing Li, Jidong Zhao, Ke Lu
PDF | Abstract

Multiple Kernel Clustering with Local Kernel Alignment Maximization / 1704
Miaomiao Li, Xinwang Liu, Lei Wang, Yong Dou, Jianping Yin, En Zhu
PDF | Abstract

Feature Learning Based Deep Supervised Hashing with Pairwise Labels / 1711
Wu-Jun Li, Sheng Wang, Wang-Cheng Kang
PDF | Abstract

Multi-View Learning with Limited and Noisy Tagging / 1718
Yingming Li, Ming Yang, Zenglin Xu, Zhongfei (Mark) Zhang
PDF | Abstract

Graph Quality Judgement: A Large Margin Expedition / 1725
Yu-Feng Li, Shao-Bo Wang, Zhi-Hua Zhou
PDF | Abstract

Sparse Bayesian Content-Aware Collaborative Filtering for Implicit Feedback / 1732
Defu Lian, Yong Ge, Nicholas Jing Yuan, Xing Xie, Hui Xiong
PDF | Abstract

Group-Invariant Cross-Modal Subspace Learning / 1739
Jian Liang, Ran He, Zhenan Sun, Tieniu Tan
PDF | Abstract

Learning to Detect Concepts from Webly-Labeled Video Data / 1746
Junwei Liang, Lu Jiang, Deyu Meng, Alexander Hauptmann
PDF | Abstract

Towards Convolutional Neural Networks Compression via Global Error Reconstruction / 1753
Shaohui Lin, Rongrong Ji, Xiaowei Guo, Xuelong Li
PDF | Abstract

Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe Method / 1760
Bo Liu, Xiao-Tong Yuan, Shaoting Zhang, Qingshan Liu, Dimitris N. Metaxas
PDF | Abstract

Supervised Matrix Factorization for Cross-Modality Hashing / 1767
Hong Liu, Rongrong Ji, Yongjian Wu, Gang Hua
PDF | Abstract

Aligning Users across Social Networks Using Network Embedding / 1774
Li Liu, William K. Cheung, Xin Li, Lejian Liao
PDF | Abstract

Transductive Optimization of Top k Precision / 1781
Li-Ping Liu, Thomas G. Dietterich, Nan Li, Zhi-Hua Zhou
PDF | Abstract

Natural Supervised Hashing / 1788
Qi Liu, Hongtao Lu
PDF | Abstract

Linear-Time Outlier Detection via Sensitivity / 1795
Mario Lucic, Olivier Bachem, Andreas Krause
PDF | Abstract

Avoiding Optimal Mean Robust PCA/2DPCA with Non-greedy 1-Norm Maximization / 1802
Minnan Luo, Feiping Nie, Xiaojun Chang, Yi Yang, Alexander Hauptmann, Qinghua Zheng
PDF | Abstract

On Combining Side Information and Unlabeled Data for Heterogeneous Multi-Task Metric Learning / 1809
Yong Luo, Yonggang Wen, Dacheng Tao
PDF | Abstract

Multi-Grained Role Labeling Based on Multi-Modality Information for Real Customer Service Telephone Conversation / 1816
Weizhi Ma, Min Zhang, Yiqun Liu, Shaoping Ma
PDF | Abstract

Predict Anchor Links across Social Networks via an Embedding Approach / 1823
Tong Man, Huawei Shen, Shenghua Liu, Xiaolong Jin, Xueqi Cheng
PDF | Abstract

Efficient Bayesian Clustering for Reinforcement Learning / 1830
Travis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popovic
PDF | Abstract

Soft Margin Consistency Based Scalable Multi-View Maximum Entropy Discrimination / 1839
Liang Mao, Shiliang Sun
PDF | Abstract

Sum-Product-Max Networks for Tractable Decision Making / 1846
Mazen Melibari, Pascal Poupart, Prashant Doshi
PDF | Abstract

Asynchronous Accelerated Stochastic Gradient Descent / 1853
Qi Meng, Wei Chen, Jingcheng Yu, Taifeng Wang, Zhi-Ming Ma, Tie-Yan Liu
PDF | Abstract

Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval / 1860
Yadong Mu, Wei Liu, Cheng Deng, Zongting Lv, Xinbo Gao
PDF | Abstract

Fast Laplace Approximation for Sparse Bayesian Spike and Slab Models / 1867
Syed Abbas Z. Naqvi, Shandian Zhe, Yuan Qi, Yifan Yang, Jieping Ye
PDF | Abstract

Subspace Clustering via New Low-Rank Model with Discrete Group Structure Constraint / 1874
Feiping Nie, Heng Huang
PDF | Abstract

Parameter-Free Auto-Weighted Multiple Graph Learning: A Framework for Multiview Clustering and Semi-Supervised Classification / 1881
Feiping Nie, Jing Li, Xuelong Li
PDF | Abstract

Gated Probabilistic Matrix Factorization: Learning Users’ Attention from Missing Values / 1888
Shohei Ohsawa, Yachiko Obara, Takayuki Osogami
PDF | Abstract

Tri-Party Deep Network Representation / 1895
Shirui Pan, Jia Wu, Xingquan Zhu, Chengqi Zhang, Yang Wang
PDF | Abstract

Outlier Detection in Complex Categorical Data by Modeling the Feature Value Couplings / 1902
Guansong Pang, Longbing Cao, Ling Chen
PDF | Abstract

Fast Learning from Distributed Datasets without Entity Matching / 1909
Giorgio Patrini, Richard Nock, Stephen Hardy, Tiberio Caetano
PDF | Abstract

Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification / 1918
Hanyang Peng, Yong Fan
PDF | Abstract

Deep Subspace Clustering with Sparsity Prior / 1925
Xi Peng, Shijie Xiao, Jiashi Feng, Wei-Yun Yau, Zhang Yi
PDF | Abstract

Self-Paced Boost Learning for Classification / 1932
Te Pi, Xi Li, Zhongfei Zhang, Deyu Meng, Fei Wu, Jun Xiao, Yueting Zhuang
PDF | Abstract

Parallel Pareto Optimization for Subset Selection / 1939
Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang, Zhi-Hua Zhou
PDF | Abstract

Derivative-Free Optimization of High-Dimensional Non-Convex Functions by Sequential Random Embeddings / 1946
Hong Qian, Yi-Qi Hu, Yang Yu
PDF | Abstract

Bridging LSTM Architecture and the Neural Dynamics during Reading / 1953
Peng Qian, Xipeng Qiu, Xuanjing Huang
PDF | Abstract

Non-Negative Matrix Factorization with Sinkhorn Distance / 1960
Wei Qian, Bin Hong, Deng Cai, Xiaofei He, Xuelong Li
PDF | Abstract

Dependency Clustering of Mixed Data with Gaussian Mixture Copulas / 1967
Vaibhav Rajan, Sakyajit Bhattacharya
PDF | Abstract

Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive Models / 1974
Daniel P. Robinson, Suchi Saria
PDF | Abstract

Portfolio Blending via Thompson Sampling / 1983
Weiwei Shen, Jun Wang
PDF | Abstract

Adaptive Variance Reducing for Stochastic Gradient Descent / 1990
Zebang Shen, Hui Qian, Tengfei Zhou, Tongzhou Mu
PDF | Abstract

Diversifying Convex Transductive Experimental Design for Active Learning / 1997
Lei Shi, Yi-Dong Shen
PDF | Abstract

Improving CNN Performance with Min-Max Objective / 2004
Weiwei Shi, Yihong Gong, Jinjun Wang
PDF | Abstract

Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process / 2011
Harold Soh
PDF | Abstract

Fast Structural Binary Coding / 2018
Dongjin Song, Wei Liu, David A. Meyer
PDF | Abstract

Unsupervised Alignment of Actions in Video with Text Descriptions / 2025
Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea, Henry Kautz
PDF | Abstract

Distance Based Modeling of Interactions in Structured Regression / 2032
Ivan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic, Zoran Obradovic
PDF | Abstract

Supervised Heterogeneous Domain Adaptation via Random Forests / 2039
Sanatan Sukhija, Narayanan C Krishnan, Gurkanwal Singh
PDF | Abstract

Learning Compact Neural Word Embeddings by Parameter Space Sharing / 2046
Jun Suzuki, Masaaki Nagata
PDF | Abstract

A Novel Feature Matching Strategy for Large Scale Image Retrieval / 2053
Hao Tang, Hong Liu
PDF | Abstract

Learning Using Unselected Features (LUFe) / 2060
Joseph G. Taylor, Viktoriia Sharmanska, Kristian Kersting, David Weir, Novi Quadrianto
PDF | Abstract

Constructive Preference Elicitation by Setwise Max-Margin Learning / 2067
Stefano Teso, Andrea Passerini, Paolo Viappiani
PDF | Abstract

Inference Machines for Nonparametric Filter Learning / 2074
Arun Venkatraman, Wen Sun, Martial Hebert, Byron Boots, J. Andrew Bagnell
PDF | Abstract

Dynamic Early Stopping for Naive Bayes / 2082
Aäron Verachtert, Hendrik Blockeel, Jesse Davis
PDF | Abstract

Policy Search in Reproducing Kernel Hilbert Space / 2089
Ngo Anh Vien, Peter Englert, Marc Toussaint
PDF | Abstract

Generalized Dictionary for Multitask Learning with Boosting / 2097
Boyu Wang, Joelle Pineau
PDF | Abstract

Fast Robust Non-Negative Matrix Factorization for Large-Scale Human Action Data Clustering / 2104
De Wang, Feiping Nie, Heng Huang
PDF | Abstract

Cost-Saving Effect of Crowdsourcing Learning / 2111
Lu Wang, Zhi-Hua Zhou
PDF | Abstract

Dealing with Multiple Classes in Online Class Imbalance Learning / 2118
Shuo Wang, Leandro L. Minku, Xin Yao
PDF | Abstract

Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View Learning / 2125
Shuyang Wang, Zhengming Ding, Yun Fu
PDF | Abstract

Learning First-Order Logic Embeddings via Matrix Factorization / 2132
William Yang Wang, William W. Cohen
PDF | Abstract

Constrained Preference Embedding for Item Recommendation / 2139
Xin Wang, Congfu Xu, Yunhui Guo, Hui Qian
PDF | Abstract

Nonparametric Risk and Stability Analysis for Multi-Task Learning Problems / 2146
Xuezhi Wang, Junier B. Oliva, Jeff Schneider, Barnabás Póczos
PDF | Abstract

Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering / 2153
Yang Wang, Wenjie Zhang, Lin Wu, Xuemin Lin, Meng Fang, Shirui Pan
PDF | Abstract

Bayesian Optimization of Partition Layouts for Mondrian Processes / 2160
Yi Wang, Bin Li, Xuhui Fan, Yang Wang, Fang Chen
PDF | Abstract

Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness / 2167
Yisen Wang, Qingtao Tang, Shu-Tao Xia, Jia Wu, Xingquan Zhu
PDF | Abstract

Learning A Deep Encoder for Hashing / 2174
Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Qing Ling, Thomas S. Huang
PDF | Abstract

To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary Codes / 2181
Zhe Wang, Ling-Yu Duan, Junsong Yuan, Tiejun Huang, Wen Gao
PDF | Abstract

Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation / 2189
Pengfei Wei, Yiping Ke, Chi Keong Goh
PDF | Abstract

Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio / 2196
Felix Weninger, Fabien Ringeval, Erik Marchi, Björn Schuller
PDF | Abstract

Preference Inference through Rescaling Preference Learning / 2203
Nic Wilson, Mojtaba Montazery
PDF | Abstract

Budgeted Multi-Armed Bandits with Multiple Plays / 2210
Yingce Xia, Tao Qin, Weidong Ma, Nenghai Yu, Tie-Yan Liu
PDF | Abstract

Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression Recognition / 2217
Liping Xie, Dacheng Tao, Haikun Wei
PDF | Abstract

Robust and Sparse Fuzzy K-Means Clustering / 2224
Jinglin Xu, Junwei Han, Kai Xiong, Feiping Nie
PDF | Abstract

Weight Features for Predicting Future Model Performance of Deep Neural Networks / 2231
Yasunori Yamada, Tetsuro Morimura
PDF | Abstract

i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing Schema / 2238
Rui Yan
PDF | Abstract

Unsupervised Human Action Categorization with Consensus Information Bottleneck Method / 2245
Xiaoqiang Yan, Yangdong Ye, Xueying Qiu
PDF | Abstract

Modularity Based Community Detection with Deep Learning / 2252
Liang Yang, Xiaochun Cao, Dongxiao He, Chuan Wang, Xiao Wang, Weixiong Zhang
PDF | Abstract

Sparsity Conditional Energy Label Distribution Learning for Age Estimation / 2259
Xu Yang, Xin Geng, Deyu Zhou
PDF | Abstract

Empirical Risk Minimization for Metric Learning Using Privileged Information / 2266
Xun Yang, Meng Wang, Luming Zhang, Dacheng Tao
PDF | Abstract

A Unified Framework for Discrete Spectral Clustering / 2273
Yang Yang, Fumin Shen, Zi Huang, Heng Tao Shen
PDF | Abstract

Learning by Actively Querying Strong Modal Features / 2280
Yang Yang, De-Chuan Zhan, Yuan Jiang
PDF | Abstract

Multi-Modal Bayesian Embeddings for Learning Social Knowledge Graphs / 2287
Zhilin Yang, Jie Tang, William Cohen
PDF | Abstract

Greedy Learning of Generalized Low-Rank Models / 2294
Quanming Yao, James T. Kwok
PDF | Abstract

Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA / 2301
Qiaomin Ye, Luo Luo, Zhihua Zhang
PDF | Abstract

Neural Enquirer: Learning to Query Tables in Natural Language / 2308
Pengcheng Yin, Zhengdong Lu, Hang Li, Ben Kao
PDF | Abstract

Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative Transfer / 2315
Yusen Zhan, Haitham Bou Ammar, Matthew E. Taylor
PDF | Abstract

Unsupervised Feature Learning from Time Series / 2322
Qin Zhang, Jia Wu, Hong Yang, Yingjie Tian, Chengqi Zhang
PDF | Abstract

Collaborative Filtering with Generalized Laplacian Constraint via Overlapping Decomposition / 2329
Qing Zhang, Houfeng Wang
PDF | Abstract

Large Scale Sparse Clustering / 2336
Ruqi Zhang, Zhiwu Lu
PDF | Abstract

Improving DCNN Performance with Sparse Category-Selective Objective Function / 2343
Shizhou Zhang, Yihong Gong, Jinjun Wang
PDF | Abstract

Staleness-Aware Async-SGD for Distributed Deep Learning / 2350
Wei Zhang, Suyog Gupta, Xiangru Lian, Ji Liu
PDF | Abstract

Self-Adapted Multi-Task Clustering / 2357
Xianchao Zhang, Xiaotong Zhang, Han Liu
PDF | Abstract

Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks / 2364
Yizhe Zhang, Ricardo Henao, Chunyuan Li, Lawrence Carin
PDF | Abstract

Denoising and Completion of 3D Data via Multidimensional Dictionary Learning / 2371
Zemin Zhang, Shuchin Aeron
PDF | Abstract

Improving Top-N Recommendation with Heterogeneous Loss / 2378
Feipeng Zhao, Yuhong Guo
PDF | Abstract

Predictive Collaborative Filtering with Side Information / 2385
Feipeng Zhao, Min Xiao, Yuhong Guo
PDF | Abstract

Incomplete Multi-Modal Visual Data Grouping / 2392
Handong Zhao, Hongfu Liu, Yun Fu
PDF | Abstract

Learning Cross-View Binary Identities for Fast Person Re-Identification / 2399
Feng Zheng, Ling Shao
PDF | Abstract

Fast-and-Light Stochastic ADMM / 2407
Shuai Zheng, James T. Kwok
PDF | Abstract

Transfer Hashing with Privileged Information / 2414
Joey Tianyi Zhou, Xinxing Xu, Sinno Jialin Pan, Ivor W. Tsang, Zheng Qin, Rick Siow Mong Goh
PDF | Abstract

Model-Based Deep Hand Pose Estimation / 2421
Xingyi Zhou, Qingfu Wan, Wei Zhang, Xiangyang Xue, Yichen Wei
PDF | Abstract

Probabilistic Rank-One Matrix Analysis with Concurrent Regularization / 2428
Yang Zhou, Haiping Lu
PDF | Abstract

Crowdsourcing via Tensor Augmentation and Completion / 2435
Yao Zhou, Jingrui He
PDF | Abstract

A Self-Representation Induced Classifier / 2442
Pengfei Zhu, Lei Zhang, Wangmeng Zuo, Xiangchu Feng, Qinghua Hu
PDF | Abstract

Stochastic Multiresolution Persistent Homology Kernel / 2449
Xiaojin Zhu, Ara Vartanian, Manish Bansal, Duy Nguyen, Luke Brandl
PDF | Abstract

Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence / 2458
Andrés Abeliuk, Gerardo Berbeglia, Felipe Maldonado, Pascal Van Hentenryck
PDF | Abstract

Managing Overstaying Electric Vehicles in Park-and-Charge Facilities / 2465
Arpita Biswas, Ragavendran Gopalakrishnan, Partha Dutta
PDF | Abstract

A SAT-Based Approach for Mining Association Rules / 2472
Abdelhamid Boudane, Said Jabbour, Lakhdar Sais, Yakoub Salhi
PDF | Abstract

Taking Up the Gaokao Challenge: An Information Retrieval Approach / 2479
Gong Cheng, Weixi Zhu, Ziwei Wang, Jianghui Chen, Yuzhong Qu
PDF | Abstract

A Framework for Integrating Symbolic and Sub-Symbolic Representations / 2486
Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher
PDF | Abstract

Informed Expectations to Guide GDA Agents in Partially Observable Environments / 2493
Dustin Dannenhauer, Hector Munoz-Avila, Michael T. Cox
PDF | Abstract

A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call Records / 2500
Zipei Fan, Ayumi Arai, Xuan Song, Apichon Witayangkurn, Hiroshi Kanasugi, Ryosuke Shibasaki
PDF | Abstract

Optimal Interdiction of Illegal Network Flow / 2507
Qingyu Guo, Bo An, Yair Zick, Chunyan Miao
PDF | Abstract

Modifying MCTS for Human-Like General Video Game Playing / 2514
Ahmed Khalifa, Aaron Isaksen, Julian Togelius, Andy Nealen
PDF | Abstract

Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data / 2521
Zhaobin Kuang, James Thomson, Michael Caldwell, Peggy Peissig, Ron Stewart, David Page
PDF | Abstract

Predicting Confusion in Information Visualization from Eye Tracking and Interaction Data / 2529
Sébastien Lallé, Cristina Conati, Giuseppe Carenini
PDF | Abstract

Word Clouds with Latent Variable Analysis for Visual Comparison of Documents / 2536
Tuan M. V. Le, Hady W. Lauw
PDF | Abstract

Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping / 2544
Wonsung Lee, Youngmin Lee, Heeyoung Kim, Il-Chul Moon
PDF | Abstract

Household Structure Analysis via Hawkes Processes for Enhancing Energy Disaggregation / 2553
Liangda Li, Hongyuan Zha
PDF | Abstract

Protein Secondary Structure Prediction Using Cascaded Convolutional and Recurrent Neural Networks / 2560
Zhen Li, Yizhou Yu
PDF | Abstract

Makeup Like a Superstar: Deep Localized Makeup Transfer Network / 2568
Si Liu, Xinyu Ou, Ruihe Qian, Wei Wang, Xiaochun Cao
PDF | Abstract

Urban Water Quality Prediction Based on Multi-Task Multi-View Learning / 2576
Ye Liu, Yu Zheng, Yuxuan Liang, Shuming Liu, David S. Rosenblum
PDF | Abstract

Clustering Financial Time Series: How Long Is Enough? / 2583
Gautier Marti, Sébastien Andler, Frank Nielsen, Philippe Donnat
PDF | Abstract

Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory Networks / 2590
Wookhee Min, Bradford Mott, Jonathan Rowe, Barry Liu, James Lester
PDF | Abstract

How to Build Your Network? A Structural Analysis / 2597
Anastasia Moskvina, Jiamou Liu
PDF | Abstract

Simulating Human Inferences in the Light of New Information: A Formal Analysis / 2604
Marco Ragni, Christian Eichhorn, Gabriele Kern-Isberner
PDF | Abstract

Measuring Performance of Peer Prediction Mechanisms Using Replicator Dynamics / 2611
Victor Shnayder, Rafael M. Frongillo, David C. Parkes
PDF | Abstract

DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide Level / 2618
Xuan Song, Hiroshi Kanasugi, Ryosuke Shibasaki
PDF | Abstract

Balancing Appearance and Context in Sketch Interpretation / 2625
Yale Song, Randall Davis, Kaichen Ma, Dana L. Penney
PDF | Abstract

Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies / 2633
Jakob Suchan, Mehul Bhatt
PDF | Abstract

Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews / 2640
Yunzhi Tan, Min Zhang, Yiqun Liu, Shaoping Ma
PDF | Abstract

Scene Text Detection in Video by Learning Locally and Globally / 2647
Shu Tian, Wei-Yi Pei, Ze-Yu Zuo, Xu-Cheng Yin
PDF | Abstract

Stochastic and-or Grammars: A Unified Framework and Logic Perspective / 2654
Kewei Tu
PDF | Abstract

Dimensionally Guided Synthesis of Mathematical Word Problems / 2661
Ke Wang, Zhendong Su
PDF | Abstract

Scale-Adaptive Low-Resolution Person Re-Identification via Learning a Discriminating Surface / 2669
Zheng Wang, Ruimin Hu, Yi Yu, Junjun Jiang, Chao Liang, Jinqiao Wang
PDF | Abstract

On Modeling and Predicting Individual Paper Citation Count over Time / 2676
Shuai Xiao, Junchi Yan, Changsheng Li, Bo Jin, Xiangfeng Wang, Xiaokang Yang, Stephen M. Chu, Hongyuan Zha
PDF | Abstract

Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application / 2683
Xiao-Feng Xie, Zun-Jing Wang
PDF | Abstract

Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression Prior / 2690
Junchi Yan, Shuai Xiao, Changsheng Li, Bo Jin, Xiangfeng Wang, Bin Ke, Xiaokang Yang, Hongyuan Zha
PDF | Abstract

POISketch: Semantic Place Labeling over User Activity Streams / 2697
Dingqi Yang, Bin Li, Philippe Cudré-Mauroux
PDF | Abstract

ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data / 2704
Xiuwen Yi, Yu Zheng, Junbo Zhang, Tianrui Li
PDF | Abstract

Nonlinear Hierarchical Part-Based Regression for Unconstrained Face Alignment / 2711
Xiang Yu, Zhe Lin, Shaoting Zhang, Dimitris N. Metaxas
PDF | Abstract

Situation Testing-Based Discrimination Discovery: A Causal Inference Approach / 2718
Lu Zhang, Yongkai Wu, Xintao Wu
PDF | Abstract

Maximum Sustainable Yield Problem for Robot Foraging and Construction System / 2725
Ruohan Zhang, Zhao Song
PDF | Abstract

Personalizing EEG-Based Affective Models with Transfer Learning / 2732
Wei-Long Zheng, Bao-Liang Lu
PDF | Abstract

WikiWrite: Generating Wikipedia Articles Automatically / 2740
Siddhartha Banerjee, Prasenjit Mitra
PDF | Abstract

A Discriminative Approach to Grounded Spoken Language Understanding in Interactive Robotics / 2747
Emanuele Bastianelli, Danilo Croce, Andrea Vanzo, Roberto Basili, Daniele Nardi
PDF | Abstract

Distraction-Based Neural Networks for Modeling Document / 2754
Qian Chen, Xiaodan Zhu, Zhenhua Ling, Si Wei, Hui Jiang
PDF | Abstract

Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine Translation / 2761
Yong Cheng, Shiqi Shen, Zhongjun He, Wei He, Hua Wu, Maosong Sun, Yang Liu
PDF | Abstract

Neural Network Translation Models for Grammatical Error Correction / 2768
Shamil Chollampatt, Kaveh Taghipour, Hwee Tou Ng
PDF | Abstract

Recognizing Opinion Sources Based on a New Categorization of Opinion Types / 2775
Lingjia Deng, Janyce Wiebe
PDF | Abstract

Hashtag Recommendation Using Attention-Based Convolutional Neural Network / 2782
Yuyun Gong, Qi Zhang
PDF | Abstract

Intersubjectivity and Sentiment: From Language to Knowledge / 2789
Lin Gui, Ruifeng Xu, Yulan He, Qin Lu, Zhongyu Wei
PDF | Abstract

Parse Tree Fragmentation of Ungrammatical Sentences / 2796
Homa B. Hashemi, Rebecca Hwa
PDF | Abstract

Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction / 2803
Duc Tam Hoang, Shamil Chollampatt, Hwee Tou Ng
PDF | Abstract

Generating Recommendation Evidence Using Translation Model / 2810
Jizhou Huang, Shiqi Zhao, Shiqiang Ding, Haiyang Wu, Mingming Sun, Haifeng Wang
PDF | Abstract

Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation / 2817
Shujian Huang, Huifeng Sun, Chengqi Zhao, Jinsong Su, Xin-Yu Dai, Jiajun Chen
PDF | Abstract

Bag-of-Embeddings for Text Classification / 2824
Peng Jin, Yue Zhang, Xingyuan Chen, Yunqing Xia
PDF | Abstract

Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue Systems / 2831
Hatim Khouzaimi, Romain Laroche, Fabrice Lefèvre
PDF | Abstract

Joint Models for Extracting Adverse Drug Events from Biomedical Text / 2838
Fei Li, Yue Zhang, Meishan Zhang, Donghong Ji
PDF | Abstract

StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer Conversation / 2845
Xiang Li, Lili Mou, Rui Yan, Ming Zhang
PDF | Abstract

Towards Zero Unknown Word in Neural Machine Translation / 2852
Xiaoqing Li, Jiajun Zhang, Chengqing Zong
PDF | Abstract

Learning Paraphrase Identification with Structural Alignment / 2859
Chen Liang, Praveen Paritosh, Vinodh Rajendran, Kenneth D. Forbus
PDF | Abstract

Knowledge Representation Learning with Entities, Attributes and Relations / 2866
Yankai Lin, Zhiyuan Liu, Maosong Sun
PDF | Abstract

Recurrent Neural Network for Text Classification with Multi-Task Learning / 2873
Pengfei Liu, Xipeng Qiu, Xuanjing Huang
PDF | Abstract

Exploring Segment Representations for Neural Segmentation Models / 2880
Yijia Liu, Wanxiang Che, Jiang Guo, Bing Qin, Ting Liu
PDF | Abstract

HC-Search for Incremental Parsing / 2887
Yijia Liu, Wanxiang Che, Bing Qin, Ting Liu
PDF | Abstract

Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia / 2894
Alessandro Raganato, Claudio Delli Bovi, Roberto Navigli
PDF | Abstract

Cross-Lingual Dataless Classification for Many Languages / 2901
Yangqiu Song, Shyam Upadhyay, Haoruo Peng, Dan Roth
PDF | Abstract

Robust Natural Language Processing — Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial Language / 2908
Michael Spranger, Jakob Suchan, Mehul Bhatt
PDF | Abstract

Sparse Word Embeddings Using 1 Regularized Online Learning / 2915
Fei Sun, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng
PDF | Abstract

Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN / 2922
Shengxian Wan, Yanyan Lan, Jun Xu, Jiafeng Guo, Liang Pang, Xueqi Cheng
PDF | Abstract

Employing External Rich Knowledge for Machine Comprehension / 2929
Bingning Wang, Shangmin Guo, Kang Liu, Shizhu He, Jun Zhao
PDF | Abstract

Building Joint Spaces for Relation Extraction / 2936
Chang Wang, Liangliang Cao, James Fan
PDF | Abstract

Chinese Song Iambics Generation with Neural Attention-Based Model / 2943
Qixin Wang, Tianyi Luo, Dong Wang, Chao Xing
PDF | Abstract

A Bilingual Graph-Based Semantic Model for Statistical Machine Translation / 2950
Rui Wang, Hai Zhao, Sabine Ploux, Bao-Liang Lu, Masao Utiyama
PDF | Abstract

Diverse Image Captioning via GroupTalk / 2957
Zhuhao Wang, Fei Wu, Weiming Lu, Jun Xiao, Xi Li, Zitong Zhang, Yueting Zhuang
PDF | Abstract

Representation Learning of Knowledge Graphs with Hierarchical Types / 2965
Ruobing Xie, Zhiyuan Liu, Maosong Sun
PDF | Abstract

Neural Generative Question Answering / 2972
Jun Yin, Xin Jiang, Zhengdong Lu, Lifeng Shang, Hang Li, Xiaoming Li
PDF | Abstract

Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction / 2979
Yichun Yin, Furu Wei, Li Dong, Kaimeng Xu, Ming Zhang, Ming Zhou
PDF | Abstract

Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction / 2986
Wei Zhang, Quan Yuan, Jiawei Han, Jianyong Wang
PDF | Abstract

A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding / 2993
Xiaodong Zhang, Houfeng Wang
PDF | Abstract

Expert Finding for Community-Based Question Answering via Ranking Metric Network Learning / 3000
Zhou Zhao, Qifan Yang, Deng Cai, Xiaofei He, Yueting Zhuang
PDF | Abstract

Context-Specific and Multi-Prototype Character Representations / 3007
Xiaoqing Zheng, Jiangtao Feng, Mengxiao Lin, Wenqiang Zhang
PDF | Abstract

Unsupervised Storyline Extraction from News Articles / 3014
Deyu Zhou, Haiyang Xu, Xin-Yu Dai, Yulan He
PDF | Abstract

Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing / 3022
Ron Alford, Vikas Shivashankar, Mark Roberts, Jeremy Frank, David W. Aha
PDF | Abstract

Markovian State and Action Abstractions for MDPs via Hierarchical MCTS / 3029
Aijun Bai, Siddharth Srivastava, Stuart Russell
PDF | Abstract

Which Contingent Events to Observe for the Dynamic Controllability of a Plan / 3038
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand
PDF | Abstract

Factored Probabilistic Belief Tracking / 3045
Blai Bonet, Hector Geffner
PDF | Abstract

Maintaining Evolving Domain Models / 3053
Dan Bryce, J. Benton, Michael W. Boldt
PDF | Abstract

A Branch-and-Price Algorithm for Scheduling Observations on a Telescope / 3060
Nicolas Catusse, Hadrien Cambazard, Nadia Brauner, Pierre Lemaire, Bernard Penz, Anne-Marie Lagrange, Pascal Rubini
PDF | Abstract

Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding / 3067
Liron Cohen, Tansel Uras, T. K. Satish Kumar, Hong Xu, Nora Ayanian, Sven Koenig
PDF | Abstract

Online Symbolic Gradient-Based Optimization for Factored Action MDPs / 3075
Hao Cui, Roni Khardon
PDF | Abstract

∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction / 3082
Guillem Francès, Hector Geffner
PDF | Abstract

Learning to Rank for Synthesizing Planning Heuristics / 3089
Caelan Reed Garrett, Leslie Pack Kaelbling, Tomás Lozano-Pérez
PDF | Abstract

Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems / 3096
Supriyo Ghosh, Michael Trick, Pradeep Varakantham
PDF | Abstract

Generalizing the Edge-Finder Rule for the Cumulative Constraint / 3103
Vincent Gingras, Claude-Guy Quimper
PDF | Abstract

Decoupled Strong Stubborn Sets / 3110
Daniel Gnad, Martin Wehrle, Jörg Hoffmann
PDF | Abstract

Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations / 3117
Ragavendran Gopalakrishnan, Arpita Biswas, Alefiya Lightwala, Skanda Vasudevan, Partha Dutta, Abhishek Tripathi
PDF | Abstract

A POMDP Approach to Influence Diagram Evaluation / 3124
Eric A. Hansen, Jinchuan Shi, Arindam Khaled
PDF | Abstract

Anticipatory Troubleshooting / 3133
Netantel Hasidi, Roni Stern, Meir Kalech, Shulamit Reches
PDF | Abstract

Hierarchical Model Predictive Control for Multi-Robot Navigation / 3140
Chao Huang, Xin Chen, Yifan Zhang, Shengchao Qin, Yifeng Zeng, Xuandong Li
PDF | Abstract

Batch-Switching Policy Iteration / 3147
Shivaram Kalyanakrishnan, Utkarsh Mall, Ritish Goyal
PDF | Abstract

In Search of Tractability for Partial Satisfaction Planning / 3154
Michael Katz, Vitaly Mirkis
PDF | Abstract

State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning / 3161
Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer, Robert Mattmüller
PDF | Abstract

Privacy Preserving Plans in Partially Observable Environments / 3170
Sarah Keren, Avigdor Gal, Erez Karpas
PDF | Abstract

Sequential Planning for Steering Immune System Adaptation / 3177
Christian Kroer, Tuomas Sandholm
PDF | Abstract

Heuristic Subset Selection in Classical Planning / 3185
Levi H. S. Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles, Robert C. Holte
PDF | Abstract

Learning Predictive State Representations via Monte-Carlo Tree Search / 3192
Yunlong Liu, Hexing Zhu, Yifeng Zeng, Zongxiong Dai
PDF | Abstract

Automatic Generation of High-Level State Features for Generalized Planning / 3199
Damir Lotinac, Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
PDF | Abstract

Planning for a Single Agent in a Multi-Agent Environment Using FOND / 3206
Christian Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg
PDF | Abstract

Heuristic Planning for PDDL+ Domains / 3213
Wiktor Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio
PDF | Abstract

PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor Selection / 3220
Yash Satsangi, Shimon Whiteson, Frans A. Oliehoek
PDF | Abstract

Heuristics for Numeric Planning via Subgoaling / 3228
Enrico Scala, Patrik Haslum, Sylvie Thiébaux
PDF | Abstract

Hierarchical Finite State Controllers for Generalized Planning / 3235
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
PDF | Abstract

Correlation Complexity of Classical Planning Domains / 3242
Jendrik Seipp, Florian Pommerening, Gabriele Röger, Malte Helmert
PDF | Abstract

Blind Search for Atari-Like Online Planning Revisited / 3251
Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak
PDF | Abstract

Plan Recognition as Planning Revisited / 3258
Shirin Sohrabi, Anton V. Riabov, Octavian Udrea
PDF | Abstract

On State-Dominance Criteria in Fork-Decoupled Search / 3265
álvaro Torralba, Daniel Gnad, Patrick Dubbert, Jörg Hoffmann
PDF | Abstract

Abstraction Heuristics for Symbolic Bidirectional Search / 3272
álvaro Torralba, Carlos Linares López, Daniel Borrajo
PDF | Abstract

Goal Recognition Design with Stochastic Agent Action Outcomes / 3279
Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son
PDF | Abstract

Graph-Based Factorization of Classical Planning Problems / 3286
Martin Wehrle, Silvan Sievers, Malte Helmert
PDF | Abstract

Structural Symmetries for Fully Observable Nondeterministic Planning / 3293
Dominik Winterer, Martin Wehrle, Michael Katz
PDF | Abstract

Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives / 3300
Peng Yu, Jiaying Shen, Peter Z. Yeh, Brian Williams
PDF | Abstract

Co-Optimizating Multi-Agent Placement with Task Assignment and Scheduling / 3308
Chongjie Zhang, Julie A. Shah
PDF | Abstract

Commitment Semantics for Sequential Decision Making under Reward Uncertainty / 3315
Qi Zhang, Edmund Durfee, Satinder Singh, Anna Chen, Stefan Witwicki
PDF | Abstract

Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors / 3324
Congqi Cao, Yifan Zhang, Chunjie Zhang, Hanqing Lu
PDF | Abstract

3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher Vector / 3331
Chen Chen, Mengyuan Liu, Baochang Zhang, Jungong Han, Junjun Jiang, Hong Liu
PDF | Abstract

Clustering-Based Joint Feature Selection for Semantic Attribute Prediction / 3338
Lin Chen, Baoxin Li
PDF | Abstract

Semi-Supervised Multimodal Deep Learning for RGB-D Object Recognition / 3345
Yanhua Cheng, Xin Zhao, Rui Cai, Zhiwei Li, Kaiqi Huang, Yong Rui
PDF | Abstract

Precision Instrument Targeting via Image Registration for the Mars 2020 Rover / 3352
Gary Doran, David R. Thompson, Tara Estlin
PDF | Abstract

Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from Videos / 3359
Mohammed E. Fathy, Azadeh Alavi, Rama Chellappa
PDF | Abstract

Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor / 3368
Reza Shoja Ghiass, Ognjen Arandjelovic
PDF | Abstract

Making Robots Proactive through Equilibrium Maintenance / 3375
Jasmin Grosinger, Federico Pecora, Alessandro Saffiotti
PDF | Abstract

Robust Iterative Quantization for Efficient p-norm Similarity Search / 3382
Yuchen Guo, Guiguang Ding, Jungong Han, Xiaoming Jin
PDF | Abstract

Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet Clustering / 3389
Allam S. Hassanein, Mohamed E. Hussein, Walid Gomaa
PDF | Abstract

Online Multi-Object Tracking by Quadratic Pseudo-Boolean Optimization / 3396
Long Lan, Dacheng Tao, Chen Gong, Naiyang Guan, Zhigang Luo
PDF | Abstract

Robust Joint Discriminative Feature Learning for Visual Tracking / 3403
Xiangyuan Lan, Shengping Zhang, Pong C. Yuen
PDF | Abstract

Saliency Transfer: An Example-Based Method for Salient Object Detection / 3411
Xin Li, Fan Yang, Leiting Chen, Hongbin Cai
PDF | Abstract

What Is Where: Inferring Containment Relations from Videos / 3418
Wei Liang, Yibiao Zhao, Yixin Zhu, Song-Chun Zhu
PDF | Abstract

A Stochastic Image Grammar for Fine-Grained 3D Scene Reconstruction / 3425
Xiaobai Liu, Yadong Mu, Liang Lin
PDF | Abstract

Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning / 3432
Yao Lu
PDF | Abstract

Geometric Scene Parsing with Hierarchical LSTM / 3439
Zhanglin Peng, Ruimao Zhang, Xiaodan Liang, Xiaobai Liu, Liang Lin
PDF | Abstract

Incorporating Prototype Theory in Convolutional Neural Networks / 3446
Babak Saleh, Ahmed Elgammal, Jacob Feldman
PDF | Abstract

Learning Social Affordance for Human-Robot Interaction / 3454
Tianmin Shu, M. S. Ryoo, Song-Chun Zhu
PDF | Abstract

Learning to Order Objects Using Haptic and Proprioceptive Exploratory Behaviors / 3462
Jivko Sinapov, Priyanka Khante, Maxwell Svetlik, Peter Stone
PDF | Abstract

Crowd Scene Understanding with Coherent Recurrent Neural Networks / 3469
Hang Su, Yinpeng Dong, Jun Zhu, Haibin Ling, Bo Zhang
PDF | Abstract

Learning Multi-Modal Grounded Linguistic Semantics by Playing “I Spy” / 3477
Jesse Thomason, Jivko Sinapov, Maxwell Svetlik, Peter Stone, Raymond J. Mooney
PDF | Abstract

Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural Networks / 3484
Jingwen Wang, Jianlong Fu, Yong Xu, Tao Mei
PDF | Abstract

Visual Tracking with Reliable Memories / 3491
Shu Wang, Shaoting Zhang, Wei Liu, Dimitris N. Metaxas
PDF | Abstract

Object Recognition with Hidden Attributes / 3498
Xiaoyang Wang, Qiang Ji
PDF | Abstract

Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications / 3505
Inbal Wiesel-Kapah, Gal A. Kaminka, Guy Hachmon, Noa Agmon, Ido Bachelet
PDF | Abstract

Object-Based World Modeling in Semi-Static Environments with Dependent Dirichlet Process Mixtures / 3513
Lawson L. S. Wong, Thanard Kurutach, Tomás Lozano-Pérez, Leslie Pack Kaelbling
PDF | Abstract

Enforcing Template Representability and Temporal Consistency for Adaptive Sparse Tracking / 3522
Xue Yang, Fei Han, Hua Wang, Hao Zhang
PDF | Abstract

Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations / 3530
Hang Yin, Patrícia Alves-Oliveira, Francisco S. Melo, Aude Billard, Ana Paiva
PDF | Abstract

Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum Learning / 3538
Dingwen Zhang, Deyu Meng, Long Zhao, Junwei Han
PDF | Abstract

Semantics-Aware Deep Correspondence Structure Learning for Robust Person Re-Identification / 3545
Yaqing Zhang, Xi Li, Liming Zhao, Zhongfei Zhang
PDF | Abstract

Video-Based Person Re-Identification by Simultaneously Learning Intra-Video and Inter-Video Distance Metrics / 3552
Xiaoke Zhu, Xiao-Yuan Jing, Fei Wu, Hui Feng
PDF | Abstract

Contextual Symmetries in Probabilistic Graphical Models / 3560
Ankit Anand, Aditya Grover, Mausam, Parag Singla
PDF | Abstract

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls / 3569
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
PDF | Abstract

Incorporating Knowledge into Structural Equation Models Using Auxiliary Variables / 3577
Bryant Chen, Judea Pearl, Elias Bareinboim
PDF | Abstract

Solving M-Modes Using Heuristic Search / 3584
Cong Chen, Changhe Yuan, Chao Chen
PDF | Abstract

Probabilistic Inference Modulo Theories / 3591
Rodrigo de Salvo Braz, Ciaran O’Reilly, Vibhav Gogate, Rina Dechter
PDF | Abstract

Adaptive Budget Allocation for Maximizing Influence of Advertisements / 3600
Daisuke Hatano, Takuro Fukunaga, Ken-ichi Kawarabayashi
PDF | Abstract

A Symbolic Closed-Form Solution to Sequential Market Making with Inventory / 3609
Shamin Kinathil, Scott Sanner, Sanmay Das, Nicolás Della Penna
PDF | Abstract

Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming / 3616
Steffen Michels, Arjen Hommersom, Peter J.F. Lucas
PDF | Abstract

Group Decision Making via Probabilistic Belief Merging / 3623
Nico Potyka, Erman Acar, Matthias Thimm, Heiner Stuckenschmidt
PDF | Abstract

Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications / 3630
Min Wen, Ufuk Topcu
PDF | Abstract

Swift: Compiled Inference for Probabilistic Programming Languages / 3637
Yi Wu, Lei Li, Stuart Russell, Rastislav Bodik
PDF | Abstract

Latent Contextual Bandits and their Application to Personalized Recommendations for New Users / 3646
Li Zhou, Emma Brunskill
PDF | Abstract

A Generative Model for Recognizing Mixed Group Activities in Still Images / 3654
Zheng Zhou, Kan Li, Xiangjian He, Mengmeng Li
PDF | Abstract

ATUCAPTS: Automated Tests that a User Cannot Pass Twice Simultaneously / 3662
Garrett Andersen, Vincent Conitzer
PDF | Abstract

Domain Adaptation for Learning from Label Proportions Using Self-Training / 3670
Ehsan Mohammady Ardehaly, Aron Culotta
PDF | Abstract

Inferring Motif-Based Diffusion Models for Social Networks / 3677
Qing Bao, William K. Cheung, Jiming Liu
PDF | Abstract

Non-Objection Inference for Inconsistency-Tolerant Query Answering / 3684
Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Odile Papini, Karim Tabia
PDF | Abstract

Multi-Source Iterative Adaptation for Cross-Domain Classification / 3691
Himanshu S. Bhatt, Arun Rajkumar, Shourya Roy
PDF | Abstract

Timeline Summarization from Social Media with Life Cycle Models / 3698
Yi Chang, Jiliang Tang, Dawei Yin, Makoto Yamada, Yan Liu
PDF | Abstract

HIEDS: A Generic and Efficient Approach to Hierarchical Dataset Summarization / 3705
Gong Cheng, Cheng Jin, Yuzhong Qu
PDF | Abstract

Assessing Translation Ability through Vocabulary Ability Assessment / 3712
Yo Ehara, Yukino Baba, Masao Utiyama, Eiichiro Sumita
PDF | Abstract

Weakly-Supervised Deep Learning for Customer Review Sentiment Classification / 3719
Ziyu Guan, Long Chen, Wei Zhao, Yi Zheng, Shulong Tan, Deng Cai
PDF | Abstract

Questimator: Generating Knowledge Assessments for Arbitrary Topics / 3726
Qi Guo, Chinmay Kulkarni, Aniket Kittur, Jeffrey P. Bigham, Emma Brunskill
PDF | Abstract

Efficient Algorithms for Spanning Tree Centrality / 3733
Takanori Hayashi, Takuya Akiba, Yuichi Yoshida
PDF | Abstract

Sherlock: Sparse Hierarchical Embeddings for Visually-Aware One-Class Collaborative Filtering / 3740
Ruining He, Chunbin Lin, Jianguo Wang, Julian McAuley
PDF | Abstract

Ordering Concepts Based on Common Attribute Intensity / 3747
Tatsuya Iwanari, Naoki Yoshinaga, Nobuhiro Kaji, Toshiharu Nishina, Masashi Toyoda, Masaru Kitsuregawa
PDF | Abstract

Real-Time Web Scale Event Summarization Using Sequential Decision Making / 3754
Chris Kedzie, Fernando Diaz, Kathleen McKeown
PDF | Abstract

Identifying Key Observers to Find Popular Information in Advance / 3761
Takuya Konishi, Tomoharu Iwata, Kohei Hayashi, Ken-ichi Kawarabayashi
PDF | Abstract

Matching via Dimensionality Reduction for Estimation of Treatment Effects in Digital Marketing Campaigns / 3768
Sheng Li, Nikos Vlassis, Jaya Kawale, Yun Fu
PDF | Abstract

What Does Social Media Say about Your Stress? / 3775
Huijie Lin, Jia Jia, Liqiang Nie, Guangyao Shen, Tat-Seng Chua
PDF | Abstract

Learning to Incentivize: Eliciting Effort via Output Agreement / 3782
Yang Liu, Yiling Chen
PDF | Abstract

Pay Me and I’ll Follow You: Detection of Crowdturfing Following Activities in Microblog Environment / 3789
Yuli Liu, Yiqun Liu, Min Zhang, Shaoping Ma
PDF | Abstract

Item Recommendation for Emerging Online Businesses / 3797
Chun-Ta Lu, Sihong Xie, Weixiang Shao, Lifang He, Philip S. Yu
PDF | Abstract

Collaborative Evolution for User Profiling in Recommender Systems / 3804
Zhongqi Lu, Sinno Jialin Pan, Yong Li, Jie Jiang, Qiang Yang
PDF | Abstract

Browsing Regularities in Hedonic Content Systems / 3811
Ping Luo, Ganbin Zhou, Jiaxi Tang, Rui Chen, Zhongjie Yu, Qing He
PDF | Abstract

Detecting Rumors from Microblogs with Recurrent Neural Networks / 3818
Jing Ma, Wei Gao, Prasenjit Mitra, Sejeong Kwon, Bernard J. Jansen, Kam-Fai Wong, Meeyoung Cha
PDF | Abstract

Dynamic Task Allocation Algorithm for Hiring Workers that Learn / 3825
Shengying Pan, Kate Larson, Josh Bradshaw, Edith Law
PDF | Abstract

Learning Deep Intrinsic Video Representation by Exploring Temporal Coherence and Graph Structure / 3832
Yingwei Pan, Yehao Li, Ting Yao, Tao Mei, Houqiang Li, Yong Rui
PDF | Abstract

WebGazer: Scalable Webcam Eye Tracking Using User Interactions / 3839
Alexandra Papoutsaki, Patsorn Sangkloy, James Laskey, Nediyana Daskalova, Jeff Huang, James Hays
PDF | Abstract

Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep Networks / 3846
Yuxin Peng, Xin Huang, Jinwei Qi
PDF | Abstract

Practical Linear Models for Large-Scale One-Class Collaborative Filtering / 3854
Suvash Sedhain, Hung Bui, Jaya Kawale, Nikos Vlassis, Branislav Kveton, Aditya Krishna Menon, Trung Bui, Scott Sanner
PDF | Abstract

Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments / 3861
Avi Segal, Ya’akov (Kobi) Gal, Ece Kamar, Eric Horvitz, Alex Bowyer, Grant Miller
PDF | Abstract

A Framework for Recommending Relevant and Diverse Items / 3868
Chaofeng Sha, Xiaowei Wu, Junyu Niu
PDF | Abstract

Understanding Information Diffusion under Interactions / 3875
Yuan Su, Xi Zhang, Philip S. Yu, Wen Hua, Xiaofang Zhou, Binxing Fang
PDF | Abstract

Progressive Comparison for Ranking Estimation / 3882
Ryusuke Takahama, Toshihiro Kamishima, Hisashi Kashima
PDF | Abstract

Max-Margin DeepWalk: Discriminative Learning of Network Representation / 3889
Cunchao Tu, Weicheng Zhang, Zhiyuan Liu, Maosong Sun
PDF | Abstract

KOGNAC: Efficient Encoding of Large Knowledge Graphs / 3896
Jacopo Urbani, Sourav Dutta, Sairam Gurajada, Gerhard Weikum
PDF | Abstract

Learning Hostname Preference to Enhance Search Relevance / 3903
Jingjing Wang, Changsung Kang, Yi Chang, Jiawei Han
PDF | Abstract

Bayesian Probabilistic Multi-Topic Matrix Factorization for Rating Prediction / 3910
Keqiang Wang, Wayne Xin Zhao, Hongwei Peng, Xiaoling Wang
PDF | Abstract

Causality Based Propagation History Ranking in Social Networks / 3917
Zheng Wang, Chaokun Wang, Jisheng Pei, Xiaojun Ye, Philip S. Yu
PDF | Abstract

Learning Defining Features for Categories / 3924
Bo Xu, Chenhao Xie, Yi Zhang, Yanghua Xiao, Haixun Wang, Wei Wang
PDF | Abstract

Deep Semantic-Preserving and Ranking-Based Hashing for Image Retrieval / 3931
Ting Yao, Fuchen Long, Tao Mei, Yong Rui
PDF | Abstract

Modeling the Homophily Effect between Links and Communities for Overlapping Community Detection / 3938
Hongyi Zhang, Tong Zhao, Irwin King, Michael R. Lyu
PDF | Abstract

Matrix Factorization+ for Movie Recommendation / 3945
Lili Zhao, Zhongqi Lu, Sinno Jialin Pan, Qiang Yang
PDF | Abstract

Content-Driven Detection of Cyberbullying on the Instagram Social Network / 3952
Haoti Zhong, Hao Li, Anna Squicciarini, Sarah Rajtmajer, Christopher Griffin, David Miller, Cornelia Caragea
PDF | Abstract

Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark Search / 3959
Lei Zhu, Jialie Shen, Xiaobai Liu, Liang Xie, Liqiang Nie
PDF | Abstract

Rational-Based Visual Planning Monitors / 3968
Zohreh Alavi
PDF | Abstract

Online Fair Division Redux / 3970
Martin Aleksandrov
PDF | Abstract

Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract) / 3972
Ankit Anand
PDF | Abstract

Combining Logic and Probability: P-log Perspective / 3974
Evgenii Balai
PDF | Abstract

Planning under Uncertainty and Temporally Extended Goals / 3976
Alberto Camacho
PDF | Abstract

Bounded Suboptimal Multi-Agent Path Finding Using Highways / 3978
Liron Cohen, Sven Koenig
PDF | Abstract

Logic-Based Inductive Synthesis of Efficient Programs / 3980
Andrew Cropper
PDF | Abstract

Transfer Learning for Multiagent Reinforcement Learning Systems / 3982
Felipe Leno da Silva, Anna Helena Reali Costa
PDF | Abstract

An Approach to Cooperation in General-Sum Normal Form Games / 3984
Steven Damer
PDF | Abstract

Self Monitoring, Goal Driven Autonomy Agents / 3986
Dustin Dannenhauer
PDF | Abstract

Fast Motion Prediction for Collaborative Robotics / 3988
Claudia Pérez-D’Arpino, Julie A. Shah
PDF | Abstract

Location-Based Activity Recognition with Hierarchical Dirichlet Process / 3990
Negar Ghourchian
PDF | Abstract

Action Selection Methods for Multi-Agent Navigation in Crowded Environments / 3992
Julio Godoy
PDF | Abstract

Proactivity in Robots / 3994
Jasmin Grosinger
PDF | Abstract

Probabilistic Planning with Risk-Sensitive Criterion / 3996
Ping Hou
PDF | Abstract

Computer-Aided Game Design: Doctoral Consortium Research Abstract / 3998
Aaron Isaksen
PDF | Abstract

Stochastic Planning in Large Search Spaces / 4000
Bilal Kartal
PDF | Abstract

Extractive and Abstractive Event Summarization over Streaming Web Text / 4002
Chris Kedzie, Kathleen McKeown
PDF | Abstract

Machine Learning for Integer Programming / 4004
Elias B. Khalil
PDF | Abstract

Toward a Robust and Universal Crowd-Labeling Framework / 4006
Faiza Khan Khattak
PDF | Abstract

Active Inference for Dynamic Bayesian Networks / 4008
Caner Komurlu
PDF | Abstract

Learning Robust Representations for Data Analytics / 4010
Sheng Li
PDF | Abstract

Modelling Satisfiability Problems: Theory and Practice / 4012
Valentin Mayer-Eichberger
PDF | Abstract

Solving Hard Subgraph Problems in Parallel / 4014
Ciaran McCreesh
PDF | Abstract

Semantic Framework for Industrial Analytics and Diagnostics / 4016
Gulnar Mehdi, Sebastian Brandt, Mikhail Roshchin, Thomas Runkler
PDF | Abstract

Adaptive Sequential Recommendation Using Context Trees / 4018
Fei Mi, Boi Faltings
PDF | Abstract

On the Synergy of Network Science and Artificial Intelligence / 4020
Decebal Constantin Mocanu
PDF | Abstract

Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns? / 4022
Banafsheh Rekabdar
PDF | Abstract

Reactive Policy Checking for Action Languages / 4024
Zeynep Gözen Saribatur
PDF | Abstract

Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications / 4026
Arpit Sharma
PDF | Abstract

General Statistical Approaches to Procedural Map Generation / 4028
Sam Snodgrass
PDF | Abstract

Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract) / 4030
Xingyu Su
PDF | Abstract

Integrating Social Network Structure into Online Feature Selection / 4032
Antonela Tommasel
PDF | Abstract

Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis / 4034
Diana Troanca
PDF | Abstract

Automated Narrative Information Extraction Using Non-Linear Pipelines / 4036
Josep Valls-Vargas
PDF | Abstract

Reasoning about Space and Change with Answer Set Programming Modulo Theories / 4038
Przemysław Andrzej Wałęga
PDF | Abstract

A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning / 4040
John Winder
PDF | Abstract

BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract) / 4042
David R. Winer
PDF | Abstract

Quantitative Path-Planning from Qualitative Language Instructions / 4044
Daqing Yi
PDF | Abstract

Towards Intelligent Visual Understanding under Minimal Supervision / 4046
Dingwen Zhang
PDF | Abstract

On Ranking and Choice Models / 4050
Shivani Agarwal
PDF | Abstract

Computational Social Choice: Some Current and New Directions / 4054
Haris Aziz
PDF | Abstract

Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data / 4058
Meghyn Bienvenu
PDF | Abstract

Preference Restrictions in Computational Social Choice: Recent Progress / 4062
Edith Elkind, Martin Lackner, Dominik Peters
PDF | Abstract

Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications / 4066
Matti Järvisalo
PDF | Abstract

Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence / 4070
Ece Kamar
PDF | Abstract

Open Information Extraction Systems and Downstream Applications / 4074
Mausam
PDF | Abstract

Plausible Reasoning Based on Qualitative Entity Embeddings / 4078
Steven Schockaert, Shoaib Jameel
PDF | Abstract

A Hard Look at Soft Concepts / 4082
Dafna Shahaf
PDF | Abstract

First-Order Model Counting in a Nutshell / 4086
Guy Van den Broeck
PDF | Abstract

Sequential Decision Making for Improving Efficiency in Urban Environments / 4090
Pradeep Varakantham
PDF | Abstract

Adversarial AI / 4094
Yevgeniy Vorobeychik
PDF | Abstract

From Non-Convex Aggregates to Monotone Aggregates in ASP / 4100
Mario Alviano, Wolfgang Faber, Martin Gebser
PDF | Abstract

On the Properties of GZ-Aggregates in Answer Set Programming / 4105
Mario Alviano, Nicola Leone
PDF | Abstract

Optimal Prosumer Decision-Making Using Factored MDPs / 4110
Angelos Angelidakis, Georgios Chalkiadakis
PDF | Abstract

Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report / 4115
Vaishak Belle, Guy Van den Broeck, Andrea Passerini
PDF | Abstract

Optimal and Adaptive Algorithms for Online Boosting / 4120
Alina Beygelzimer, Satyen Kale, Haipeng Luo
PDF | Abstract

Detecting Student Emotions in Computer-Enabled Classrooms / 4125
Nigel Bosch, Sidney K. D’Mello, Ryan S. Baker, Jaclyn Ocumpaugh, Valerie Shute, Matthew Ventura, Lubin Wang, Weinan Zhao
PDF | Abstract

Learning Qualitative Spatial Relations for Robotic Navigation / 4130
Abdeslam Boularias, Felix Duvallet, Jean Oh, Anthony Stentz
PDF | Abstract

On Broken Triangles / 4135
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini
PDF | Abstract

Sequencing Operator Counts / 4140
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky
PDF | Abstract

Tabling as a Library with Delimited Control / 4145
Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
PDF | Abstract

Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer / 4150
Vijay D’Silva, Caterina Urban
PDF | Abstract

Effective Planning with More Expressive Languages / 4155
Guillem Francès, Hector Geffner
PDF | Abstract

Domain Model Acquisition in the Presence of Static Relations in the LOP System / 4160
Peter Gregory, Stephen Cresswell
PDF | Abstract

A Nearly-Linear Time Framework for Graph-Structured Sparsity / 4165
Chinmay Hegde, Piotr Indyk, Ludwig Schmidt
PDF | Abstract

Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation / 4170
Joshua Hernandez, Konstantine Tsotsos, Stefano Soatto
PDF | Abstract

Projection, Inference, and Consistency / 4175
John N. Hooker
PDF | Abstract

The Dependence of Effective Planning Horizon on Model Accuracy / 4180
Nan Jiang, Alex Kulesza, Satinder Singh, Richard Lewis
PDF | Abstract

Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search / 4185
Philip Kilby, Tommaso Urli
PDF | Abstract

Deep Neural Decision Forests / 4190
Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò
PDF | Abstract

Proximal Gradient Temporal Difference Learning Algorithms / 4195
Bo Liu, Ji Liu, Mohammad Ghavamzadeh, Sridhar Mahadevan, Marek Petrik
PDF | Abstract

Generating Tests for Robotized Painting Using Constraint Programming / 4200
Morten Mossige, Arnaud Gotlieb, Hein Meling
PDF | Abstract

A Decision Procedure for (Co)datatypes in SMT Solvers / 4205
Andrew Reynolds, Jasmin Christian Blanchette
PDF | Abstract

Why Prices Need Algorithms / 4210
Tim Roughgarden, Inbal Talgam-Cohen
PDF | Abstract

Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees / 4213
Wen Sun, J. Andrew Bagnell
PDF | Abstract

Welfare Effects of Market Making in Continuous Double Auctions: Extended Abstract / 4218
Elaine Wah, Mason Wright, Michael P. Wellman
PDF | Abstract

Improving Topic Model Stability for Effective Document Exploration / 4223
Yi Yang, Shimei Pan, Yangqiu Song, Jie Lu, Mercan Topkara
PDF | Abstract

MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers / 4228
Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki
PDF | Abstract

Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach / 4234
C. Anantaram, Sunil Kumar Kopparapu, Chirag Patel, Aditya Mittal
PDF | Abstract

Practical 3D Tracking Using Low-Cost Cameras / 4236
Roman Barták, Michal Koutný, David Obdrzálek
PDF | Abstract

Baby Tartanian8: Winning Agent from the 2016 Annual Computer Poker Competition / 4238
Noam Brown, Tuomas Sandholm
PDF | Abstract

KBQA: An Online Template Based Question Answering System over Freebase / 4240
Wanyun Cui, Yanghua Xiao, Wei Wang
PDF | Abstract

SMACk: An Argumentation Framework for Opinion Mining / 4242
Mauro Dragoni, Célia da Costa Pereira, Andrea G.B. Tettamanzi, Serena Villata
PDF | Abstract

A Virtual Assistant to Help Dysphagia Patients Eat Safely at Home / 4244
Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman
PDF | Abstract

The Malmo Platform for Artificial Intelligence Experimentation / 4246
Matthew Johnson, Katja Hofmann, Tim Hutton, David Bignell
PDF | Abstract

A Demonstration of Interactive Task Learning / 4248
James Kirk, Aaron Mininger, John Laird
PDF | Abstract

Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-Grid / 4250
Sanmukh R. Kuppannagari, Rajgopal Kannan, Charalampos Chelmis, Viktor K. Prasanna
PDF | Abstract

Eddy: A Graphical Editor for OWL 2 Ontologies / 4252
Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo
PDF | Abstract

A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and Explanation / 4254
Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Chung-Min Li, Shen-Yu Miao, Keh-Yih Su
PDF | Abstract

An Intelligent System for Taxi Service Monitoring, Analytics and Visualization / 4256
Yu Lu, Gim Guan Chua, Huayu Wu, Clement Shi Qi Ong
PDF | Abstract

An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning / 4258
Andrea Marrella, Massimo Mecella, Sebastian Sardina
PDF | Abstract

Demo: Assisting Visually Impaired People Navigate Indoors / 4260
J. Pablo Muñoz, Bing Li, Xuejian Rong, Jizhong Xiao, Yingli Tian, Aries Arditi
PDF | Abstract

Klint: Assisting Integration of Heterogeneous Knowledge / 4262
Jacobo Rouces, Gerard de Melo, Katja Hose
PDF | Abstract

Thou Shalt ASQFor and Shalt Receive the Semantic Answer / 4264
Muhammad Rizwan Saeed, Charalampos Chelmis, Viktor K. Prasanna
PDF | Abstract

A Tool for Generating Interactive Euler Diagrams / 4266
François Schwarzentruber
PDF | Abstract

Interactive Planning-Based Hypothesis Generation with LTS++ / 4268
Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh
PDF | Abstract

Data-Based Promotion of Tourist Events with Minimal Operational Impact / 4270
Srikanth Tamilselvam, Biplav Srivastava, Vishalaksh Aggarwal
PDF | Abstract

PARecommender: A Pattern-Based System for Route Recommendation / 4272
Feiyi Tang, Jia Zhu, Yang Cao, Sanli Ma, Yulong Chen, Jing He, Changqin Huang, Gansen Zhao, Yong Tang
PDF | Abstract

VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data / 4274
Donghan Wang, Madalina Fiterau, Artur Dubrawski
PDF | Abstract

Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots / 4276
Shiqi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone
PDF | Abstract