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