(7) Latent Contextual Bandits and their Application to Personalized Recommendations for New Users Li Zhou and Emma Brunskill
(16) Fast Laplace Approximation for Sparse Bayesian Spike and Slab Models Syed Abbas Zilqurnain Naqvi, Shandian Zhe, Yuan Qi and Jieping Ye
(20) Modeling contagious M&A via point processes with a profile regression prior Shuai Xiao, Junchi Yan, Changsheng Li, Bo Jin, Xiangfeng Wang, Hongyuan Zha and Xiaokang Yang
(21) On modeling and predicting individual paper citation count over time Shuai Xiao, Junchi Yan, Changsheng Li, Bo Jin, Xiangfeng Wang, Hongyuan Zha and Xiaokang Yang
(29) Generating Recommendation Evidence using Translation Model Jizhou Huang, Shiqi Zhao, Mingming Sun, Shiqiang Ding, Haiyang Wu and Haifeng Wang
(32) Markov Chain Analysis of Noise and Restart in Stochastic Local Search Ole Mengshoel, Youssef Ahres and Tong Yu
(38) Avoiding Optimal Mean Robust PCA/2DPCA with Non-greedy L1-norm Maximization Minnan Luo, Feiping Nie, Xiaojun Chang, Yi Yang and Qinghua Zheng
(39) Cost-aware Pre-training for Multiclass Cost-sensitive Deep Learning Yu-An Chung, Hsuan-Tien Lin and Shao-Wen Yang
(45) Linear-time Outlier Detection via Sensitivity Mario Lucic, Olivier Bachem and Andreas Krause
(46) Employing External Rich Knowledge for Machine Comprehension Bingning Wang, Kang Liu and Jun Zhao
(54) Online Bayesian Max-margin Subspace Multi-view Learning Jia He, Changying Du, Fuzhen Zhuang, Xin Yin, Qing He and Guoping Long
(63) Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness Yisen Wang, Qingtao Tang, Shu-Tao Xia, Jia Wu and Xingquan Zhu
(89) Improving Model Counting by Leveraging Definability Jean Marie Lagniez, Emmanuel Lonca and Pierre Marquis
(90) Multi-view Exclusive Unsupervised Dimension Reduction for Video-based Facial Expression Recognition Liping Xie, Dacheng Tao and Haikun Wei
(92) Urban Water Quality Prediction based on Multi-task Multi-view Learning Ye Liu, Yu Zheng, Yuxuan Liang, Shuming Liu and David Rosenblum
(96) Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval Zongting Lv, Yadong Mu, Wei Liu, Cheng Deng and Xinbo Gao
(120) Multiple Kernel Clustering with Local Kernel Alignment Maximization Miaomiao Li, Xinwang Liu, Lei Wang, Yong Dou and Jianping Yin
(123) Multi-Modal Bayesian Embeddings for Learning Social Knowledge Graphs Zhilin Yang, Jie Tang and William Cohen
(130) Learning using Unselected Features (LUFe) Joseph Taylor, Viktoriia Sharmanska, Kristian Kersting, David Weir and Novi Quadrianto
(136) Iterative Views Agreement: An Iterative Low-Rank based Structured Optimization Method to Multi-View Spectral Clustering Yang Wang and Lin Wu
(144) WikiWrite: Generating Wikipedia Articles Automatically Siddhartha Banerjee and Prasenjit Mitra
(146) Diversely Image Captioning via GroupTalk Zhuhao Wang, Fei Wu, Jun Xiao, Xi Li, Zitong Zhang and Yueting Zhuang
(156) Computing Pareto Optimal Committees Haris Aziz, Jérôme Lang and Jerome Monnot
(158) Expert Finding for Question Answering via Ranking Metric Network Learning Zhou Zhao, Qifan Yang, Deng Cai, Xiaofei He and Yueting Zhuang
(166) From One Point to A Manifold: Knowledge Graph Embedding For Precise Link Prediction Han Xiao, Minlie Huang and Xiaoyan Zhu
(167) Robust Iterative Quantization for Efficient $\ell_{p}$-norm Similarity Search Yuchen Guo, Guiguang Ding and Jungong Han
(169) Semi-supervised Active Learning with Cross-class Sample Transfer Yuchen Guo
(186) Deep Subspace Clustering with Sparsity Prior Xi Peng, Shijie Xiao, Jiashi Feng, Wei-Yun Yau and Zhang Yi
(187) DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide Level Xuan Song, Hiroshi Kanasugi and Ryosuke Shibasaki
(210) FastLCD: Fast Label Coordinate Descent for the Optimization of MRFs with Two-Dimensional Labels Kangwei Liu, Junge Zhang, Peipei Yang and Kaiqi Huang
(212) A Relaxed Ranking-based Factor Model for Recommender System from Implicit Feedback Huayu Li and Yong Ge
(223) The Role of Typicality in Object Classification: Improving The Generalization Capacity of Convolutional Neural Networks Babak Saleh, Ahmed Elgammal and Jacob Feldman
(235) Adaptive budget allocation for maximizing influence of advertisements Daisuke Hatano, Takuro Fukunaga and Ken-Ichi Kawarabayashi
(236) Fast Solving Maximum Weight Clique Problem in Massive Graphs Shaowei Cai and Jinkun Lin
(250) Constraint Detection in Natural Language Problem Descriptions Zeynep Kiziltan, Marco Lippi and Paolo Torroni
(252) Unsupervised Human Action Categorization with Consensus Information Bottleneck Method Xiaoqiang Yan, Yangdong Ye and Xueying Qiu
(254) Unsupervised Learning on Neural Network Outputs Yao Lu
(261) To Give or Not to Give: Fair Division for Strict Preferences Simina Brânzei, Yuezhou Lv and Ruta Mehta
(266) Multi-Label Informed Feature Selection Ling Jian, Jundong Li, Kai Shu and Huan Liu
(269) Elliptical Summary Randomisation for Sensor-based Human Activity Recognition Sarah M. Erfani, Mahsa Baktashmotlagh, Masud Moshtaghi, Vinh Nguyen, Christopher Leckie, James Bailey and Kotagiri Ramamohanarao
(272) Bayesian Optimization of Partition Layouts for Mondrian Processes Yi Wang, Bin Li, Xuhui Fan, Yang Wang and Fang Chen
(273) A Unified Framework for Discrete Spectral Clustering Yang Yang, Fumin Shen, Zi Huang and Heng Tao Shen
(274) Silk: A Simulation Study of Regulating Open Normative Multiagent Systems Mehdi Mashayekhi, Hongying Du, George F. List and Munindar P. Singh
(285) Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors Congqi Cao, Yifan Zhang, Chunjie Zhang and Hanqing Lu
(296) Constraint Answer Set Programming versus Satisfiability Modulo Theories Or Constraints versus Theories Yuliya Lierler and Benjamin Susman
(301) Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative Transfer Yusen Zhan, Haitham Bou Ammar and Matthew Taylor
(310) Sampling-Based Belief Revision Michael Thielscher
(320) Taking up the Gaokao Challenge: An Information Retrieval Approach Gong Cheng, Weixi Zhu, Ziwei Wang, Jianghui Chen and Yuzhong Qu
(343) Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN Shengxian Wan, Yanyan Lan, Jun Xu, Jiafeng Guo and Xueqi Cheng
(345) Query answering with transitive and linear-ordered data Antoine Amarilli, Michael Benedikt, Pierre Bourhis and Michael Vanden Boom
(348) Truncating Shortest Path Search for Efficient Map-matching Takashi Imamichi, Takayuki Osogami and Rudy Raymond
(350) Balancing Appearance and Context in Sketch Interpretation Randall Davis, Yale Song, Kaichen Ma and Dana L. Penney
(354) Probabilistic Matrix Inspection and Group Scheduling Hooyeon Lee and Ashish Goel
(355) Resolving Over-constrained Conditional Temporal Problems using Semantically Similar Alternatives Peng Yu, Jiaying Shen, Peter Yeh and Brian Williams
(362) Knowledge Representation Learning with Entities, Attributes and Relations Yankai Lin, Zhiyuan Liu and Maosong Sun
(364) Sparse Word Embeddings Using L1 Regularized Online Learning Fei Sun, Jiafeng Guo, Yanyan Lan, Jun Xu and Xueqi Cheng
(374) Makeup like a superstar: Deep Localized Makeup Transfer Network Si Liu, Xinyu Ou, Ruihe Qian, Wei Wang and Xiaochun Cao
(381) An ASP Semantics for Default Reasoning with Constraints Pedro Cabalar, Roland Kaminski, Max Ostrowski and Torsten Schaub
(386) Extending the Harper Identity to Iterated Belief Change Richard Booth and Jake Chandler
(391) Supervised Matrix Factorization for Cross-Modality Hashing Hong Liu, Rongrong Ji, Yongjian Wu, Wei Liu and Gang Hua
(402) Collaborative Filtering with Generalized Laplacian Constraint via Overlapping Decomposition Qing Zhang and Houfeng Wang
(412) Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations Finale Doshi-Velez and George Konidaris
(417) Subset Selection Via Implicit Utilitarian Voting Ioannis Caragiannis, Swaprava Nath, Ariel Procaccia and Nisarg Shah
(421) Greedy Learning of Generalized Low-Rank Models Quanming Yao and James.T Kwok
(426) Fast Learning from Distributed Datasets without Entity Matching Giorgio Patrini, Richard Nock, Stephen Hardy and Tiberio Caetano
(429) Bag-of-Embeddings for Text Classification Peng Jin, Yue Zhang, Xingyuan Chen and Yunqing Xia
(437) Exploring the Context of Locations for Personalized Location Recommendations Xin Liu and Yong Liu
(438) Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction Yin Yichun, Wei Furu, Dong Li, Xu Kaimeng, Zhang Ming and Zhou Ming
(440) Dependency Clustering of Mixed Data with Gaussian Mixture Copulas Vaibhav Rajan and Sakyajit Bhattacharya
(448) Highly Accurate Gaze Estimation using a Consumer RGB+Depth Sensor Reza Shoja Ghiass and Ognjen Arandjelovic
(453) Group-Invariant Cross-Modal Subspace Learning Jian Liang, Ran He, Zhenan Sun and Tieniu Tan
(462) Semi-Supervised Multimodal Deep Learning for RGB-D Object Recognition Yanhua Cheng, Rui Cai, Xin Zhao and Kaiqi Huang
(463) Context-Specific and Multi-Prototype Character Representations Xiaoqing Zheng, Jiangtao Feng and Wenqiang Zhang
(467) Neural Enquirer: Learning to Query Tables in Natural Language Pengcheng Yin, Zhengdong Lu, Hang Li and Ben Kao
(470) Sparse Bayesian Content-Aware Collaborative Filtering for Implicit Feedback Defu Lian, Yong Ge, Nicholas Jing Yuan, Xing Xie and Hui Xiong
(478) Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints Ruohan Zhang, Yue Yu, Mahmoud El Chamie, Behcet Acikmese and Dana Ballard
(480) Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe Method Bo Liu, Xiaotong Yuan, Shaoting Zhang, Qingshan Liu and Dimitris Metaxas
(488) Ordinal Regression for Learning Planning Heuristics Caelan Garrett, Leslie Kaelbling and Tomas Lozano-Perez
(489) Text-enhanced Representation Learning for Knowledge Graph Zhigang Wang and Juanzi Li
(495) Maximum Sustainable Yield Problem for Robot Foraging and Construction System Ruohan Zhang
(523) MPMA: Mixture Probabilistic Matrix Approximation for Collaborative Filtering Chao Chen, Dongsheng Li, Qin Lv, Junchi Yan, Stephen Chu and Li Shang
(524) Clustering-based Joint Feature Selection for Semantic Attribute Prediction Lin Chen and Baoxin Li
(529) Diagnosability of Discrete-Event Systems with Uncertain Observations Xingyu Su, Marina Zanella and Alban Grastien
(538) Building Joint Spaces for Relation Extraction Chang Wang, Liangliang Cao and James Fan
(554) Interactive Martingale Boosting Ashish Kulkarni, Pushpak Burange and Ganesh Ramakrishnan
(555) Forgetting Concept and Role Symbols in ALCOIHmu+(top, and, or)-Ontologies Yizheng Zhao and Renate A. Schmidt
(565) Non-negative Matrix Factorization with Sinkhorn Distance Wei Qian, Bin Hong, Deng Cai and Xiaofei He
(572) A Generative Model for Recognizing Mixed Group Activities in Still Images Zheng Zhou, Kan Li, Xiangjian He and Mengmeng Li
(575) ST-MVL: Filling Missing Values in Geo-sensory Time Series Data Yi Xiuwen, Zheng Yu, Zhang Junbo and Li Tianrui
(586) Self-Paced Boost Learning for Classification Te Pi, Xi Li, Zhongfei Zhang, Deyu Meng, Fei Wu, Jun Xiao and Yueting Zhuang
(587) Saliency Transfer: An Example-Based Method for Salient Object Detection Xin Li, Fan Yang, Leiting Chen and Hongbin Cai
(591) Interdependent Scheduling Games Andres Abeliuk, Haris Aziz, Gerardo Berbeglia, Serge Gaspers, Petr Kalina, Nicholas Mattei, Dominik Peters, Paul Stursberg, Pascal Van Hentenryck and Toby Walsh
(602) Digital Good Exchange Wenyi Fang, Pingzhong Tang and Song Zuo
(603) Word Clouds with Latent Variable Analysis for Visual Comparison of Documents Tuan Le and Hady Lauw
(626) POISketch: Semantic Place Labeling over User Activity Streams Dingqi Yang, Bin Li and Philippe Cudré-Mauroux
(630) Large Scale Sparse Clustering Ruqi Zhang and Zhiwu Lu
(639) Feature Learning based Deep Supervised Hashing with Pairwise Labels Wu-Jun Li, Sheng Wang and Wang-Cheng Kang
(640) Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet Clustering Allam S. Hassanein, Mohamed E. Hussein and Walid Gomaa
(641) Towards Convolutional Neural Networks Compressing via Global Error Reconstruction Shaohui Lin, Rongrong Ji, Yongjian Wu and Xuelong Li
(643) A Self-representation induced Classifier Pengfei Zhu, Lei Zhang, Wangmeng Zuo, Xiangchu Feng and Qinghua Hu
(650) What are Where: Inferring Containment Relations from Videos Wei Liang, Yixin Zhu and Songchu Zhu
(655) Agreement-based Joint Training for Bidirectional Attention-based Neural Machine Translation Yong Cheng, Shiqi Shen, Zhongjun He, Wei He, Hua Wu, Maosong Sun and Yang Liu
(659) Norm Monitoring with Incomplete Observations Natalia Criado and Jose M. Such
(677) Parameter-free Auto-weighted Multiple Graph Learning: A Framework for Clustering and Semi-supervised Classification Feiping Nie, Jing Li and Xuelong Li
(680) Semantics-aware Deep Correspondence Structure Learning for Robust Person Re-identification Yaqing Zhang, Xi Li, Liming Zhao and Zhongfei Zhang
(683) Maintaining Evolving Domain Models Daniel Bryce, J. Benton and Michael Boldt
(691) A network-based rating system and its resistance to bribery Umberto Grandi and Paolo Turrini
(700) Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process Harold Soh
(702) Clustering Financial Time Series: How Long is Enough? Gautier Marti, Sébastien Andler, Frank Nielsen and Philippe Donnat
(704) Visual Tracking with Reliable Memories Shu Wang, Shaoting Zhang, Wei Liu and Dimitris Metaxas
(715) On Structural Properties of MDPs that Bound Loss due to Shallow Planning Nan Jiang, Satinder Singh and Ambuj Tewari
(721) Robust Joint Discriminative Feature Learning for Visual Tracking Xiangyuan Lan, Shengping Zhang and Pong Chi Yuen
(730) Pairwise Diffusion of Preference Rankings Markus Brill, Edith Elkind, Ulle Endriss and Umberto Grandi
(734) First Order-Rewritability of Conjunctive Queries in Horn Description Logics Meghyn Bienvenu, Peter Hansen, Carsten Lutz and Frank Wolter
(735) An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems Wen Shen, Cristina V. Lopes and Jacob W. Crandall
(738) Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving Florian Brandl, Felix Brandt and Christian Geist
(739) Catcher-Evader Games Yuqian Li, Vincent Conitzer and Dmytro Korzhyk
(744) Incomplete Multimodal Visual Data Grouping Handong Zhao, Hongfu Liu and Yun Fu
(750) Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork Ofra Amir, Barbara Grosz and Krzysztof Gajos
(755) Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data Zhaobin Kuang, James Thomson, Michael Caldwell, Peggy Peissig, Ron Stewart and C. David Page
(758) Assigning a Small Agreeable Set of Indivisible Items to Multiple Players Warut Suksompong
(775) Generalized Discrete Preference Games Vincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi and Giuseppe Persiano
(791) Factored Probabilistic Belief Tracking Blai Bonet and Hector Geffner
(793) Online Agent Supervision in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo and Yves Lesperance
(798) Online Multi-object Tracking by Quadratic Pseudo-Boolean Optimization Long Lan, Dacheng Tao, Chen Gong, Naiyang Guan and Zhigang Luo
(799) Incorporating User Preferences in Predictive Models Via Structured Regularizers Suchi Saria and Daniel Robinson
(800) Object Recognition with Hidden Attributes Qiang Ji and Xiaoyang Wang
(801) Inference Machines for Nonparametric Filter Learning Arun Venkatraman, Wen Sun, Byron Boots, J. Andrew Bagnell and Martial Hebert
(808) Cross-lingual Dataless Classification for Many Languages Yangqiu Song, Shyam Upadhyay, Haoruo Peng and Dan Roth
(809) Generalized Dictionary for Multitask Learning with Boosting Boyu Wang and Joelle Pineau
(810) Constrained Preference Embedding for Item Recommendation Xin Wang, Yunhui Guo and Congfu Xu
(817) Action Selection of Hammer Shots in Curling Zaheen Farraz Ahmad, Robert Holte and Michael Bowling
(820) Multi-grained Role Labeling Based on Multi-modality Information for Real Customer Service Telephone Conversation Weizhi Ma, Min Zhang, Yiqun Liu and Shaoping Ma
(821) Joint Feature Selection and Structure Preservation for Domain Adaptation Jingjing Li, Jidong Zhao, Ke Lu and Xiaofei He
(822) Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation Pengfei Wei, Yiping Ke and Chi Keong Goh
(823) Portfolio Blending via Thompson Sampling Weiwei Shen and Jun Wang
(830) Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence Andres Abeliuk, Felipe Maldonado, Gerardo Berbeglia and Pascal Van Hentenryck
(831) Learning Interactive Affordance for Human-Robot Interaction Tianmin Shu, Michael S. Ryoo and Song-Chun Zhu
(835) Nonparametric Risk and Stability Analysis for Multi-Task Learning Problems Xuezhi Wang, Junier Oliva, Jeff Schneider and Barnabas Poczos
(837) Representation Learning of Knowledge Graphs with Hierarchical Types Ruobing Xie, Zhiyuan Liu and Maosong Sun
(844) Markovian State and Action Abstractions in Monte-Carlo Tree Search Aijun Bai, Siddharth Srivastava, Stuart Russell and Richard Doan
(848) Fast Robust Non-negative Matrix Factorization for Large Scale Data Clustering De Wang, Feiping Nie and Heng Huang
(859) Understanding Crowd Scene based on Coherent Recurrent Neural Networks Hang Su, Yinpeng Dong, Jun Zhu, Haibin Ling and Bo Zhang
(863) Learning by Actively Querying Strong Modal Features Yang Yang and De-Chuan Zhan
(868) A Neural Network for Document Summarization Qian Chen, Xiaodan Zhu, Zhenhua Ling, Si Wei and Hui Jiang
(877) Improving DCNN Performance with Sparse Category-Selective Objective Function Shizhou Zhang, Yihong Gong and Jinjun Wang
(894) Verifying Pushdown Multi-Agent Systems against Strategy Logics Taolue Chen, Fu Song and Zhilin Wu
(902) External Memory Bidirectional Search Nathan Sturtevant and Jingwei Chen
(903) Efficient Resource Allocation for Protecting Coral Reef Ecosystems Yue Yin and Bo An
(910) Sequential Plan Recognition Reuth Mirsky, Kobi Gal, Roni Stern and Meir Kalech
(919) Dynamic Auctions with Bank Accounts Vahab Mirrokni, Renato Paes Leme, Pingzhong Tang and Song Zuo
(927) Distributed Breakout: Beyond Satisfaction Steven Okamoto, Roie Zivan and Aviv Nahon
(931) Beyond object recognition: Deep visual sentiment analysis via affective concept supervision and transfer Jingwen Wang, Jianlong Fu, Yong Xu and Tao Mei
(943) Modularity based Community Detection with Deep Learning Liang Yang, Xiaochun Cao, Dongxiao He, Chuan Wang, Xiao Wang and Weixiong Zhang
(946) Neural Segmentation Models Leveraging Segment Representations Yijia Liu, Wanxiang Che and Jiang Guo
(948) Gated Probabilistic Matrix Factorization: Learning Users' Attention from Missing Values Shohei Ohsawa, Yachiko Obara and Takayuki Osogami
(952) Geometric Scene Parsing with Hierarchical LSTM Zhanglin Peng, Ruimao Zhang, Xiaodan Liang and Liang Lin
(961) A Stochastic Grammar for Fine-grained 3D Scene Reconstruction Xiaobai Liu and Xiaobai Liu
(963) Preserving Privacy in Region Optimal DCOP Algorithms Tamir Tassa, Roie Zivan and Tal Grinshpoun
(964) A Framework for Integrating Symbolic and Sub-symbolic Representations Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut and Michael Thielscher
(967) LTLf and LDLf Synthesis Under Partial Observability Giuseppe De Giacomo and Moshe Vardi
(976) Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection Yufei Han and Yun Shen
(984) DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks Jie Fu, Hongyin Luo, Jiashi Feng, Kian Hsiang Low and Tat-Seng Chua
(985) Better Strategyproof Mechanisms without Payments or Prior -- An Analytic Approach Yun Kuen Cheung
(998) Voting-Based Team Formation Piotr Faliszewski, Arkadii Slinko and Nimrod Talmon
(1002) Diversifying Convex Transductive Experimental Design for Active Learning Lei Shi and Yi-Dong Shen
(1004) Imperfect information games and generalized planning Giuseppe De Giacomo, Antonio Di Stasio, Aniello Murano and Sasha Rubin
(1005) The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics Christoph Benzmüller and Bruno Woltzenlogel Paleo
(1008) Fast Structural Binary Coding Dongjin Song, Wei Liu and David Meyer
(1017) Heuristic Subset Selection in Classical Planning Levi Lelis, Santiago Franco, Marvin Abisrror, Mike Barley, Sandra Zilles and Robert Holte
(1019) Fast-and-Light Stochastic ADMM Shuai Zheng and James Kwok
(1021) Self-Adapted Multi-task Clustering Xianchao Zhang, Xiaotong Zhang and Han Liu
(1041) Stochastic And-Or Grammars: A Unified Framework and Logic Perspective Kewei Tu
(1043) A Novel Feature Matching Strategy for Large Scale Image Retrieval Hao Tang and Hong Liu
(1047) ASP for Anytime Dynamic Programming on Tree Decompositions Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub and Stefan Woltran
(1054) Natural Supervised Hashing Qi Liu and Hongtao Lu
(1056) Elicitation for Preferences Single Peaked on Trees Palash Dey and Neeldhara Misra
(1061) Preference Elicitation For Single Crossing Domain Palash Dey and Neeldhara Misra
(1067) Complexity of Manipulation with Partial Information Palash Dey, Neeldhara Misra and Narahari Yadati
(1069) Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA Qiaomin Ye and Zhihua Zhang
(1073) Budgeted Multi-armed Bandits with Multiple Plays Yingce Xia, Tao Qin, Weidong Ma and Tie-Yan Liu
(1075) SLIM: Semi-Lazy Inference Mechanism for Plan Recognition Reuth Mirsky
(1076) Correlation Complexity of Classical Planning Domains Jendrik Seipp, Florian Pommerening, Gabriele Röger and Malte Helmert
(1080) Improving CNN Performance with Min-Max Objective Weiwei Shi, Yihong Gong and Jinjun Wang
(1094) Bridging LSTM Architecture with the Neural Dynamics of Reading Peng Qian, Xipeng Qiu and Xuanjing Huang
(1096) Knowledge-based Sequence Mining with ASP Martin Gebser, Thomas Guyet, René Quiniou, Javier Romero and Torsten Schaub
(1097) Verbalization: Narratives of Autonomous Robot Experience Stephanie Rosenthal, Sai Pandi Selvaraj and Manuela Veloso
(1098) Distributing Knowledge into Simple Bases Adrian Haret, Jean-Guy Mailly and Stefan Woltran
(1099) Privacy Preserving Plans in Partially Observable Environments Sarah Keren, Avigdor Gal and Erez Karpas
(1101) Conservative Rewritability of Description Logic TBoxes Boris Konev, Carsten Lutz, Frank Wolter and Michael Zakharyaschev
(1102) Recurrent Neural Network for Text Classification with Multi-Task Learning Pengfei Liu, Xipeng Qiu and Xuanjing Huang
(1109) Query Entailment and Inseparability for ALC Ontologies Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev
(1126) Querying Data Graphs with Arithmetical Regular Expressions Maciej Graboń, Jakub Michaliszyn, Jan Otop and Piotr Wieczorek
(1127) HC-search for Incremental Parsing Yijia Liu and Wanxiang Che
(1128) Packing graphs with ASP for landscape simulation Thomas Guyet, Yves Moinard, Jacques Nicolas and René Quiniou
(1130) Model-based Deep Hand Pose Estimation Xingyi Zhou, Qingfu Wan, Wei Zhang, Xiangyang Xue and Yichen Wei
(1135) ADL™: A Topic Model for Recognition of Activities of Daily Living in a Smart Home Yu Chen, Tom Diethe and Peter Flach
(1141) Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding Jianmin Ji, Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang and Jiangtao Xu
(1154) Heuristics and Really Hard Instances for Subgraph Isomorphism Problems Ciaran McCreesh, James Trimble and Patrick Prosser
(1157) Denoising and Completion of 3D Data via Multidimensional Dictionary Learning Zemin Zhang and Shuchin Aeron
(1163) Generalizing the Edge-Finder Rule for the Cumulative Constraint Vincent Gingras and Claude-Guy Quimper
(1166) Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses Kostyantyn Shchekotykhin, Thomas Schmitz and Dietmar Jannach
(1170) Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications Inbal Wiesel, Gal A. Kaminka, Noa Agmon, Ido Bachelet and Guy Hachmon
(1172) Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling Sam Snodgrass and Santiago Ontañón
(1174) Planning with Task-oriented Knowledge Acquisition for A Service Robot Kai Chen, Fangkai Yang and Xiaoping Chen
(1180) Protein Secondary Structure Prediction Using Cascaded Convolutional and Recurrent Neural Networks Zhen Li and Yizhou Yu
(1181) Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews Yunzhi Tan, Min Zhang, Yiqun Liu and Shaoping Ma
(1184) Optimally Protecting Elections Yue Yin, Yevgeniy Vorobeychik, Bo An and Noam Hazon
(1187) Preference Inference Through Rescaling Preference Learning Nic Wilson and Mojtaba Montazery
(1192) A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call Records Zipei Fan, Ayumi Arai, Xuan Song, Apichon Witayangkurn, Hiroshi Kanasugi and Ryosuke Shibasaki
(1202) On Truthful Mechanisms for Maximin Share Allocations Georgios Amanatidis, Georgios Birmpas and Evangelos Markakis
(1212) 3D Action Recognition Using Multi-temporal Depth Motion Maps and Fisher Vector Chen Chen, Mengyuan Liu, Baochang Zhang, Jungong Han, Junjun Jiang and Hong Liu
(1213) Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification Hanyang Peng and Yong Fan
(1219) Adversarial Sequence Classification Jia Li, Kaiser Asif, Hong Wang, Brian Ziebart and Tanya Berger-Wolf
(1224) Improving Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Solver Calls Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi
(1227) Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban André Grahl Pereira, Robert Holte, Jonathan Schaeffer, Luciana Salete Buriol and Marcus Ritt
(1228) Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases Meghyn Bienvenu, Camille Bourgaux and François Goasdoué
(1230) The Complexity of Learning Acyclic CP-nets Eisa Alanazi, Malek Mouhoub and Sandra Zilles
(1250) Predicting Personal Traits from Facial Images using Convolutional Neural Networks Augmented with Facial Landmark Information Yoad Lewenberg, Yoram Bachrach, Sukrit Shankar and Antonio Criminisi
(1254) Enforcing Template Representability and Temporal Consistency for Adaptive Sparse Tracking Xue Yang, Fei Han, Hua Wang and Hao Zhang
(1256) Interactive Scheduling of Appliance Usage in the Home Ngoc Cuong Truong, Tim Baarslag, Sarvapali Ramchurn and Long Tran-Thanh
(1264) Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks Yizhe Zhang, Ricardo Henao, Chunyuan Li and Lawrence Carin
(1265) Crowdsourcing via Tensor Augmentation and Completion Yao Zhou and Jingrui He
(1271) Heuristic Planning for PDDL+ Domains Wiktor Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni and Fabio Mercorio
(1274) Group Decision Making via Probabilistic Belief Merging Nico Potyka, Erman Acar, Matthias Thimm and Heiner Stuckenschmidt
(1275) Evaluation of arguments from support relations: Axioms and Semantics Leila Amgoud and Jonathan Ben-Naim
(1276) Efficient Bayesian Clustering for Reinforcement Learning Travis Mandel, Yun-En Liu, Emma Brunskill and Zoran Popovic
(1278) Combining the k-CNF and XOR Phase-Transitions Jeffrey M. Dudek, Kuldeep S. Meel and Moshe Y. Vardi
(1282) Social Choice for Agents with General Utilities Hongyao Ma, Reshef Meir and David C. Parkes
(1286) Stochastic Multiresolution Persistent Homology Kernel Jerry Zhu, Ara Vartanian, Manish Bansal, Duy Nguyen and Luke Brandl
(1288) Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems Kyle Wray, Luis Pineda and Shlomo Zilberstein
(1289) Robust Draws in Balanced Knockout Tournaments Krishnendu Chatterjee, Rasmus Ibsen-Jensen and Josef Tkadlec
(1292) Efficient Query Answering Over Expressive Inconsistent Description Logics Eleni Tsalapati, Giorgos Stoilos, Giorgos Stamou and George Koletsos
(1298) Commitment Semantics for Sequential Decision Making under Reward Uncertainty Qi Zhang, Edmund Durfee and Satinder Singh
(1302) Learning First-Order Logic Embeddings via Graph Rewriting William Yang Wang and William Cohen
(1309) Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates Shqiponja Ahmetaj, Magdalena Ortiz and Mantas Simkus
(1310) Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning David Isele, Eric Eaton and Mohammad Rostami
(1312) Strategic Voting with Incomplete Information Ulle Endriss, Svetlana Obraztsova, Maria Polukarov and Jeffrey S. Rosenschein
(1332) Contextual Symmetries in Probabilistic Graphical Models Ankit Anand, Aditya Grover, Mausam . and Parag Singla
(1338) Optimizing Molecular Cloning Of Multiple Plasmids Thierry Petit and Lolita Petit
(1339) Reconfigurability in Reactive Multiagent Systems Xiaowei Huang, Qingliang Chen, Jie Meng and Kaile Su
(1348) Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels Bernhard Bliem, Robert Bredereck and Rolf Niedermeier
(1350) Learning A Deep $\ell_\infty$ Encoder for Hashing Zhangyang Wang, Yingzhen Yang, Shiyu Chang, Qing Ling and Thomas Huang
(1356) Online Symbolic Gradient-Based Optimization for Factored Action MDPs Hao Cui and Roni Khardon
(1357) Tri-Party Deep Network Representation Shirui Pan, Jia Wu, Xingquan Zhu and Chengqi Zhang
(1358) An Approximation Approach for Solving Subpath Planning Problem Masoud Safilian, S. Mehdi Hashemi, Sepehr Eghbali and Ali Akbar Safilian
(1362) Coupled Marginalized Auto-encoders for Cross-domain Multi-view Learning Shuyang Wang, Zhengming Ding and Yun Fu
(1368) Randomized Social Choice Functions Under Metric Preferences Elliot Anshelevich and John Postl
(1372) Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss Cesare Alippi, Giacomo Boracchi, Diego Carrera and Manuel Roveri
(1373) Identifying Outliers in Complex Categorical Data by Modeling the Feature Value Couplings Guansong Pang, Longbing Cao and Ling Chen
(1377) The Complexity of Playing Durak Édouard Bonnet
(1378) Predicting Confusion in Information Visualization from Eye Tracking and Interaction Data Sébastien Lallé, Cristina Conati and Giuseppe Carenini
(1381) Parse Tree Fragmentation of Ungrammatical Sentences Homa B. Hashemi and Rebecca Hwa
(1383) Learning Cross-view Binary Identities for Fast Person Re-identification Feng Zheng and Ling Shao
(1392) Relevance for SAT(ID) Joachim Jansen, Bart Bogaerts, Jo Devriendt, Gerda Janssens and Marc Denecker
(1398) To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary Codes Zhe Wang, Ling-Yu Duan, Junsong Yuan, Tiejun Huang and Wen Gao
(1402) Incremental Truncated LSTD Clement Gehring, Yangchen Pan and Martha White
(1416) On Combining Side Information and Unlabeled Data for Heterogeneous Multi-task Metric Learning Yong Luo, Yonggang Wen and Dacheng Tao
(1435) Coordinating Human-UAV Teams in Disaster Response Feng Wu and Sarvapali Ramchurn
(1441) Facility Location with Minimax Envy Qingpeng Cai, Aris Filos-Ratsikas and Pingzhong Tang
(1442) Hashtag Recommendation using Attention-based Convolutional Neural Network Yeyun Gong and Qi Zhang
(1444) Joint Models for Extracting Adverse Drug Events from Biomedical Text Fei Li, Donghong Ji, Yue Zhang and Meishan Zhang
(1446) Belief Update for Proper Epistemic Knowledge Bases Tim Miller and Christian Muise
(1449) Class-wise Supervised Hashing with Taxonomy and Active Bits Long-Kai Huang and Sinno Jialin Pan
(1450) Adaptive Variance Reducing for Stochastic Gradient Descent Zebang Shen
(1458) Robust Out-of-Sample Data Representation Bo Jiang, Chris Ding and Bin Luo
(1466) Video-based Person Re-identification by Simultaneously Learning Intra-video and Inter-video Distance Metrics Xiaoke Zhu, Xiao-Yuan Jing, Hui Feng and Fei Wu
(1474) Unsupervised Alignment of Actions in Video with Text Descriptions Young Chol Song, Iftekhar Naim, Abdullah Al Mamun, Kaustubh Kulkarni, Parag Singla, Jiebo Luo, Daniel Gildea and Henry Kautz
(1479) Parallel Pareto Optimization for Subset Selection Chao Qian, Jing-Cheng Shi, Yang Yu, Ke Tang and Zhi-Hua Zhou
(1480) A Characterization of Voting Power for Discrete Weight Distributions Yoram Bachrach, Yuval Filmus, Joel Oren and Yair Zick
(1485) Browsing Regularities in Hedonic Content Systems: the More the Merrier? Ping Luo
(1497) Predict Anchor Links across Social Networks via an Embedding Approach Tong Man, Huawei Shen, Shenghua Liu, Xiaolong Jin and Xueqi Cheng
(1504) Forgetting in Multi-Agent Modal Logics Liangda Fang, Yongmei Liu and Hans van Ditmarsch
(1509) On the relationship between P-log and LP^MLN Evgenii Balai and Michael Gelfond
(1513) Scale-adaptive Low-resolution Person Re-identification via Learning A Discriminating Surface Zheng Wang, Ruimin Hu, Yi Yu, Junjun Jiang, Chao Liang and Jinqiao Wang
(1517) Epistemic GDL: A logic for representing and reasoning about imperfect information games Guifei Jiang, Dongmo Zhang, Laurent Perrussel and Heng Zhang
(1526) EBEK: Exemplar-based Kernel Preserving Embedding Rania Ibrahim and Ahmed Elbagoury
(1529) Anticipatory Troubleshooting Netantel Hasidi, Roni Stern, Meir Kalech and Shulamit Reches
(1531) Staleness-aware Async-SGD for Distributed Deep Learning Wei Zhang, Suyog Gupta, Xiangru Lian and Ji Liu
(1533) Weight features for predicting future model performance of deep neural networks Yasunori Yamada and Tetsuro Morimura
(1535) Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human Behaviors Sang-Woo Lee, Chung-Yeon Lee, Dong Hyun Kwak, Jiwon Kim, Jeonghee Kim and Byoung-Tak Zhang
(1541) Aligning Users Across Social Networks Using Network Embedding Li Liu, William Kwok-Wai Cheung, Xin Li and Lejian Liao
(1555) Supervised Heterogeneous Domain Adaptation via Random Forests Sanatan Sukhija and Narayanan C Krishnan
(1562) Neural Generative Question Answering Jun Yin, Xin Jiang, Zhengdong Lu, Lifeng Shang, Hang Li and Xiaoming Li
(1565) Unsupervised Feature Learning from Time Series Qin Zhang, Peng Zhang, Yingjie Tian and Chengqi Zhang
(1567) Learning Stable Linear Dynamical Systems with the Weighted Least Square Method Wenbing Huang, Lele Cao, Fuchun Sun, Deli Zhao, Huaping Liu and Shanshan Yu
(1574) Robust and Sparse Fuzzy K-Means Clustering Jinglin Xu, Junwei Han, Kai Xiong and Feiping Nie
(1576) Identification of Causal Effects by Auxiliary Instruments in Linear Systems Bryant Chen, Judea Pearl and Elias Bareinboim
(1581) Heuristics for Numeric Planning via Subgoaling Enrico Scala, Patrik Haslum and Sylvie Thiebaux
(1583) A Bilingual Graph-based Semantic Model for Statistical Machine Translation Rui Wang, Hai Zhao, Sabine Ploux, Bao-Liang Lu and Masao Utiyama
(1585) Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-paced Curriculum Learning Dingwen Zhang, Deyu Meng, Long Zhao and Junwei Han
(1595) A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data Gary Doran, Andrew Latham and Soumya Ray
(1597) Subspace Clustering via New Discrete Group Structure Constrained Low-Rank Model Feiping Nie and Heng Huang
(1599) Swift: Compiled Inference for Probabilistic Programming Languages Yi Wu, Lei Li, Stuart Russell and Rastislav Bodik
(1608) Improving Top-N Recommendation with Heterogeneous Losses Feipeng Zhao and Yuhong Guo
(1618) Transductive Optimization of Top k Precision Liping Liu, Thomas Dietterich, Nan Li and Zhi-Hua Zhou
(1621) Intersubjectivity and Sentiment: from Language to Knowledge Lin Gui, Ruifeng Xu, Yulan He, Qin Lu and Zhongyu Wei
(1622) How Hard Is It for a Party to Nominate an Election Winner? Piotr Faliszewski, Laurent Gourvès, Jérôme Lang, Julien Lesca and Jérôme Monnot
(1626) Committee Scoring Rules: Axiomatic Classification and Hierarchy Piotr Faliszewski, Piotr Skowron, Arkadii Slinko and Nimrod Talmon
(1634) A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding Xiaodong Zhang and Houfeng Wang
(1640) Learning by Crowdsourcing Lu Wang and Zhi-Hua Zhou
(1643) Enhancing Energy Disaggregation through Household Structure Analysis via Hawkes Processes Liangda Li and Hongyuan Zha
(1658) Robust Natural Language Processing - Combining Reasoning, Cognitive Semantics and Construction Grammar for Spatial Language Michael Spranger, Jakob Suchan and Mehul Bhatt
(1666) Dealing with Multiple Classes in Online Class Imbalance Learning Shuo Wang, Leandro L. Minku and Xin Yao
(1668) Probabilistic Rank-One Matrix Analysis with Concurrent Regularization Yang Zhou and Haiping Lu
(1673) Reinforcement Learning applied to Incremental Spoken Dialogue Systems Hatim Khouzaimi, Romain Laroche and Fabrice Lefèvre
(1681) Distributed Autoepistemic Logic and its Application to Access Control Pieter Van Hertum, Marcos Cramer, Bart Bogaerts and Marc Denecker
(1689) Modifying MCTS for Human-like General Video Game Playing Ahmed Khalifa, Aaron Isaksen, Julian Togelius and Andy Nealen
(1692) A branch-and-price algorithm for scheduling observations on a telescope Nicolas Catusse, Hadrien Cambazar, Nadia Brauner, Pierre Lemaire, Bernard Penz, Anne-Marie Lagrange and Pascal Rubini
(1697) Policy Search in Reproducing Kernel Hilbert Space Vien Ngo, Peter Englert and Marc Toussaint
(1698) Semi-Data-Driven Network Coarsening Li Gao, Peng Zhang, Jia Wu, Zhi Qiao and Yue Hu
(1703) Optimal Status Enforcement in Abstract Argumentation Andreas Niskanen, Johannes P. Wallner and Matti Järvisalo
(1713) Learning Text Semantic Similarity with Structural Alignment Chen Liang, Praveen Paritosh, Vinodh Rajendran and Kenneth Forbus
(1715) i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing Schema Rui Yan
(1723) Static Symmetry Breaking with the Reflex Ordering Jimmy Lee and Zichen Zhu
(1738) Efficiently Finding Conceptual Clustering Models with Integer Linear Programming Abdelkader Ouali, Samir Loudni, Yahia Lebbah, Patrice Boizumault, Albrecht Zimmermann and Lakhdar Loukil
(1752) Copula Mixed-Membership Stochastic Blockmodel Xuhui Fan and Richard Yi Da Xu
(1754) On the Topology of Genetic Algorithms David Hofmeyr
(1757) Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games Xiaoxiao Guo, Satinder Singh, Richard Lewis and Honglak Lee
(1758) Deep, Convolutional, and Recurrent Models for Human Activity Recognition using Wearables Nils Y. Hammerla, Shane Halloran and Thomas Ploetz
(1759) Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia Alessandro Raganato, Claudio Delli Bovi and Roberto Navigli
(1774) Discriminatively trained recurrent neural networks for continuous dimensional emotion recognition from audio Felix Weninger, Fabien Ringeval, Erik Marchi and Björn Schuller
(1777) On Consensus Extraction Eric Gregoire, Sébastien Konieczny and Jean Marie Lagniez
(1781) Optimizing Simple Table Reduction with Bitwise Representation Ruiwei Wang, Wei Xia, Roland Yap and Zhanshan Li
(1791) Unsupervised Storyline Extraction on News Articles Deyu Zhou, Haiyang Xu and Yulan He
(1794) Efficient Representations for the Modal Logic S5 Alexandre Niveau and Bruno Zanuttini
(1802) Decoupled Strong Stubborn Sets Daniel Gnad, Martin Wehrle and Jörg Hoffmann
(1808) Control of Fair Division Haris Aziz, Ildi Schlotter and Toby Walsh
(1820) Chinese Song Iambics Generation with Neural Attention-based Model Qixin Wang, Tianyi Luo, Dong Wang and Chao Xing
(1827) Towards a White Box Approach to Automated Algorithm Design Steven Adriaensen and Ann Nowé
(1830) Graph Quality Judgement: A Large Margin Expedition Yu-Feng Li, Shao-Bo Wang and Zhi-Hua Zhou
(1839) Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models Anne-Marie George, Nic Wilson and Barry O'Sullivan
(1840) Multi-view Learning with Limited and Noisy Tagging Yingming Li, Ming Yang, Zhongfei Zhang and Zenglin Xu
(1845) Optimal Interdiction of Illegal Network Flow Qingyu Guo, Bo An, Yair Zick and Chunyan Miao
(1848) Equivalent Stream Reasoning Programs Harald Beck, Minh Dao-Tran and Thomas Eiter
(1852) A Discriminative Approach to Grounded Natural Language Learning in Interactive Robotics Emanuele Bastianelli, Danilo Croce, Andrea Vanzo, Roberto Basili and Daniele Nardi
(1862) Personalizing EEG-based Affective Models with Transfer Learning Wei-Long Zheng and Bao-Liang Lu
(1866) Simulating Human Inferences in the Light of New Information: A Formal Analysis Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner
(1868) Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus Liping Xiong and Yongmei Liu
(1884) Connecting Qualitative Spatial and Temporal Representations by Propositional Closure Diedrich Wolter and Jae Hee Lee
(1887) Ontology-Mediated Queries Distributing Over Components Gerald Berger and Andreas Pieris
(1891) Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction Wei Zhang, Quan Yuan, Jiawei Han and Jianyong Wang
(1893) Derivative-Free Optimization of High-Dimensional Non-Convex Functions by Sequential Random Embeddings Hong Qian, Yi-Qi Hu and Yang Yu
(1898) Sparsity Conditional Energy Label Distribution Learning for Age Estimation Xu Yang, Xin Geng and De-Yu Zhou
(1904) Scene Text Detection in Video by Learning Locally and Globally Wei-Yi Pei, Shu Tian and Xu-Cheng Yin
(1908) Structural Symmetries for Fully Observable Nondeterministic Planning Dominik Winterer, Martin Wehrle and Michael Katz
(1915) A Clause Tableaux Calculus for MaxSAT Chu-Min Li, Felip Manya and Joan Ramon Soler
(1919) Bounds for Learning from Evolutionary-Related Data in the Realizable Case Ondřej Kuželka, Yuyi Wang and Jan Ramon
(1925) Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods Dmitry Moor, Tobias Grubenmann, Sven Seuken and Abraham Bernstein
(1941) On State-Dominance Criteria in Fork-Decoupled Search Álvaro Torralba, Daniel Gnad, Patrick Dubbert and Joerg Hoffmann
(1947) Abstraction Heuristics for Symbolic Bidirectional Search Álvaro Torralba, Carlos Linares Lopez and Daniel Borrajo
(1966) Counting Linear Extensions of Sparse Posets Juho-Kustaa Kangas, Teemu Hankala, Teppo Niinimäki and Mikko Koivisto
(1974) On the impact of modal depth in epistemic planning Tristan Charrier, Bastien Maubert and Francois Schwarzentruber
(1985) Transfer Hashing with Privileged Information Joey Tianyi Zhou, Xinxing Xu, Sinno Jialin Pan, Ivor Tsang, Qin Zheng and Rick Siow Mong Goh
(1986) Dynamic Early Stopping for Naive Bayes Aäron Verachtert, Jesse Davis and Hendrik Blockeel
(1987) PAC Greedy Maximisation with Efficient Bounds on Information Gain for Sensor Selection. Yash Satsangi, Shimon Whiteson and Frans Oliehoek
(1990) In Search of Tractability for Partial Satisfaction Planning Michael Katz and Vitaly Mirkis
(1995) Learning Possibilistic Logic Theories from Default Rules Ondřej Kuželka, Jesse Davis and Steven Schockaert
(1996) Graph-Based Factorization of Classical Planning Problems Martin Wehrle, Silvan Sievers and Malte Helmert
(2009) Asynchronous Accelerated Stochastic Gradient Descent Qi Meng, Wei Chen, Jingcheng Yu, Taifeng Wang and Tieyan Liu
(2011) Verifying existence of resource-bounded coalition uniform strategies Natasha Alechina, Mehdi Dastani and Brian Logan
(2014) Incomplete Causal Laws in the Situation Calculus using Free Fluents Marcelo Arenas, Jorge Baier, Juan Navarro and Sebastian Sardina
(2015) Multiple Constraint Acquisition Robin Arcangioli, Christian Bessiere and Nadjib Lazaar
(2020) Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition Tao Han, Hailong Sun, Yangqiu Song, Yili Fang and Xudong Liu
(2021) Incentivizing Reliability in Demand-Side Response Hongyao Ma, Valentin Robu, Na Li and David C. Parkes
(2032) A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty Shaofei Chen, Tim Baarslag, Dengji Zhao, Jing Chen and Lincheng Shen
(2052) Learning Higher-Order Logic Programs through Abstraction and Invention Andrew Cropper and Stephen Muggleton
(2062) Online Mechanism Design for Vehicle-to-Grid Car Parks Enrico Gerding, Sebastian Stein, Sofia Ceppi and Valentin Robu
(2073) Efficient Collaborative Filtering with Side Information Feipeng Zhao and Yuhong Guo
(2077) Change Detection using Directional Statistics Tsuyoshi Ide, Dzung Phan and Jayant Kalagnanam
(2080) Learning Unified Features from Natural and Progrmming Languages for Locating Buggy Source Codes Xuan Huo, Ming Li and Zhi-Hua Zhou
(2088) Batch-Switching Policy Iteration Shivaram Kalyanakrishnan, Utkarsh Mall and Ritish Goyal
(2090) Leviathan: a new LTL satisfiability checking tool based on a one-pass tree-shaped tableau Matteo Bertello, Nicola Gigante, Angelo Montanari and Mark Reynolds
(2092) Automated Mechanism Design without Money via Machine Learning Harikrishna Narasimhan, Shivani Agarwal and David Parkes
(2102) Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning Thomas Moerland, Joost Broekens and Catholijn Jonker
(2126) $\exists$-STRIPS: Existential Quantification in Planning and Constraint Satisfaction Guillem Francès and Hector Geffner
(2127) Constraint Acquisition using Recommendation Queries Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere and El Houssine Bouyakhf
(2139) Nash equilibria and their elimination in resource games Nicolas Troquard
(2142) Three strategies to success: Learning adversary models in security games Nika Haghtalab, Fei Fang, Thanh Nguyen, Arunesh Sinha, Ariel Procaccia and Milind Tambe
(2148) Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming Steffen Michels, Arjen Hommersom and Peter Lucas
(2151) Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl and Antonius Weinzierl
(2160) Efficient Local Search in Coordination Games on Graphs Sunil Easaw Simon and Dominik Wojtczak
(2164) Learning Multi-Step Predictive State Representations Lucas Langer, Borja Balle and Doina Precup
(2171) Tight Policy Regret Bounds for Improving and Decaying Bandits Hoda Heidari, Michael Kearns and Aaron Roth
(2173) Plan Recognition as Planning Revisited Shirin Sohrabi, Anton Riabov and Octavian Udrea
(2174) Sum-Product-Max Networks for Tractable Decision Making Mazen Melibari, Pascal Poupart and Prashant Doshi
(2178) Distributed Decoupling Of Multiagent Simple Temporal Problems Jayanth Krishna Mogali, Stephen Smith and Zachary Rubinstein
(2185) On Logics of Strategic Ability based on Propositional Control Francesco Belardinelli and Andreas Herzig
(2191) The Complexity of Norm Synthesis and Recognition in Normative Multiagent Systems Xiaowei Huang, Ji Ruan, Qingliang Chen and Kaile Su
(2201) Using Message-passing DCOP Algorithms to Solve Energy-efficient Smart Environment Configuration Problems Pierre Rust, Gauthier Picard and Fano Ramparany
(2220) Role Assignment for Game-Theoretic Cooperation Catherine Moon and Vincent Conitzer
(2228) Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application Xiao-Feng Xie and Zun-Jing Wang
(2232) Completion of Disjunctive Logic Programs Mario Alviano and Carmine Dodaro
(2233) Normative Practical Reasoning via Argumentation and Dialogue Zohreh Shams, Marina De Vos, Nir Oren and Julian Padget
(2243) Constructive Preference Elicitation by Setwise Max-margin Learning Stefano Teso, Andrea Passerini and Paolo Viappiani
(2260) Comparing Search Algorithms using Sorting and Hashing on Disk and in Memory Richard Korf
(2263) Version space reduction based on ensembles of dissimilar balanced Perceptrons Karen Braga Enes, Saulo Moraes Villela and Raul Fonseca Neto
(2264) Making Robots Proactive through Equilibrium Maintenance Jasmin Grosinger, Federico Pecora and Alessandro Saffiotti
(2269) Goal Recognition Design with Stochastic Agent Action Outcomes Christabel Wayllace, Ping Hou, William Yeoh and Tran Cao Son
(2272) Opinion Dynamics with Local Interactions Dimitris Fotakis, Dimitris Palyvos-Giannas and Stratis Skoulakis
(2274) Investigating the Relationship between Argumentation Semantics via Signatures Paul Dunne, Thomas Linsbichler, Christof Spanring and Stefan Woltran
(2277) Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations Hang Yin, Patricia Alves-Olivera, Francesco S. Melo, Aude Billard and Ana Paiva
(2280) Situation Testing-Based Discrimination Discovery: An Causal Inference Approach Lu Zhang, Yongkai Wu and Xintao Wu
(2282) StalemateBreaker: A Proactive Content Introducing Approach for Automatic Human-Computer Conversation Xiang Li, Rui Yan, Lili Mou and Ming Zhang
(2283) Linear Arithmetic Satisfiability via Strategy Improvement Azadeh Farzan and Zachary Kincaid
(2290) Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies Georgios Methenitis, Michael Kaisers and Han La Poutré
(2291) A Characterization of the Semantics of Logic Programs with Aggregates Yuanlin Zhang and Maede Rayatidamavandi
(2295) Planning for a Single Agent in a Multi-Agent Environment Using FOND Christian Muise, Paolo Felli, Tim Miller, Adrian Pearce and Liz Sonenberg
(2296) Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate Jason St. Jacques, David Toman and Grant Weddell
(2303) Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov and Michael Zakharyaschev
(2306) Limited Discrepancy AND/OR Search Javier Larrosa, Emma Rollon and Rina Dechter
(2308) Constrained Local Latent Variable Discovery Tian Gao and Qiang Ji
(2312) Which Contingent Events to Observe for the Dynamic Controllability of a Plan Arthur Bit-Monnot, Malik Ghallab and Felix Ingrand
(2315) Solving M-Modes Using Heuristic Search Cong Chen, Changhe Yuan and Chao Chen
(2318) Misrepresentation in District Voting Yoad Lewenberg, Yoram Bachrach, Yair Zick and Omer Lev
(2320) Cold-start recommendations for audio news stories using matrix factorization Ehsan Mohammady Ardehaly, Aron Culotta, Vivek Sundararaman and Alwar Narayanan
(2338) Trembling Hand Equilibria of Plurality Voting Svetlana Obraztsova, Zinovi Rabinovich, Edith Elkind, Maria Polukarov and Nick Jennings
(2341) Conditional and Sequential Approval Voting on Combinatorial Domains Nathanaël Barrot and Jérôme Lang
(2347) Modeling and Reasoning about NTU Games via Answer Set Programming Giovanni Amendola, Gianluigi Greco, Nicola Leone and Pierfrancesco Veltri
(2350) Entity Embedding-based Anomaly Detection for Heterogeneous Categorical Events Ting Chen, Lu-An Tang, Yizhou Sun, Zhengzhang Chen and Kai Zhang
(2362) Informed Expectations to Guide GDA Agents in Partially Observable Environments Dustin Dannenhauer, Hector Munoz-Avila and Michael Cox
(2364) Coco: Runtime Reasoning about Conflicting Commitments Nirav Ajmeri, Jiaming Jiang, Rada Chirkova, Jon Doyle and Munindar P. Singh
(2368) Answering metaqueries over Hi(OWL 2 QL) ontologies Maurizio Lenzerini, Lorenzo Lepore and Antonella Poggi
(2374) Expressivity of Datalog Variants -- Completing the Picture Sebastian Rudolph and Michaël Thomazo
(2385) Achieving proportional representation in conference programs Ioannis Caragiannis, Laurent Gourves and Jerome Monnot
(2392) Co-Optimization Multi-Agent Placement with Task Assignment and Scheduling Chongjie Zhang and Julie Shah
(2394) Nonlinear Hierarchical Part-based Regression for Unconstrained Face Alignment Xiang Yu, Shaoting Zhang and Dimitris Metaxas
(2399) Trading On A Rigged Game: Outcome Manipulation In Prediction Markets Mithun Chakraborty and Sanmay Das
(2407) A SAT-based Approach for Mining Association Rules Abdelhamid Boudane, Said Jabbour, Lakhdar Sais and Yakoub Salhi
(2421) An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets Elaine Wah, Sebastien Lahaie and David Pennock
(2422) Asymptotically tight bounds for inefficiency in risk-averse selfish routing Thanasis Lianeas, Evdokia Nikolova and Nicolas Stier-Moses
(2426) Learning to Detect Concepts from Webly-Labeled Video Data Junwei Liang, Lu Jiang, Deyu Meng and Alex Hauptmann
(2430) A Generalized Matching Pursuit Approach for Graph-Structured Sparsity Feng Chen and Baojian Zhou
(2435) Ranking Constraints Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan and Toby Walsh
(2444) Preferential Query Answering over the Semantic Web with Possibilistic Networks Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava and Oana Tifrea-Marciuska
(2450) Tree-state based Rule Selection Models for Hierarchical Phrase-based Machine Translation Shujian Huang, Huifeng Sun, Chengqi Zhao, Jinsong Su, Xinyu Dai and Jiajun Chen
(2451) Allocating Indivisible Items in Categorized Domains Erika Mackin and Lirong Xia
(2460) A POMDP Approach to Influence Diagram Evaluation Eric Hansen, Jinchuan Shi and Arindam Khaled
(2466) Epistemic boolean games based on a logic of visibility and control Andreas Herzig, Emiliano Lorini, Faustine Maffre and Francois Schwarzentruber
(2472) Canonical Orderings on Grids Nathan Sturtevant and Steve Rabin
(2477) Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory Networks Wookhee Min, Bradford Mott, Jonathan Rowe, Barry Liu and James Lester
(2480) Driver Frustration Detection From Audio and Video in the Wild Irman Abdić, Lex Fridman, Daniel McDuff, Erik Marchi, Bryan Reimer and Björn Schuller
(2484) Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz, Ciaran O'Reilly, Vibhav Gogate and Rina Dechter
(2485) Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty Timothy Yee, Viliam Lisy and Michael Bowling
(2494) Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral Coverage Ross Conroy, Yifeng Zeng and Jing Tang
(2526) Object-based World Modeling in Semi-Static Environments with Dependent Dirichlet Process Mixtures Lawson L.S. Wong, Thanard Kurutach, Tomas Lozano-Perez and Leslie Pack Kaelbling
(2527) Plan Synthesis for Knowledge and Action Bases Diego Calvanese, Marco Montali, Fabio Patrizi and Michele Stawowy
(2530) Distance Based Modeling of Interactions in Structured Regression Ivan Stojkovic, Vladisav Jelisavcic, Veljko Milutinovic and Zoran Obradovic
(2531) Congestion Games with Polytopal Strategy Spaces Hau Chan and Albert Jiang
(2537) Learning Predictive State Representations via Monte-Carlo Tree Search Yunlong Liu, Hexing Zhu, Yifeng Zeng and Zongxiong Dai
(2543) Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries Víctor Gutiérrez Basulto, Jean Christoph Jung and Roman Kontchakov
(2557) Correlated Voting Debmalya Mandal and David Parkes
(2561) Constructing Abstraction Hierarchies Using a Skill-Symbol Loop George Konidaris
(2566) Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization Fei Peng and Tuomas Sandholm
(2568) Hierarchical Model Predictive Control for Navigation of Multi-Robot Systems Chao Huang, Xin Chen, Yifan Zhang, Xuandong Li, Shengchao Qin and Yifeng Zeng
(2588) Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing Ron Alford, Vikas Shivashankar, Mark Roberts, Jeremy Frank and David Aha
(2590) Empirical Risk Minimization for Metric Learning Using Privileged Information Xun Yang, Meng Wang, Luming Zhang and Dacheng Tao
(2594) Apprenticeship Scheduling: Learning to Schedule from Human Experts Matthew Gombolay, Reed Jensen, Jessica Stigile, Sung-Hyun Son and Julie Shah
(2597) Precision Instrument Targeting via Image Registration for the Mars 2020 Rover Gary Doran, Tara Estlin and David Thompson
(2600) Interactive Teaching Strategies for Agent Training Ofra Amir, Ece Kamar, Andrey Kolobov and Barbara Grosz
(2603) Measuring performance of peer prediction mechanisms using replicator dynamics Victor Shnayder, Rafael Frongillo and David Parkes
(2612) Mission Oriented Robust Multi-Team Formation and its Application to Robot Rescue Simulation Tony Ribeiro, Damien Bouchabou, Tenda Okimoto and Katsumi Inoue
(2613) Trend-Based Prediction of Spatial Change Xiaoyu Ge, Jae Hee Lee, Jochen Renz and Peng Zhang
(2617) Sequential planning for steering immune system adaptation Christian Kroer and Tuomas Sandholm
(2629) Learning Multi-Modal Grounded Linguistic Semantics by Playing I, Spy Jesse Thomason, Jivko Sinapov, Max Svetlik, Peter Stone and Raymond Mooney
(2635) Grounding Topic Models with Knowledge Bases Zhiting Hu, Gang Luo, Mrinmaya Sachan, Zaiqing Nie and Eric Xing
(2639) A Distributed Large Scale Machine Learning Mechanism for Least Square Problems Hongliang Guo and Jianhua Li
(2642) Learning to Order Objects using Haptic and Proprioceptive Exploratory Behaviors Jivko Sinapov, Priyanka Khante, Maxwell Svetlik and Peter Stone
(2644) Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering Heng Zhang, Yan Zhang and Jia-Huai You
(2646) Improved Bounded-Suboptimal Multi-Agent Path Finding Solvers Liron Cohen, T. K. Satish Kumar, Tansel Uras, Hong Xu, Nora Ayanian and Sven Koenig
(2649) Question Answering via Integer Programming over Semi-Structured Knowledge Daniel Khashabi, Tushar Khot, Ashish Sabharwal, Peter Clark, Oren Etzioni and Dan Roth
(2663) Recognizing Opinion Sources Based on A New Categorization of Opinion Types Lingjia Deng and Janyce Wiebe
(2666) Controlling growing tasks with heterogeneous agents James Parker and Maria Gini
(2672) Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications Min Wen and Ufuk Topcu
(2678) Transfer Learning with Active Queries from Source Domain Sheng-Jun Huang and Songcan Chen
(2679) Dimensionally Guided Synthesis of Mathematical Word Problems Ke Wang and Zhendong Su
(2708) Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous Agents Julio Godoy, Ioannis Karamouzas, Stephen Guy and Maria Gini
(2723) Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping Wonsung Lee, Youngmin Lee, Heeyoung Kim and Il-Chul Moon
(2730) Truthfulness of a Proportional Sharing Mechanism in Resource Exchange Yukun Cheng, Xiaotie Deng, Qi Qi and Xiang Yan
(2754) Scalable Greedy Algorithms for Task/Resource Constrained Multi-Agent Stochastic Planning Pritee Agrawal, Pradeep Varakantham and William Yeoh
(2759) AI for Cognitive Film Studies - Semantic Q/A with Video and Eye-Tracking Data for Analysing Human Visual Perception Jakob Suchan and Mehul Bhatt
(2760) Predictive models of malicious behavior in human negotiations Zahra Nazari and Jonathan Gratch
(2764) DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations Eun-Sol Kim, Kyoung-Woon On and Byoung-Tak Zhang
(2771) Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from Videos Mohammed Salem, Azadeh Alavi and Rama Chellappa
(2779) Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems Supriyo Ghosh, Michael Trick and Pradeep Varakantham
(2785) Bayesian Reinforcement Learning with Behavioral Feedback Teakgyu Hong, Jongmin Lee, Kee-Eung Kim, Pedro A. Ortega and Daniel Lee
(2787) A Robust Convex Formulations for Ensemble Clustering Junning Gao, Makoto Yamada, Samuel Kaski, Hiroshi Mamitsuka and Shanfeng Zhu
(2792) Towards Zero Unknown Word in Neural Machine Translation Xiaoqing Li, Jiajun Zhang and Chengqing Zong
(2801) On the Representation and Embedding of Knowledge Bases Beyond Binary Relations Jianfeng Wen, Jianxin Li, Yongyi Mao, Shini Chen and Richong Zhang
(2802) Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny and Pierre Marquis
(2807) Neural Network Translation Models for Grammatical Error Correction Shamil Chollampatt, Kaveh Taghipour and Hwee Tou Ng
(2808) How to Build Your Network? A Structural Analysis Anastasia Moskvina and Jiamou Liu
(2820) Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks Zhiguo Long, Michael Sioutis and Sanjiang Li
(2821) A Symbolic Closed-form Solution to Sequential Market Making with Inventory Shamin Kinathil, Scott Sanner, Sanmay Das and Nicolas Della Penna
(2824) Soft Margin Consistency Based Scalable Multi-View Maximum Entropy Discrimination Liang Mao and Shiliang Sun
(2827) Managing Overstaying Electric Vehicles in Park-and-Charge Facilities Ragavendran Gopalakrishnan, Arpita Biswas and Partha Dutta
(2831) Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction Duc Tam Hoang, Shamil Chollampatt and Hwee Tou Ng
(2832) Bias in Algorithm Portfolio Performance Evaluation Chris Cameron, Holger Hoos and Kevin Leyton-Brown
(2833) Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations Ragavendran Gopalakrishnan, Arpita Biswas, Alefiya Lightwala, Skanda Vasudevan, Partha Dutta and Abhishek Tripathi
(2861) Learning Compact Neural Word Embeddings by Parameter Space Sharing Jun Suzuki and Masaaki Nagata
(2865) State-dependent Cost Partitionings for Cartesian Abstractions in Classical Planning Thomas Keller, Florian Pommerening, Jendrik Seipp, Florian Geißer and Robert Mattmüller
(2877) Automated Synthesis of Timed Failure Propagation Graphs Benjamin Bittner, Marco Bozzano and Alessandro Cimatti
(2881) Automatic Generation of High-Level State Features for Generalized Planning Damir Lotinac, Javier Segovia, Sergio Jimenez and Anders Jonsson
(2884) Decision Procedure for a Fragment of Linear Time Mu-Calculus Yao Liu, Zhenhua Duan and Cong Tian
(2887) Knowledge Compilation Meets Communication Complexity Simone Bova, Florent Capelli, Stefan Mengel and Friedrich Slivovsky
(2902) Hierarchical Finite State Controllers for Generalized Planning Javier Segovia, Sergio Jimenez and Anders Jonsson
(2903) Blind Search for Atari-like Online Planning Revisited Alexander Shleyfman, Alexander Tuisov and Carmel Domshlak
(2910) Parallel Behavior Composition for Manufacturing Paolo Felli, Sebastian Sardina and Brian Logan
New York City
9th-15th July, 2016
