Sponsored by the Association for the Advancement of Artificial Intelligence

Blai Bonet and Sven Koenig, Program Cochairs.

January 25 –30, 2015, Austin, Texas USA. Published by The AAAI Press, Palo Alto, California. This proceedings is also available in book format.

Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. PDF file sizes may be large!

Contents

AI and the Web

Efficient Top-k Shortest-Path Distance Queries on Large Networks by Pruned Landmark Labeling / 2
Takuya Akiba, Takanori Hayashi, Nozomi Nori, Yoichi Iwata, Yuichi Yoshida

Inferring Same-As Facts from Linked Data: An Iterative Import-by-Query Approach / 9
Mustafa Al-Bakri, Manuel Atencia, Steffen Lalande, Marie-Christine Rousset

A Personalized Interest-Forgetting Markov Model for Recommendations / 16
Jun Chen, Chaokun Wang, Jianmin Wang

Will You "Reconsume" the Near Past? Fast Prediction on Short-Term Reconsumption Behaviors / 23
Jun Chen, Chaokun Wang, Jianmin Wang

VELDA: Relating an Image Tweet’s Text and Images / 30
Tao Chen, Hany M. SalahEldeen, Xiangnan He, Min-Yen Kan, Dongyuan Lu

On Information Coverage for Location Category Based Point-of-Interest Recommendation / 37
Xuefeng Chen, Yifeng Zeng, Gao Cong, Shengchao Qin, Yanping Xiang, Yuanshun Dai

Visually Interpreting Names as Demographic Attributes by Exploiting Click-Through Data / 44
Yan-Ying Chen, Yin-Hsi Kuo, Chun-Che Wu, Winston H. Hsu

A New Granger Causal Model for Influence Evolution in Dynamic Social Networks: The Case of DBLP / 51
Belkacem Chikhaoui, Mauricio Chiazzaro, Shengrui Wang

An Axiomatic Approach to Link Prediction / 58
Sara Cohen, Aviv Zohar

Perceiving Group Themes from Collective Social and Behavioral Information / 65
Peng Cui, Tianyang Zhang, Fei Wang, Peng He

Predicting the Demographics of Twitter Users from Website Traffic Data / 72
Aron Culotta, Nirmal Ravi Kumar, Jennifer Cutler

High-Performance Distributed ML at Scale through Parameter Server Consistency Models / 79
Wei Dai, Abhimanu Kumar, Jinliang Wei, Qirong Ho, Garth Gibson, Eric P. Xing

An EBMC-Based Approach to Selecting Types for Entity Filtering / 88
Jiwei Ding, Wentao Ding, Wei Hu, Yuzhong Qu

Trust Models for RDF Data: Semantics and Complexity / 95
Valeria Fionda, Gianluigi Greco

Extended Property Paths: Writing More SPARQL Queries in a Succinct Way / 102
Valeria Fionda, Giuseppe Pirrò, Mariano P. Consens

Lower and Upper Bounds for SPARQL Queries over OWL Ontologies / 109
Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos Stamou

FACES: Diversity-Aware Entity Summarization Using Incremental Hierarchical Conceptual Clustering / 116
Kalpa Gunaratna, Krishnaparasad Thirunarayan, Amit Sheth

TrustSVD: Collaborative Filtering with Both the Explicit and Implicit Influence of User Trust and of Item Ratings / 123
Guibing Guo, Jie Zhang, Neil Yorke-Smith

A Stochastic Model for Detecting Heterogeneous Link Communities in Complex Networks / 130
Dongxiao He, Dayou Liu, Di Jin, Weixiong Zhang

Prajna: Towards Recognizing Whatever You Want from Images without Image Labeling / 137
Xian-Sheng Hua, Jin Li

Kernel Density Estimation for Text-Based Geolocation / 145
Mans Hulden, Miikka Silfverberg, Jerid Francom

Cross-Modal Image Clustering via Canonical Correlation Analysis / 151
Cheng Jin, Wenhui Mao, Ruiqi Zhang, Yuejie Zhang, Xiangyang Xue

Modeling with Node Degree Preservation Can Accurately Find Communities / 160
Di Jin, Zheng Chen, Dongxiao He, Weixiong Zhang

Estimating Temporal Dynamics of Human Emotions / 168
Seungyeon Kim, Joonseok Lee, Guy Lebanon, Haesun Park

Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes / 175
Patrick Koopmann, Renate A. Schmidt

Using Matched Samples to Estimate the Effects of Exercise on Mental Health via Twitter / 182
Virgile Landeiro Dos Reis, Aron Culotta

Consistent Knowledge Discovery from Evolving Ontologies / 189
Freddy Lecue, Jeff Z Pan

Multi-Document Summarization Based on Two-Level Sparse Representation Model / 196
He Liu, Hongliang Yu, Zhi-Hong Deng

COT: Contextual Operating Tensor for Context-Aware Recommender Systems / 203
Qiang Liu, Shu Wu, Liang Wang

Effectively Predicting Whether and When a Topic Will Become Prevalent in a Social Network / 210
Weiwei Liu, Zhi-Hong Deng, Xiuwen Gong, Frank Jiang, Ivor W. Tsang

Content-Based Collaborative Filtering for News Topic Recommendation / 217
Zhongqi Lu, Zhicheng Dou, Jianxun Lian, Xing Xie, Qiang Yang

A Tri-Role Topic Model for Domain-Specific Question Answering / 224
Zongyang Ma, Aixin Sun, Quan Yuan, Gao Cong

Handling Owl:sameAs via Rewriting / 231
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Incorporating Assortativity and Degree Dependence into Scalable Network Models / 238
Stephen Mussmann, John Moore, Joseph John Pfeiffer, Jennifer Neville

Using Description Logics for RDF Constraint Checking and Closed-World Recognition / 247
Peter F. Patel-Schneider

Approximating Model-Based ABox Revision in DL-Lite: Theory and Practice / 254
Guilin Qi, Zhe Wang, Kewen Wang, Xuefeng Fu, Zhiqiang Zhuang

Leveraging Social Foci for Information Seeking in Social Media / 261
Suhas Ranganath, Jiliang Tang, Xia Hu, Hari Sundaram, Huan Liu

Extracting Bounded-Level Modules from Deductive RDF Triplestores / 268
Marie-Christine Rousset, Federico Ulliana

Question/Answer Matching for CQA System via Combining Lexical and Sequential Information / 275
Yikang Shen, Wenge Rong, Zhiwei Sun, Yuanxin Ouyang, Zhang Xiong

A Hybrid Approach of Classifier and Clustering for Solving the Missing Node Problem / 282
Sigal Sina, Avi Rosenfeld, Sarit Kraus, Navot Akiva

Recommending Positive Links in Signed Social Networks by Optimizing a Generalized AUC / 290
Dongjin Song, David A Meyer

Causal Inference via Sparse Additive Models with Application to Online Advertising / 297
Wei Sun, Pengyuan Wang, Dawei Yin, Jian Yang, Yi Chang

Sampling Representative Users from Large Social Networks / 304
Jie Tang, Chenhui Zhang, Keke Cai, Li Zhang, Zhong Su

Relating Romanized Comments to News Articles by Inferring Multi-Glyphic Topical Correspondence / 311
Goutham Tholpadi, Mrinal Kanti Das, Trapit Bansal, Chiranjib Bhattacharyya

Mining User Intents in Twitter: A Semi-Supervised Approach to Inferring Intent Categories for Tweets / 318
Jinpeng Wang, Gao Cong, Xin Wayne Zhao, Xiaoming Li

Burst Time Prediction in Cascades / 325
Senzhang Wang, Zhao Yan, Xia Hu, Philip S. Yu, Zhoujun Li

Clustering-Based Collaborative Filtering for Link Prediction / 332
Xiangyu Wang, Dayu He, Danyang Chen, Jinhui Xu

Mining Query Subtopics from Questions in Community Question Answering / 339
Yu Wu, Wei Wu, Zhoujun Li, Ming Zhou

DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization / 346
Miao Xie, Qiusong Yang, Qing Wang, Gao Cong, Gerard de Melo

A Probabilistic Model for Bursty Topic Discovery in Microblogs / 353
Xiaohui Yan, Jiafeng Guo, Yanyan Lan, Jun Xu, Xueqi Cheng

On the Scalable Learning of Stochastic Blockmodel / 360
Bo Yang, Xuehua Zhao

RAIN: Social Role-Aware Information Diffusion / 367
Yang Yang, Jie Tang, Cane Wing-ki Leung, Yizhou Sun, Qicong Chen, Juanzi Li, Qiang Yang

Collaborative Topic Ranking: Leveraging Item Meta-Data for Sparsity Reduction / 374
Weilong Yao, Jing He, Hua Wang, Yanchun Zhang, Jie Cao

Robust Image Sentiment Analysis Using Progressively Trained and Domain Transferred Deep Networks / 381
Quanzeng You, Jiebo Luo, Hailin Jin, Jianchao Yang

Are Features Equally Representative? A Feature-Centric Recommendation / 389
Chenyi Zhang, Ke Wang, Ee-peng Lim, Qinneng Xu, Jianling Sun, Hongkun Yu

Incorporating Implicit Link Preference Into Overlapping Community Detection / 396
Hongyi Zhang, Irwin King, Michael R. Lyu

Retweet Behavior Prediction Using Hierarchical Dirichlet Process / 403
Qi Zhang, Yeyun Gong, Ya Guo, Xuanjing Huang

Exploring Key Concept Paraphrasing Based on Pivot Language Translation for Question Retrieval / 410
Wei-Nan Zhang, Zhao-Yan Ming, Yu Zhang, Ting Liu, Tat-Seng Chua

Representation Learning for Aspect Category Detection in Online Reviews / 417
Xinjie Zhou, Xiaojun Wan, Jianguo Xiao

Applications

Person Identification Using Anthropometric and Gait Data from Kinect Sensor / 425
Virginia Ortiz Andersson, Ricardo Matsumura Araujo

R1SVM: A Randomised Nonlinear Approach to Large-Scale Anomaly Detection / 432
Sarah M. Erfani, Mahsa Baktashmotlagh, Sutharshan Rajasegarar, Shanika Karunasekera, Chris Leckie

Personalized Tag Recommendation through Nonlinear Tensor Factorization Using Gaussian Kernel / 439
Xiaomin Fang, Rong Pan, Guoxiang Cao, Xiuqiang He, Wenyuan Dai

A Multivariate Timeseries Modeling Approach to Severity of Illness Assessment and Forecasting in ICU with Sparse, Heterogeneous Clinical Data / 446
Marzyeh Ghassemi, Marco A.F. Pimentel, Tristan Naumann, Thomas Brennan, David A. Clifton, Peter Szolovits, Mengling Feng

Probabilistic Graphical Models for Boosting Cardinal and Ordinal Peer Grading in MOOCs / 454
Fei Mi, Dit-Yan Yeung

Efficient Computation of Semivalues for Game-Theoretic Network Centrality / 461
Piotr Lech Szczepański, Mateusz Krzysztof Tarkowski, Tomasz Paweł Michalak, Paul Harrenstein, Michael Wooldridge

Embedded Unsupervised Feature Selection / 470
Suhang Wang, Jiliang Tang, Huan Liu

Learning User-Specific Latent Influence and Susceptibility from Information Cascades / 477
Yongqing Wang, Huawei Shen, Shenghua Liu, Xueqi Cheng

Cognitive Modeling

Kickback Cuts Backprop's Red-Tape: Biologically Plausible Credit Assignment in Neural Networks / 485
David Balduzzi, Hastagiri Vanchinathan, Joachim Buhmann

An Agent-Based Model of the Emergence and Transmission of a Language System for the Expression of Logical Combinations / 492
Josefina Sierra-Santibanez

Cognitive Systems

Moral Decision-Making by Analogy: Generalizations versus Exemplars / 501
Joseph A. Blass, Kenneth D. Forbus

AffectiveSpace 2: Enabling Affective Intuition for Concept-Level Sentiment Analysis / 508
Erik Cambria, Jie Fu, Federica Bisio, Soujanya Poria

Dialogue Understanding in a Logic of Action and Belief / 515
Alfredo Gabaldon, Pat Langley

Automated Construction of Visual-Linguistic Knowledge via Concept Learning from Cartoon Videos / 522
Jung-Woo Ha, Kyung-Min Kim, Byoung-Tak Zhang

Bayesian Affect Control Theory of Self / 529
Jesse Hoey, Tobias Schroeder

Heuristic Induction of Rate-Based Process Models / 537
Pat Langley, Adam Arvay

Spontaneous Retrieval from Long-Term Memory for a Cognitive Architecture / 544
Justin Li, John Laird

Learning Plausible Inferences from Semantic Web Knowledge by Combining Analogical Generalization with Structured Logistic Regression / 551
Chen Liang, Kenneth D. Forbus

Ontology-Based Information Extraction with a Cognitive Agent / 558
Peter Lindes, Deryle W. Lonsdale, David W. Embley

Extending Analogical Generalization with Near-Misses / 565
Matthew D. McLure, Scott E. Friedman, Kenneth D. Forbus

Automatic Ellipsis Resolution: Recovering Covert Information from Text / 572
Marjorie McShane, Petr Babkin

Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner / 579
Daniel R. Schlegel, Stuart C Shapiro

An Entorhinal-Hippocampal Model for Simultaneous Cognitive Map Building / 586
Miaolong Yuan, Bo Tian, Vui Ann Shim, Huajin Tang, Haizhou Li

An Association Network for Computing Semantic Relatedness / 593
Keyang Zhang, Kenny Zhu, Seung-won Hwang

Computational Sustainability and AI

Influence-Driven Model for Time Series Prediction from Partial Observations / 601
Saima Aman, Charalampos Chelmis, Viktor K. Prasanna

Sharing Rides with Friends: A Coalition Formation Algorithm for Ridesharing / 608
Filippo Bistaffa, Alessandro Farinelli, Sarvapali D. Ramchurn

Best-Response Planning of Thermostatically Controlled Loads under Power Constraints / 615
Frits de Nijs, Matthijs T. J. Spaan, Mathijs M. de Weerdt

FutureMatch: Combining Human Value Judgments and Machine Learning to Match in Dynamic Environments / 622
John P. Dickerson, Tuomas Sandholm

Energy Disaggregation via Learning Powerlets and Sparse Coding / 629
Ehsan Elhamifar, Shankar Sastry

Pattern Decomposition with Complex Combinatorial Constraints: Application to Materials Discovery / 636
Stefano Ermon, Ronan Le Bras, Santosh K. Suram, John M. Gregoire, Carla P. Gomes, Bart Selman, Robert B. van Dover

Learning Large-Scale Dynamic Discrete Choice Models of Spatio-Temporal Preferences with Application to Migratory Pastoralism in East Africa / 644
Stefano Ermon, Yexiang Xue, Russell Toth, Bistra Dilkina, Richard Bernstein, Theodoros Damoulas, Patrick Clark, Steve DeGloria, Andrew Mude, Christopher Barrett, Carla P. Gomes

A Nonparametric Online Model for Air Quality Prediction / 651
Vitor Campanholo Guizilini, Fabio Tozeto Ramos

Power System Restoration With Transient Stability / 658
Hassan Hijazi, Terrence W.K. Mak, Pascal Van Hentenryck

Aggregating Electric Cars to Sustainable Virtual Power Plants: The Value of Flexibility in Future Electricity Markets / 665
Micha Kahlen, Wolfgang Ketter

Energy Usage Behavior Modeling in Energy Disaggregation via Marked Hawkes Process / 672
Liangda Li, Hongyuan Zha

HVAC-Aware Occupancy Scheduling / 679
BoonPing Lim, Menkes van den Briel, Sylvie Thiebaux, Scott Backhaus, Russell Bent

Data Analysis and Optimization for (Citi)Bike Sharing / 687
Eoin O'Mahony, David B. Shmoys

Towards Optimal Solar Tracking: A Dynamic Programming Approach / 695
Athanasios Aris Panagopoulos, Georgios Chalkiadakis, Nicholas Robert Jennings

Risk Based Optimization for Improving Emergency Medical Systems / 702
Sandhya Saisubramanian, Pradeep Varakantham, Hoong Chuin Lau

Predisaster Preparation of Transportation Networks / 709
Hermann Schichl, Meinolf Sellmann

SmartShift: Expanded Load Shifting Incentive Mechanism for Risk-Averse Consumers / 716
Bochao Shen, Balakrishnan Narayanaswamy, Ravi Sundaram

Incentivizing Users for Balancing Bike Sharing Systems / 723
Adish Singla, Marco Santoni, Gábor Bartók, Pratik Mukerji, Moritz Meenen, Andreas Krause

A Simulator of Human Emergency Mobility Following Disasters: Knowledge Transfer from Big Disaster Data / 730
Xuan Song, Quanshi Zhang, Yoshihide Sekimoto, Ryosuke Shibasaki, Nicholas Jing Yuan, Xing Xie

Real-Time Predictive Optimization for Energy Management in a Hybrid Electric Vehicle / 737
Alexander David Styler, Illah Reza Nourbakhsh

Game Playing and Interactive Entertainment

Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games / 745
Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani

Continuity Editing for 3D Animation / 753
Quentin Galvane, Rémi Ronfard, Christophe Lino, Marc Christie

Game Theory and Economic Paradigms

Assessing the Robustness of Cremer-McLean with Automated Mechanism Design / 763
Michael Albert, Vincent Conitzer, Giuseppe Lopomo

Online Learning and Profit Maximization from Revealed Preferences / 770
Kareem Amin, Rachel Cummings, Lili Dworkin, Michael Kearns, Aaron Roth

Approximating Optimal Social Choice under Metric Preferences / 777
Elliot Anshelevich, Onkar Bhardwaj, John Postl

Justified Representation in Approval-Based Committee Voting / 784
Haris Aziz, Markus Brill, Vincent Conitzer, Edith Elkind, Rupert Freeman, Toby Walsh

Audit Games with Multiple Defender Resources / 791
Jeremiah Blocki, Nicolas Christin, Anupam Datta, Ariel D. Procaccia, Arunesh Sinha

Learning Valuation Distributions from Partial Observation / 798
Avrim Blum, Yishay Mansour, Jame Morgenstern

Sequence-Form Algorithm for Computing Stackelberg Equilibria in Extensive-Form Games / 805
Branislav Bosansky, Jiri Cermak

Combining Compact Representation and Incremental Generation in Large Games with Sequential Strategies / 812
Branislav Bosansky, Albert Xin Jiang, Milind Tambe, Christopher Kiekintveld

Strategic Voting and Strategic Candidacy / 819
Markus Brill, Vincent Conitzer

A Faster Core Constraint Generation Algorithm for Combinatorial Auctions / 827
Benedikt Bünz, Sven Seuken, Benjamin Lubin

Price Evolution in a Continuous Double Auction Prediction Market With a Scoring-Rule Based Market Maker / 835
Mithun Chakraborty, Sanmay Das, Justin Peabody

Computing Nash Equilibrium in Interdependent Defense Games / 842
Hau Chan, Luis Ortiz

Fair Information Sharing for Treasure Hunting / 851
Yiling Chen, Kobbi Nissim, Bo Waggoner

Conventional Machine Learning for Social Choice / 858
John A. Doucette, Kate Larson, Robin Cohen

The Complexity of Recognizing Incomplete Single-Crossing Preferences / 865
Edith Elkind, Piotr Faliszewski, Martin Lackner, Svetlana Obraztsova

A Unifying Hierarchy of Valuations with Complements and Substitutes / 872
Uriel Feige, Michal Feldman, Nicole Immorlica, Rani Izsak, Brendan Lucier, Vasilis Syrgkanis

Do Capacity Constraints Constrain Coalitions? / 879
Michal Feldman, Ofir Geri

A Mechanism Design Approach to Measure Awareness / 886
Diodato Ferraioli, Carmine Ventre, Gabor Aranyi

Facility Location with Double-Peaked Preferences / 893
Aris Filos-Ratsikas, Minming Li, Jie Zhang, Qiang Zhang

Elicitation for Aggregation / 900
Rafael M. Frongillo, Yiling Chen, Ian A. Kash

A Complexity Approach for Core-Selecting Exchange with Multiple Indivisible Goods under Lexicographic Preferences / 907
Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo

Security Games with Protection Externalities / 914
Jiarui Gan, Bo An, Yevgeniy Vorobeychik

Strategy-Proof and Efficient Kidney Exchange Using a Credit Mechanism / 921
Chen Hajaj, John P. Dickerson, Avinatan Hassidim, Tuomas Sandholm, David Sarne

Hedonic Coalition Formation in Networks / 929
Martin Hoefer, Daniel Vaz, Lisa Wagner

Matching with Dynamic Ordinal Preferences / 936
Hadi Hosseini, Kate Larson, Robin Cohen

On a Competitive Secretary Problem / 944
Anna Karlin, Eric Lei

Controlled School Choice with Soft Bounds and Overlapping Types / 951
Ryoji Kurata, Masahiro Goto, Atsushi Iwasaki, Makoto Yokoo

Optimal Personalized Filtering Against Spear-Phishing Attacks / 958
Aron Laszka, Yevgeniy Vorobeychik, Xenofon Koutsoukos

Stable Invitations / 965
Hooyeon Lee, Yoav Shoham

The Pricing War Continues: On Competitive Multi-Item Pricing / 972
Omer Lev, Joel Oren, Craig Boutilier, Jeffrey S. Rosenschein

Cooperative Game Solution Concepts that Maximize Stability under Noise / 979
Yuqian Li, Vincent Conitzer

Congestion Games with Distance-Based Strict Uncertainty / 986
Reshef Meir, David Parkes

On the Convergence of Iterative Voting: How Restrictive Should Restricted Dynamics Be? / 993
Svetlana Obraztsova, Evangelos Markakis, Maria Polukarov, Zinovi Rabinovich, Nicholas R. Jennings

Voting Rules As Error-Correcting Codes / 1000
Ariel D. Procaccia, Nisarg Shah, Yair Zick

Analysis of Equilibria in Iterative Voting Schemes / 1007
Zinovi Rabinovich, Svetlana Obraztsova, Omer Lev, Evangelos Markakis, Jeffrey S. Rosenschein

Incentives for Subjective Evaluations with Private Beliefs / 1014
Goran Radanovic, Boi Faltings

Envy-Free Cake-Cutting in Two Dimensions / 1021
Erel Segal-Halevi, Avinatan Hassidim, Yonatan Aumann

Truthful Mechanisms without Money for Non-Utilitarian Heterogeneous Facility Location / 1029
Paolo Serafino, Carmine Ventre

A Graphical Representation for Games in Partition Function Form / 1036
Oskar Skibski, Tomasz P. Michalak, Yuko Sakurai, Michael Wooldridge, Makoto Yokoo

A Stackelberg Game Approach for Incentivizing Participation in Online Educational Forums with Heterogeneous Student Population / 1043
Rohith Dwarakanath Vallam, Priyanka Bhatt, Debmalya Mandal, Narahari Y.

Mechanism Design for Team Formation / 1050
Mason Wright, Yevgeniy Vorobeychik

Exploring Information Asymmetry in Two-Stage Security Games / 1057
Haifeng Xu, Zinovi Rabinovich, Shaddin Dughmi, Milind Tambe

Balanced Trade Reduction for Dual-Role Exchange Markets / 1064
Dengji Zhao, Sarvapali D. Ramchurn, Enrico H. Gerding, Nicholas R. Jennings

Optimal Machine Strategies to Commit to in Two-Person Repeated Games / 1071
Song Zuo, Pingzhong Tang

Heuristic Search and Optimization

Optimal Column Subset Selection by A-Star Search / 1079
Hiromasa Arai, Crystal Maung, Haim Schweitzer

Limitations of Front-To-End Bidirectional Heuristic Search / 1086
Joseph K. Barker, Richard E. Korf

Incremental Weight Elicitation for Multiobjective State Space Search / 1093
Nawal Benabbou, Patrice Perny

Complexity Results for Compressing Optimal Paths / 1100
Adi Botea, Ben Strasser, Daniel Harabor

Two Weighting Local Search for Minimum Vertex Cover / 1107
Shaowei Cai, Jinkun Lin, Kaile Su

Efficient Benchmarking of Hyperparameter Optimizers via Surrogates / 1114
Katharina Eggensperger, Frank Hutter, Holger Hoos, Kevin Leyton-Brown

Convergent Plans for Large-Scale Evacuations / 1121
Caroline Even, Victor Pillac, Pascal Van Hentenryck

Initializing Bayesian Hyperparameter Optimization via Meta-Learning / 1128
Matthias Feurer, Jost Tobias Springenberg, Frank Hutter

Stochastic Local Search for Satisfiability Modulo Theories / 1136
Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi

Lagrangian Decomposition Algorithm for Allocating Marketing Channels / 1144
Daisuke Hatano, Takuro Fukunaga, Takanori Maehara, Ken-ichi Kawarabayashi

Recursive Best-First Search with Bounded Overhead / 1151
Matthew Hatem, Scott Kiesel, Wheeler Ruml

Reusing Previously Found A* Paths for Fast Goal-Directed Navigation in Dynamic Terrain / 1158
Carlos Hernandez, Roberto Asin, Jorge A Baier

Pruning Game Tree by Rollouts / 1165
Bojun Huang

Solving Distributed Constraint Optimization Problems Using Logic Programming / 1174
Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh

Value-Directed Compression of Large-Scale Assignment Problems / 1182
Tyler Lu, Craig Boutilier

On Unconstrained Quasi-Submodular Function Optimization / 1191
Jincheng Mei, Kang Zhao, Bao-Liang Lu

Improved Local Search for Binary Matrix Factorization / 1198
Seyed Hamid Mirisaee, Eric Gaussier, Alexandre Termier

A Theoretical Analysis of Optimization by Gaussian Continuation / 1205
Hossein Mobahi, John W. Fisher III

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization / 1212
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, Philippe Codognet

BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems / 1219
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata

Exploiting Variable Associations to Configure Efficient Local Search in Large-Scale Set Partitioning Problems / 1226
Shunji Umetani

Resilient Upgrade of Electrical Distribution Grids / 1233
Emre Yamangil, Russell Bent, Scott Backhaus

TDS+: Improving Temperature Discovery Search / 1241
Yeqin Zhang, Martin Müller

Massively Parallel A* Search on a GPU / 1248
Yichao Zhou, Jianyang Zeng

Human-Computation and Crowd Sourcing

Novel Mechanisms for Online Crowdsourcing with Unreliable, Strategic Agents / 1256
Praphul Chandra, Yadati Narahari, Debmalya Mandal, Prasenjit Dey

Acquiring Speech Transcriptions Using Mismatched Crowdsourcing / 1263
Preethi Jyothi, Mark Hasegawa-Johnson

Incentive Networks / 1270
Yuezhou Lv, Thomas Moscibroda

Collaboration in Social Problem-Solving: When Diversity Trumps Network Efficiency / 1277
Diego Noble, Marcelo Prates, Daniel Bossle, Luís Lamb

CrowdWON: A Modelling Language for Crowd Processes based on Workflow Nets / 1284
David Sanchez-Charles, Victor Muntes-Mulero, Marc Sole, Jordi Nin

On the Impossibility of Convex Inference in Human Computation / 1291
Nihar B. Shah, Dengyong Zhou

Crowdsourcing Complex Workflows under Budget Constraints / 1298
Long Tran-Thanh, Trung Dong Huynh, Avi Rosenfeld, Sarvapali D. Ramchurn, Nicholas R. Jennings

Efficient Task Sub-Delegation for Crowdsourcing / 1305
Han Yu, Chunyan Miao, Zhiqi Shen, Cyril Leung, Yiqiang Chen, Qiang Yang

Humans and AI

When Suboptimal Rules / 1313
Avshalom Elmalech, David Sarne, Avi Rosenfeld, Eden Shalom Erez

Providing Arguments in Discussions Based on the Prediction of Human Argumentative Behavior / 1320
Ariel Rosenfeld, Sarit Kraus

Predicting Emotion Perception Across Domains: A Study of Singing and Speaking / 1328
Biqiao Zhang, Emily Mower Provost, Robert Swedberg, Georg Essl

Integrated Systems

Learning to Manipulate Unknown Objects in Clutter by Reinforcement / 1336
Abdeslam Boularias, James Andrew Bagnell, Anthony Stentz

Bayesian Active Learning-Based Robot Tutor for Children's Word-Reading Skills / 1343
Goren Gordon, Cynthia Breazeal

RANSAC versus CS-RANSAC / 1350
Geun Sik Jo, Kee-Sung Lee, Devy Chandra, Chol-Hee Jang, Myung-Hyun Ga

Game-Theoretic Approach for Non-Cooperative Planning / 1357
Jaume Jordán, Eva Onaindia

Pattern-Based Variant-Best-Neighbors Respiratory Motion Prediction Using Orthogonal Polynomials Approximation / 1364
KinMing Kam, Shouyi Wang, Stephen R. Bowen, Wanpracha Chaovalitwongse

Toward Mobile Robots Reasoning Like Humans / 1371
Jean H Oh, Arne Suppé, Felix Duvallet, Abdeslam Boularias, Luis Navarro-Serment, Martial Hebert, Anthony Stentz, Jerry Vinokurov, Oscar Romero, Christian Lebiere, Robert Dean

Integration and Evaluation of a Matrix Factorization Sequencer in Large Commercial ITS / 1380
Carlotta Schatten, Ruth Janning, Lars Schmidt-Thieme

Going Beyond Literal Command-Based Instructions: Extending Robotic Natural Language Interaction Capabilities / 1387
Tom Williams, Gordon Briggs, Bradley Oosterveld, Matthias Scheutz

CORPP: Commonsense Reasoning and Probabilistic Planning, as Applied to Dialog with a Mobile Robot / 1394
Shiqi Zhang, Peter Stone

Tackling Mental Health by Integrating Unobtrusive Multimodal Sensing / 1401
Dawei Zhou, Jiebo Luo, Vincent M.B. Silenzio, Yun Zhou, Jile Hu, Glenn Currier, Henry Kautz

Knowledge Representation and Reasoning

Ontology Module Extraction via Datalog Reasoning / 1410
Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks

Tractable Interval Temporal Propositional and Description Logics / 1417
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

Action Language BC+: Preliminary Report / 1424
Joseph Babb, Joohyung Lee

LARS: A Logic-Based Framework for Analyzing Reasoning over Streams / 1431
Harald Beck, Minh Dao-Tran, Thomas Eiter, Michael Fink

Partial Meet Revision and Contraction in Logic Programs / 1439
Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang

Pearl's Causality in a Logical Setting / 1446
Alexander Bochman, Vladimir Lifschitz

Grounded Fixpoints / 1453
Bart Bogaerts, Joost Vennekens, Marc Denecker

Solving and Explaining Analogy Questions Using Semantic Networks / 1460
Adrian Boteanu, Sonia Chernova

asprin: Customizing Answer Set Preferences without a Headache / 1467
Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub

Exploiting Parallelism for Hard Problems in Abstract Argumentation / 1475
Federico Cerutti, Ilias Tachmazidis, Mauro Vallati, Sotirios Batsakis, Massimiliano Giacomin, Grigoris Antoniou

A Syntax-Independent Approach to Forgetting in Disjunctive Logic Programs / 1482
James Delgrande, Kewen Wang

Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies / 1489
Jianfeng Du, Kewen Wang, Yi-Dong Shen

On Computing Explanations in Argumentation / 1496
Xiuyi Fan, Francesca Toni

Parallelized Hitting Set Computation for Model-Based Diagnosis / 1503
Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin

Splitting a Logic Program Revisited / 1511
Jianmin Ji, Hai Wan, Ziwei Huo, Zhenfeng Yuan

On Elementary Loops and Proper Loops for Disjunctive Logic Programs / 1518
Jianmin Ji, Hai Wan, Peng Xiao

XPath for DL Ontologies / 1525
Egor V. Kostylev, Juan L. Reutter, Domagoj Vrgoc

An Abstract View on Modularity in Knowledge Representation / 1532
Yuliya Lierler, Miroslaw Truszczynski

Learning Partial Lexicographic Preference Trees over Combinatorial Domains / 1539
Xudong Liu, Miroslaw Truszczynski

From Classical to Consistent Query Answering under Existential Rules / 1546
Thomas Lukasiewicz, Maria Vanina Martinez, Andreas Pieris, Gerardo I Simari

Belief Revision with General Epistemic States / 1553
Hua Meng, Hui Kou, Sanjiang Li

Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm / 1560
Boris Motik, Yavor Nenov, Robert Edgar Felix Piro, Ian Horrocks

Logic Programming in Assumption-Based Argumentation Revisited - Semantics and Graphical Representation / 1569
Claudia Schulz, Francesca Toni

Minimizing User Involvement for Accurate Ontology Matching Problems / 1576
Anika Schumann, Freddy Lecue

Projection in the Epistemic Situation Calculus with Belief Conditionals / 1583
Christoph Schwering, Gerhard Lakemeyer

Belief Revision Games / 1590
Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny, Pierre Marquis

Interactive Query-Based Debugging of ASP Programs / 1597
Kostyantyn Shchekotykhin

Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence / 1604
Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

Answering Conjunctive Queries over EL Knowledge Bases with Transitive and Reflexive Roles / 1611
Giorgio Stefanoni, Boris Motik

How Many Diagnoses Do We Need? / 1618
Roni Tzvi Stern, Meir Kalech, Shelly Rogov, Alexander Feldman

The Relative Expressiveness of Abstract Argumentation and Logic Programming / 1625
Hannes Strass

A Comparison of Qualitative and Metric Spatial Relation Models for Scene Understanding / 1632
Akshaya Thippur, Chris Burbridge, Lars Kunze, Marina Alberti, John Folkesson, Patric Jensfelt, Nick Hawes

On the Role of Canonicity in Knowledge Compilation / 1641
Guy Van den Broeck, Adnan Darwiche

Knowledge Forgetting in Circumscription: A Preliminary Report / 1649
Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang

Instance-Driven Ontology Evolution in DL-Lite / 1656
Zhe Wang, Kewen Wang, Zhiqiang Zhuang, Guilin Qi

Structured Embedding via Pairwise Relations and Long-Range Interactions in Knowledge Base / 1663
Fei Wu, Jun Song, Yi Yang, Xi Li, Zhongfei Zhang, Yueting Zhuang

A Logic for Reasoning About Game Strategies / 1671
Dongmo Zhang, Michael Thielscher

Existential Rule Languages with Finite Chase: Complexity and Expressiveness / 1618
Heng Zhang, Yan Zhang, Jia-Huai You

Machine Learning Applications

Variational Inference for Nonparametric Bayesian Quantile Regression / 1686
Sachinthaka Abeywardana, Fabio Ramos

Sample-Targeted Clinical Trial Adaptation / 1693
Ognjen Arandjelovic

A Sparse Combined Regression-Classification Formulation for Learning a Physiological Alternative to Clinical Post-Traumatic Stress Disorder Scores / 1700
Sarah Marie Brown, Andrea Webb, Rami Mangoubi, Jennifer Dy

Marginalized Denoising for Link Prediction and Multi-Label Learning / 1707
Zheng Chen, Minmin Chen, Kilian Weinberger, Weixiong Zhang

Structured Sparsity with Group-Graph Regularization / 1714
Xin-Yu Dai, Jian-Bing Zhang, Shu-Jian Huang, Jia-Jun Chen, Zhi-Hua Zhou

Content-Aware Point of Interest Recommendation on Location-Based Social Networks / 1721
Huiji Gao, Jiliang Tang, Xia Hu, Huan Liu

Constructing Models of User and Task Characteristics from Eye Gaze Data for User-Adaptive Information Highlighting / 1728
Matthew Junghyun Gingerich, Cristina Conati

Automatic Assessment of OCR Quality in Historical Documents / 1735
Anshul Gupta, Ricardo Gutierrez-Osuna, Matthew Christy, Boris Capitanu, Loretta Auvil, Liz Grumbach, Richard Furuta, Laura Mandell

PD Disease State Assessment in Naturalistic Environments Using Deep Learning / 1742
Nils Yannick Hammerla, James Fisher, Peter Andras, Lynn Rochester, Richard Walker, Thomas Ploetz

Identifying At-Risk Students in Massive Open Online Courses / 1749
Jiazhen He, James Bailey, Benjamin I. P. Rubinstein, Rui Zhang

Exploiting Determinism to Scale Relational Inference / 1756
Mohamed Hamza Ibrahim, Christopher Pal, Gilles Pesant

Scalable and Interpretable Data Representation for High-Dimensional, Complex Data / 1763
Been Kim, Kayur Patel, Afshin Rostamizadeh, Julie Shah

Learning to Uncover Deep Musical Structure / 1770
Phillip Kirlin, David Jensen

Nonstationary Gaussian Process Regression for Evaluating Repeated Clinical Laboratory Tests / 1777
Thomas A. Lasko

Tensor-Based Learning for Predicting Stock Movements / 1784
Qing Li, LiLing Jiang, Ping Li, Hsinchun Chen

Sub-Merge: Diving Down to the Attribute-Value Level in Statistical Schema Matching / 1791
Zhe Lim, Benjamin Rubinstein

A Regularized Linear Dynamical System Framework for Multivariate Time Series Analysis / 1798
Zitao Liu, Milos Hauskrecht

Generalized Singular Value Thresholding / 1805
Canyi Lu, Changbo Zhu, Chunyan Xu, Shuicheng Yan, Zhouchen Lin

Lazier Than Lazy Greedy / 1812
Baharan Mirzasoleiman, Ashwinkumar Badanidiyuru, Amin Karbasi, Jan Vondrak, Andreas Krause

Inertial Hidden Markov Models: Modeling Change in Multivariate Time Series / 1819
George D. Montanez, Saeed Amizadeh, Nikolay Laptev

Algorithm Selection via Ranking / 1826
Richard Jayadi Oentaryo, Stephanus Daniel Handoko, Hoong Chuin Lau

Propagating Ranking Functions on a Graph: Algorithms and Applications / 1833
Buyue Qian, Xiang Wang, Ian Davidson

On Vectorization of Deep Convolutional Neural Networks for Vision Tasks / 1840
Jimmy SJ. Ren, Li Xu

Learning Hybrid Models with Guarded Transitions / 1847
Pedro Santana, Spencer Lane, Eric Timmons, Brian Williams, Carlos Forster

Transaction Costs-Aware Portfolio Optimization via Fast Lowner-John Ellipsoid Approximation / 1854
Weiwei Shen, Jun Wang

Coupled Interdependent Attribute Analysis on Mixed Data / 1861
Can Wang, Chi-Hung Chi, Wei Zhou, Raymond Wong

Exploring Social Context for Topic Identification in Short and Noisy Texts / 1868
Xin Wang, Ying Wang, Wanli Zuo, Guoyong Cai

Modeling Status Theory in Trust Prediction / 1875
Ying Wang, Xin Wang, Jiliang Tang, Wanli Zuo, Guoyong Cai

Swiss-System Based Cascade Ranking for Gait-Based Person Re-Identification / 1882
Lan Wei, Yonghong Tian, Yaowei Wang, Tiejun Huang

An SVD and Derivative Kernel Approach to Learning from Geometric Data / 1889
Eric Wong, J. Zico Kolter

Mining User Interests from Personal Photos / 1896
Pengtao Xie, Yulong Pei, Yuan Xie, Eric Xing

Integrating Image Clustering and Codebook Learning / 1903
Pengtao Xie, Eric P. Xing

Stable Feature Selection from Brain sMRI / 1910
Bo Xin, Lingjing Hu, Yizhou Wang, Wen Gao

Forecasting Collector Road Speeds Under High Percentage of Missing Data / 1917
Xin Xin, Chunwei Lu, Yashen Wang, Heyan Huang

Large-Margin Multi-Label Causal Feature Learning / 1924
Chang Xu, Dacheng Tao, Chao Xu

Exploiting Task-Feature Co-Clusters in Multi-Task Learning / 1931
Linli Xu, Aiqing Huang, Jianhui Chen, Enhong Chen

Temporally Adaptive Restricted Boltzmann Machine for Background Modeling / 1938
Linli Xu, Yitan Li, Yubo Wang, Enhong Chen

On Machine Learning towards Predictive Sales Pipeline Analytics / 1945
Junchi Yan, Chao Zhang, Hongyuan Zha, Min Gong, Changhua Sun, Jin Huang, Stephen Chu, Xiaokang Yang

Bayesian Approach to Modeling and Detecting Communities in Signed Network / 1952
Bo Yang, Xuehua Zhao, Xueyan Liu

Colorization by Patch-Based Local Low-Rank Matrix Completion / 1959
Quanming Yao, T. Kwok James

Sparse Bayesian Multiview Learning for Simultaneous Association Discovery and Diagnosis of Alzheimer's Disease / 1966
Shandian Zhe, Zenglin Xu, Yuan Qi, Peng Yu

A Closed Form Solution to Multi-View Low-Rank Regression / 1973
Shuai Zheng, Xiao Cai, Chris Ding, Feiping Nie, Heng Huang

A Nonconvex Relaxation Approach for Rank Minimization Problems / 1980
Xiaowei Zhong, Linli Xu, Yitan Li, Zhiyuan Liu, Enhong Chen

Multiagent Systems

An Empirical Study on the Practical Impact of Prior Beliefs over Policy Types / 1988
Stefano Vittorino Albrecht, Jacob William Crandall, Subramanian Ramamoorthy

Scalable Planning and Learning for Multiagent POMDPs / 1995
Christopher Amato, Frans A Oliehoek

Multi-Agent Pathfinding as a Combinatorial Auction / 2003
Ofra Amir, Guni Sharon, Roni Stern

Cooperating with Unknown Teammates in Complex Domains: A Robot Soccer Case Study of Ad Hoc Teamwork / 2010
Samuel Barrett, Peter Stone

Cognitive Social Learners: An Architecture for Modeling Normative Behavior / 2017
Rahmatollah Beheshti, Awrad Mohammed Ali, Gita Reese Sukthankar

Multi-Agent Path Finding on Strongly Biconnected Digraphs / 2024
Adi Botea, Pavel Surynek

Verification of Relational Multiagent Systems with Data Types / 2031
Diego Calvanese, Giorgio Delzanno, Marco Montali

Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications / 2038
Petr Čermák, Alessio Lomuscio, Aniello Murano

Elections with Few Voters: Candidate Control Can Be Easy / 2045
Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon

Cupid: Commitments in Relational Algebra / 2052
Amit Chopra, Munindar Singh

Automated Analysis of Commitment Protocols Using Probabilistic Model Checking / 2060
Akın Günay, Song Songzheng, Yang Liu, Jie Zhang

Fast Convention Formation in Dynamic Networks Using Topological Knowledge / 2067
Mohammad Rashedul Hasan, Anita Raja, Ana Bazzan

Distributed Multiplicative Weights Methods for DCOP / 2074
Daisuke Hatano, Yuichi Yoshida

A Counter Abstraction Technique for the Verification of Robot Swarms / 2081
Panagiotis Kouvaros, Alessio Lomuscio

Generalization Analysis for Game-Theoretic Machine Learning / 2089
Haifang Li, Fei Tian, Wei Chen, Tao Qin, Zhi-Ming Ma, Tie-Yan Liu

SCRAM: Scalable Collision-avoiding Role Assignment with Minimal-Makespan for Formational Positioning / 2096
Patrick MacAlpine, Eric Price, Peter Stone

Plurality Voting Under Uncertainty / 2103
Reshef Meir

Multi-Robot Auctions for Allocation of Tasks with Temporal Constraints / 2110
Ernesto Nunes, Maria Gini

Distributing Coalition Value Calculations to Coalition Members / 2117
Luke Riley, Katie Atkinson, Paul E. Dunne, Terry R. Payne

Fully Proportional Representation with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time / 2124
Piotr Krzysztof Skowron, Piotr Faliszewski

Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation / 2131
Piotr Krzysztof Skowron, Piotr Faliszewski, Jerome Lang

Solving Games with Functional Regret Estimation / 2138
Kevin Waugh, Dustin Morrill, James Andrew Bagnell, Michael Bowling

NLP and Knowledge Representation

Learning Word Representations from Relational Graphs / 2146
Danushka Bollegala, Takanori Maehara, Yuichi Yoshida, Ken-ichi Kawarabayashi

Ranking with Recursive Neural Networks and Its Application to Multi-Document Summarization / 2153
Ziqiang Cao, Furu Wei, Li Dong, Sujian Li, Ming Zhou

Refer-to-as Relations as Semantic Knowledge / 2160
Song Feng, Sujith Ravi, Ravi Kumar, Polina Kuznetsova, Wei Liu, Alexander C. Berg, Tamara L. Berg, Yejin Choi

Surveyor: A System for Generating Coherent Survey Articles for Scientific Topics / 2167
Rahul Jha, Reed Coke, Dragomir Radev

Automatically Creating a Large Number of New Bilingual Dictionaries / 2174
Khang Nhut Lam, Feras Al Tarouti, Jugal Kalita

Learning Entity and Relation Embeddings for Knowledge Graph Completion / 2181
Yankai Lin, Zhiyuan Liu, Maosong Sun, Yang Liu, Xuan Zhu

Sense-Aaware Semantic Analysis: A Multi-Prototype Word Representation Model Using Wikipedia / 2188
Zhaohui Wu, C. Lee Giles

Phrase Type Sensitive Tensor Indexing Model for Semantic Composition / 2195
Yu Zhao, Zhiyuan Liu, Maosong Sun

NLP and Machine Learning

Predicting Peer-to-Peer Loan Rates Using Bayesian Non-Linear Regression / 2203
Zsolt Bitvai, Trevor Cohn

A Novel Neural Topic Model and Its Supervised Extension / 2210
Ziqiang Cao, Sujian Li, Yang Liu, Wenjie Li, Heng Ji

Unsupervised Word Sense Disambiguation Using Markov Random Field and Dependency Parser / 2217
Devendra Singh Chaplot, Pushpak Bhattacharyya, Ashwin Paranjape

Dataless Text Classification with Descriptive LDA / 2224
Xingyuan Chen, Yunqing Xia, Peng Jin, John Carroll

Topic Segmentation with an Ordering-Based Topic Model / 2232
Lan Du, John K. Pate, Mark Johnson

A Stratified Strategy for Efficient Kernel-Based Learning / 2239
Simone Filice, Danilo Croce, Roberto Basili

Weakly-Supervised Grammar-Informed Bayesian CCG Parser Learning / 2246
Dan Garrette, Chris Dyer, Jason Baldridge, Noah A. Smith

Unsupervised Phrasal Near-Synonym Generation from Text Corpora / 2253
Dishan Gupta, Jaime Carbonell, Anatole Gershman, Steve Klein, David Miller

Local Context Sparse Coding / 2260
Seungyeon Kim, Joonseok Lee, Guy Lebanon, Haesun Park

Recurrent Convolutional Neural Networks for Text Classification / 2267
Siwei Lai, Liheng Xu, Kang Liu, Jun Zhao

Joint Anaphoricity Detection and Coreference Resolution with Constrained Latent Structures / 2274
Emmanuel Lassalle, Pascal Denis

Fast and Accurate Prediction of Sentence Specificity / 2281
Junyi Jessy Li, Ani Nenkova

Learning to Mediate Perceptual Differences in Situated Human-Robot Dialogue / 2288
Changsong Liu, Joyce Yue Chai

Contrastive Unsupervised Word Alignment with Non-Local Features / 2295
Yang Liu, Maosong Sun

Never-Ending Learning / 2302
Tom M. Mitchell, William Cohen, Estevam Hruschka, Partha Talukdar, Justin Betteridge, Andrew Carlson, Bhavana Dalvi Mishra, Matthew Gardner, Bryan Kisiel, Jayant Krishnamurthy, Ni Lao, Kathryn Mazaitis, Thahir Mohamed, Ndapa Nakashole, Emmanouil Antonios Platanios, Alan Ritter, Mehdi Samadi, Burr Settles, Richard Wang, Derry Wijaya, Abhinav Gupta, Xinlei Chen, Abulhair Saparov, Malcolm Greaves, Joel Welling

The Utility of Text: The Case of Amicus Briefs and the Supreme Court / 2311
Yanchuan Sim, Bryan R Routledge, Noah A Smith

A Family of Latent Variable Convex Relaxations for IBM Model 2 / 2318
Andrei Arsene Simion, Michael Collins, Cliff Stein

Online Bayesian Models for Personal Analytics in Social Media / 2325
Svitlana Volkova, Benjamin Van Durme

Microblog Sentiment Classification with Contextual Knowledge Regularization / 2332
Fangzhao Wu, Yangqiu Song, Yongfeng Huang

Learning Greedy Policies for the Easy-First Framework / 2339
Jun Xie, Chao Ma, Janardhan Rao Doppa, Prashanth Mannem, Xiaoli Fern, Thomas G. Dietterich, Prasad Tadepalli

Jointly Modeling Deep Video and Compositional Text to Bridge Vision and Language in a Unified Framework / 2346
Ran Xu, Caiming Xiong, Wei Chen, Jason J Corso

Ordering-Sensitive and Semantic-Aware Topic Modeling / 2353
Min Yang, Tianyi Cui, Wenting Tu

NLP and Text Mining

Target-Dependent Churn Classification in Microblogs / 2361
Hadi Amiri, Hal Daume III

English Light Verb Construction Identification Using Lexical Knowledge / 2368
Wei-Te Chen, Claire Bonial, Martha Palmer

Chinese Common Noun Phrase Resolution: An Unsupervised Probabilistic Model Rivaling Supervised Resolvers / 2375
Chen Chen, Vincent Ng

Gazetteer-Independent Toponym Resolution Using Geographic Word Profiles / 2382
Grant DeLozier, Jason Baldridge, Loretta London

Mining User Consumption Intention from Social Media Using Domain Adaptive Convolutional Neural Network / 2389
Xiao Ding, Ting Liu, Junwen Duan, Jian-Yun Nie

Generating Event Causality Hypotheses through Semantic Relations / 2396
Chikara Hashimoto, Kentaro Torisawa, Julien Kloetzer, Jong-Hoon Oh

A Neural Probabilistic Model for Context Based Citation Recommendation / 2404
Wenyi Huang, Zhaohui Wu, Chen Liang, Prasenjit Mitra, C. Lee Giles

Extracting Verb Expressions Implying Negative Opinions / 2411
Huayi Li, Arjun Mukherjee, Jianfeng Si, Bing Liu

Topical Word Embeddings / 2418
Yang Liu, Zhiyuan Liu, Tat-Seng Chua, Maosong Sun

Towards Knowledge-Driven Annotation / 2425
Yassine Mrabet, Claire Gardent, Muriel Foulonneau, Elena Simperl, Eric Ras

Semantic Lexicon Induction from Twitter with Pattern Relatedness and Flexible Term Length / 2432
Ashequl Qadir, Pablo N. Mendes, Daniel Gruhl, Neal Lewis

Word Segmentation for Chinese Novels / 2440
Likun Qiu, Yue Zhang

Using Frame Semantics for Knowledge Extraction from Twitter / 2447
Anders Søgaard, Barbara Plank, Hector Martinez Alonso

Learning to Recommend Quotes for Writing / 2453
Jiwei Tan, Xiaojun Wan, Jianguo Xiao

Extracting Adverse Drug Reactions from Social Media / 2460
Andrew Yates, Nazli Goharian, Ophir Frieder

An Unsupervised Framework of Exploring Events on Twitter: Filtering, Extraction and Categorization / 2468
Deyu Zhou, Liangyu Chen, Yulan He

Novel Machine Learning Algorithms

A Probabilistic Covariate Shift Assumption for Domain Adaptation / 2476
Tameem Adel, Alexander Wong

Efficient Active Learning of Halfspaces via Query Synthesis / 2483
Ibrahim Alabdulmohsin, Xin Gao, Xiangliang Zhang

Budgeted Prediction with Expert Advice / 2490
Kareem Amin, Satyen Kale, Gerald Tesauro, Deepak Turaga

Model-Based Reinforcement Learning in Continuous Environments Using Real-Time Constrained Optimization / 2497
Olov Andersson, Fredrik Heintz, Patrick Doherty

Unsupervised Cross-Domain Transfer in Policy Gradient Reinforcement Learning via Manifold Alignment / 2504
Haitham Bou Ammar, Eric Eaton, Paul Ruvolo, Matthew E. Taylor

Aligning Mixed Manifolds / 2511
Thomas Boucher, CJ Carey, Sridhar Mahadevan, Melinda Darby Dyar

Deep Modeling Complex Couplings within Financial Markets / 2518
Wei Cao, Liang Hu, Longbing Cao

Structural Learning with Amortized Inference / 2525
Kai-Wei Chang, Shyam Upadhyay, Gourab Kundu, Dan Roth

A Convex Formulation for Spectral Shrunk Clustering / 2532
Xiaojun Chang, Feiping Nie, Zhigang Ma, Yi Yang, Xiaofang Zhou

Learning Relational Kalman Filtering / 2539
Jaesik Choi, Eyal Amir, Tianfang Xu, Albert J. Valocchi

Policy Tree: Adaptive Representation for Policy Gradient / 2547
Ujjwal Das Gupta, Erik Talvitie, Michael Bowling

Collaborative Filtering with Localised Ranking / 2554
Charanpal Dhanjal, Romaric Gaudel, Stéphan Clémençon

Random Gradient Descent Tree: A Combinatorial Approach for SVM with Outliers / 2561
Hu Ding, Jinhui Xu

An Adaptive Gradient Method for Online AUC Maximization / 2568
Yi Ding, Peilin Zhao, Steven C. H. Hoi, Yew-Soon Ong

Graph-Sparse LDA: A Topic Model with Structured Sparsity / 2575
Finale Doshi-Velez, Byron C. Wallace, Ryan Adams

Bayesian Maximum Margin Principal Component Analysis / 2582
Changying Du, Shandian Zhe, Fuzhen Zhuang, Yuan Qi, Qing He, Zhongzhi Shi

Modelling Class Noise with Symmetric and Asymmetric Distributions / 2589
Jun Du, Zhihua Cai

Optimizing Bag Features for Multiple-Instance Retrieval / 2596
Zhouyu Fu, Feifei Pan, Cheng Deng, Wei Liu

Learning Sparse Representations from Datasets with Uncertain Group Structures: Model, Algorithm and Applications / 2603
Longwen Gao, Shuigeng Zhou

Spectral Clustering Using Multilinear SVD: Analysis, Approximations and Applications / 2610
Debarghya Ghoshdastidar, Ambedkar Dukkipati

Pathway Graphical Lasso / 2617
Maxim Grechkin, Maryam Fazel, Daniela Witten, Su-In Lee

Concurrent PAC RL / 2624
Zhaohan Guo, Emma Brunskill

Discriminative Feature Grouping / 2631
Lei Han, Yu Zhang

Learning Multi-Level Task Groups in Multi-Task Learning / 2638
Lei Han, Yu Zhang

Localized Centering: Reducing Hubness in Large-Sample Data / 2645
Kazuo Hara, Ikumi Suzuki, Masashi Shimbo, Kei Kobayashi, Kenji Fukumizu, Miloš Radovanović

Expressing Arbitrary Reward Functions as Potential-Based Advice / 2652
Anna Harutyunyan, Sam Devlin, Peter Vrancx, Ann Nowe

Active Learning by Learning / 2659
Wei-Ning Hsu, Hsuan-Tien Lin

Kernelized Online Imbalanced Learning with Fixed Budgets / 2666
Junjie Hu, Haiqin Yang, Irwin King, Michael R. Lyu, Anthony Man-Cho So

Approximate MaxEnt Inverse Optimal Control and Its Application for Mental Simulation of Human Interactions / 2673
De-An Huang, Amir-massoud Farahmand, Kris M. Kitani, James Andrew Bagnell

Maximin Separation Probability Clustering / 2680
Gao Huang, Jianwen Zhang, Shiji Song, Zheng Chen

The Dynamic Chinese Restaurant Process via Birth and Death Processes / 2687
Rui Huang, Fengyuan Zhu, Pheng-Ann Heng

Self-Paced Curriculum Learning / 2694
Lu Jiang, Deyu Meng, Qian Zhao, Shiguang Shan, Alexander G. Hauptmann

Outlier-Robust Convex Segmentation / 2701
Itamar Katz, Koby Crammer

Fast Gradient Descent for Drifting Least Squares Regression, with Application to Bandits / 2708
Nathaniel Korda, Prashanth L.A., Remi Munos

Spectral Learning of Predictive State Representations with Insufficient Statistics / 2715
Alex Kulesza, Nan Jiang, Satinder Singh

A Generalized Reduced Linear Program for Markov Decision Processes / 2722
Chandrashekar Lakshminarayanan, Shalabh Bhatnagar

Don't Fall for Tuning Parameters: Tuning-Free Variable Selection in High Dimensions With the TREX / 2729
Johannes Lederer, Christian Müller

On the Equivalence of Linear Discriminant Analysis and Least Squares / 2736
Kibok Lee, Junmo Kim

Multi-tensor Completion with Common Structures / 2743
Chao Li, Qibin Zhao, Junhua Li, Andrzej Cichocki, Lili Guo

Large-Scale Multi-View Spectral Clustering via Bipartite Graph / 2750
Yeqing Li, Feiping Nie, Heng Huang, Junzhou Huang

Integrating Features and Similarities: Flexible Models for Heterogeneous Multiview Data / 2757
Wenzhao Lian, Piyush Rai, Esther Salazar, Lawrence Carin

Shift-Pessimistic Active Learning Using Robust Bias-Aware Prediction / 2764
Anqi Liu, Lev Reyzin, Brian D. Ziebart

Unidimensional Clustering of Discrete Data Using Latent Tree Models / 2771
April H. Liu, Leonard K.M. Poon, Nevin L. Zhang

Low-Rank Multi-View Learning in Matrix Completion for Multi-Label Image Classification / 2778
Meng Liu, Yong Luo, Dacheng Tao, Chao Xu, Yonggang Wen

Support Consistency of Direct Sparse-Change Learning in Markov Networks / 2785
Song Liu, Taiji Suzuki, Masashi Sugiyama

Low-Rank Similarity Metric Learning in High Dimensions / 2792
Wei Liu, Cun Mu, Rongrong Ji, Shiqian Ma, John R. Smith, Shih-Fu Chang

Large Margin Metric Learning for Multi-Label Prediction / 2800
Weiwei Liu, Ivor W Tsang

Absent Multiple Kernel Learning / 2807
Xinwang Liu, Lei Wang, Jianping Yin, Yong Dou, Jian Zhang

Eigenvalues Ratio for Kernel Selection of Kernel Methods / 2814
Yong Liu, Shizhong Liao

Parallel Gaussian Process Regression for Big Data: Low-Rank Representation Meets Markov Approximation / 2821
Kian Hsiang Low, Jiangbo Yu, Jie Chen, Patrick Jaillet

Noise-Robust Semi-Supervised Learning by Large-Scale Sparse Coding / 2828
Zhiwu Lu, Xin Gao, Liwei Wang, Ji-Rong Wen, Songfang Huang

The Hybrid Nested/Hierarchical Dirichlet Process and its Application to Topic Modeling with Word Differentiation / 2835
Tengfei Ma, Issei Sato, Hiroshi Nakagawa

UT Austin Villa 2014: RoboCup 3D Simulation League Champion via Overlapping Layered Learning / 2842
Patrick MacAlpine, Mike Depinet, Peter Stone

The Queue Method: Handling Delay, Heuristics, Prior Data, and Evaluation in Bandits / 2849
Travis Mandel, Yun-En Liu, Emma Brunskill, Zoran Popović

V-MIN: Efficient Reinforcement Learning through Demonstrations and Relaxed Reward Demands / 2857
David Martínez, Guillem Alenyà, Carme Torras

The Boundary Forest Algorithm for Online Supervised and Unsupervised Learning / 2864
Charles Mathy, Nate Derbinsky, Jose Bento, Jonathan Rosenthal, Jonathan Yedidia

Using Machine Teaching to Identify Optimal Training-Set Attacks on Machine Learners / 2871
Shike Mei, Xiaojin Zhu

Learning Relational Sum-Product Networks / 2878
Aniruddh Nath, Pedro M. Domingos

Tensor-Variate Restricted Boltzmann Machines / 2887
Tu Dinh Nguyen, Truyen Tran, Dinh Phung, Svetha Venkatesh

Probabilistic Attributed Hashing / 2894
Mingdong Ou, Peng Cui, Jun Wang, Fei Wang, Wenwu Zhu

Obtaining Well Calibrated Probabilities Using Bayesian Binning / 2901
Mahdi Pakdaman Naeini, Gregory Cooper, Milos Hauskrecht

Detecting and Tracking Concept Class Drift and Emergence in Non-Stationary Fast Data Streams / 2908
Brandon Shane Parker, Latifur Khan

Detecting Change Points in the Large-Scale Structure of Evolving Networks / 2914
Leto Peel, Aaron Clauset

Adaptive Sampling with Optimal Cost for Class-Imbalance Learning / 2921
Yuxin Peng

Multi-Objective Reinforcement Learning with Continuous Pareto Frontier Approximation / 2928
Matteo Pirotta, Simone Parisi, Marcello Restelli

Pareto Ensemble Pruning / 2935
Chao Qian, Yang Yu, Zhi-Hua Zhou

Leveraging Features and Networks for Probabilistic Tensor Decomposition / 2942
Piyush Rai, Yingjian Wang, Lawrence Carin

Doubly Robust Covariate Shift Correction / 2949
Sashank Jakkam Reddi, Barnabas Poczos, Alex Smola

Clustering Longitudinal Clinical Marker Trajectories from Electronic Health Data: Applications to Phenotyping and Endotype Discovery / 2956
Peter Schulam, Fredrick Wigley, Suchi Saria

SP-SVM: Large Margin Classifier for Data on Multiple Manifolds / 2965
Bin Shen, Bao-Di Liu, Qifan Wang, Yi Fang, Jan P. Allebach

Spectral Label Refinement for Noisy and Missing Text Labels / 2972
Yangqiu Song, Chenguang Wang, Ming Zhang, Hailong Sun, Qiang Yang

Unsupervised Feature Learning through Divergent Discriminative Feature Accumulation / 2979
Paul A. Szerlip, Gregory Morse, Justin K. Pugh, Kenneth O. Stanley

Agnostic System Identification for Monte Carlo Planning / 2986
Erik Talvitie

Optimizing the CVaR via Sampling / 2993
Aviv Tamar, Yonatan Glassner, Shie Mannor

High-Confidence Off-Policy Evaluation / 3000
Philip S. Thomas, Georgios Theocharous, Mohammad Ghavamzadeh

TODTLER: Two-Order-Deep Transfer Learning / 3007
Jan Van Haaren, Andrey Kolobov, Jesse Davis

Compress and Control / 3016
Joel Veness, Marc G Bellemare, Marcus Hutter, Alvin Chua, Guillaume Desjardins

Improving Multi-Step Prediction of Learned Time Series Models / 3024
Arun Venkatraman, Martial Hebert, J.. Andrew Bagnell

Gaussian Cardinality Restricted Boltzmann Machines / 3031
Cheng Wan, Xiaoming Jin, Guiguang Ding, Dou Shen

Online Boosting Algorithms for Anytime Transfer and Multitask Learning / 3038
Boyu Wang, Joelle Pineau

Convex Batch Mode Active Sampling via α-Relative Pearson Divergence / 3045
Hanmo Wang, Liang Du, Peng Zhou, Lei Shi, Yi-Dong Shen

Relational Stacked Denoising Autoencoder for Tag Recommendation / 3052
Hao Wang, Xingjian Shi, Dit-Yan Yeung

Learning Robust Locality Preserving Projection via p-Order Minimization / 3059
Hua Wang, Feiping Nie, Heng Huang

Learning to Hash on Structured Data / 3066
Qifan Wang, Luo Si, Bin Shen

Transfer Feature Representation via Multiple Kernel Learning / 3073
Wei Wang, Hao Wang, Chen Zhang, Fanjiang Xu

Optimal Estimation of Multivariate ARMA Models / 3080
Martha White, Junfeng Wen, Michael Bowling, Dale Schuurmans

Improving Approximate Value Iteration with Complex Returns by Bounding / 3087
Robert William Wright, Xingye Qiao, Steven Loscalzo, Lei Yu

Bayesian Model Averaging Naive Bayes (BMA-NB): Averaging over an Exponential Number of Feature Models in Linear Time / 3094
Ga Wu, Scott Sanner, Rodrigo F.S.C. Oliveira

Dictionary Learning with Mutually Reinforcing Group-Graph Structures / 3101
Hongteng Xu, Licheng Yu, Dixin Luo, Hongyuan Zha, Yi Xu

Active Manifold Learning via Gershgorin Circle Guided Sample Selection / 3108
Hongteng Xu, Hongyuan Zha, Ren-Cang Li, Mark A. Davenport

Nystrom Approximation for Sparse Kernel Methods: Theoretical Analysis and Empirical Evaluation / 3115
Zenglin Xu, Rong Jin, Bin Shen, Shenghuo Zhu

OMNI-Prop: Seamless Node Classification on Arbitrary Label Correlation / 3122
Yuto Yamaguchi, Christos Faloutsos, Hiroyuki Kitagawa

Non-Linear Regression for Bag-of-Words Data via Gaussian Process Latent Variable Set Model / 3129
Yuya Yoshikawa, Tomoharu Iwata, Hiroshi Sawada

A Mathematical Programming-Based Approach to Determining Objective Functions from Qualitative and Subjective Comparisons / 3136
Takayuki Yoshizumi

Exact Recoverability of Robust PCA via Outlier Pursuit with Tight Recovery Bounds / 3143
Hongyang Zhang, Zhouchen Lin, Chao Zhang, Edward Y. Chang

Multi-Source Domain Adaptation: A Causal View / 3150
Kun Zhang, Mingming Gong, Bernhard Schoelkopf

Online Bandit Learning for a Special Class of Non-Convex Losses / 3158
Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou

Online Dictionary Learning on Symmetric Positive Definite Manifolds with Vision Applications / 3165
Shengping Zhang, Shiva Kasiviswanathan, Pong C. Yuen, Mehrtash Harandi

Constrained NMF-Based Multi-View Clustering on Unmapped Data / 3174
Xianchao Zhang, Linlin Zong, Xinyue Liu, Hong Yu

Multi-Task Learning and Algorithmic Stability / 3181
Yu Zhang

SoF: Soft-Cluster Matrix Factorization for Probabilistic Clustering / 3188
Han Zhao, Pascal Poupart, Yongfeng Zhang, Martin Lysy

Self-Paced Learning for Matrix Factorization / 3196
Qian Zhao, Deyu Meng, Lu Jiang, Qi Xie, Zongben Xu, Alexander G. Hauptmann

Cross-Modal Similarity Learning via Pairs, Preferences, and Active Supervision / 3203
Yi Zhen, Piyush Rai, Hongyuan Zha, Lawrence Carin

A Reduction of the Elastic Net to Support Vector Machines with an Application to GPU Computing / 3210
Quan Zhou, Wenlin Chen, Shiji Song, Jacob R. Gardner, Kilian Q. Weinberger, Yixin Chen

10, 000+ Times Accelerated Robust Subset Selection / 3217
Feiyun Zhu, Bin Fan, Xinliang Zhu, Ying Wang, Shiming Xiang, Chunhong Pan

Planning and Scheduling

Tractable Cost-Optimal Planning over Restricted Polytree Causal Graphs / 3225
Meysam Aghighi, Peter Jonsson, Simon Ståhlberg

Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs / 3232
Christer Bäckström

Robustness in Probabilistic Temporal Planning / 3239
Jeb Brooks, Emilia Reed, Alexander Gruver, James C. Boerkoel

SMT-Based Nonlinear PDDL+ Planning / 3247
Daniel Bryce, Sicun Gao, David Musliner, Robert Goldman

Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach / 3254
Alessandro Cimatti, Andrea Micheli, Marco Roveri

Factored MCTS for Large Scale Stochastic Planning / 3261
Hao Cui, Roni Khardon, Alan Fern, Prasad Tadepalli

Transition Constraints for Parallel Planning / 3268
Nina Ghanbari Ghooshchi, Majid Namazi, M A Hakim Newton, Abdul Sattar

Measuring Plan Diversity: Pathologies in Existing Approaches and A New Plan Distance Metric / 3275
Robert P. Goldman, Ugur Kuter

Efficient Bounds in Heuristic Search Algorithms for Stochastic Shortest Path Problems / 3283
Eric A. Hansen, Ibrahim Abdoulahi

A Generalization of Sleep Sets Based on Operator Sequence Redundancy / 3291
Robert C. Holte, Yusra Alkhazraji, Martin Wehrle

Goal Recognition Design for Non-Optimal Agents / 3298
Sarah Keren, Avigdor Gal, Erez Karpas

Variable-Deletion Backdoors to Planning / 3305
Martin Kronegger, Sebastian Ordyniak, Andreas Pfandler

Preference Planning for Markov Decision Processes / 3313
Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang

Information Gathering and Reward Exploitation of Subgoals for POMDPs / 3320
Hang Ma, Joelle Pineau

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach / 3327
Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg

From Non-Negative to General Operator Cost Partitioning / 3335
Florian Pommerening, Malte Helmert, Gabriele Röger, Jendrik Seipp

Approximate Linear Programming for Constrained Partially Observable Markov Decision Processes / 3342
Pascal Poupart, Aarti Malhotra, Pei Pei, Kee-Eung Kim, Bongseok Goh, Michael Bowling

Discretization of Temporal Models with Application to Planning with SMT / 3349
Jussi Rintanen

Exploiting Submodular Value Functions for Faster Dynamic Sensor Selection / 3356
Yash Satsangi, Shimon Whiteson, Frans A. Oliehoek

Automatic Configuration of Sequential Planning Portfolios / 3364
Jendrik Seipp, Silvan Sievers, Malte Helmert, Frank Hutter

Heuristics and Symmetries in Classical Planning / 3371
Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle

Factored Symmetries for Merge-and-Shrink Abstractions / 3378
Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

Improving Exploration in UCT Using Local Manifolds / 3386
Sriram Srinivasan, Erik Talvitie, Michael Bowling

Tractability of Planning with Loops / 3393
Siddharth Srivastava, Shlomo Zilberstein, Abhishek Gupta, Pieter Abbeel, Stuart Russell

Real-Time Symbolic Dynamic Programming / 3402
Luis Gustavo Rocha Vianna, Leliane N. de Barros, Scott Sanner

tBurton: A Divide and Conquer Temporal Planner / 3409
David Wang, Brian Williams

Multi-Objective MDPs with Conditional Lexicographic Reward Preferences / 3418
Kyle Hollins Wray, Shlomo Zilberstein, Abdel-Illah Mouaddib

Resolving Over-Constrained Probabilistic Temporal Problems through Chance Constraint Relaxation / 3425
Peng Yu, Cheng Fang, Brian Williams

An Efficient Forest-Based Tabu Search Algorithm for the Split-delivery Vehicle Routing Problem / 3432
Zizhen Zhang, Huang He, Zhixing Luo, Hu Qin, Songshan Guo

Crowdsourced Action-Model Acquisition for Planning / 3439
Hankz Hankui Zhuo

Reasoning under Uncertainty

Loss-Calibrated Monte Carlo Action Selection / 3447
Ehsan Abbasnejad, Justin Domke, Scott Sanner

Solving Uncertain MDPs with Objectives that Are Separable over Instantiations of Model Uncertainty / 3454
Yossiri Adulyasak, Pradeep Varakantham, Asrar Ahmed, Patrick Jaillet

Linear-Time Gibbs Sampling in Piecewise Graphical Models / 3461
Hadi Mohasel Afshar, Scott Sanner, Ehsan Abbasnejad

Stable Model Counting and Its Application in Probabilistic Logic Programming / 3468
Rehan Abdul Aziz, Geoffrey Chu, Christian Muise, Peter James Stuckey

Recovering Causal Effects from Selection Bias / 3475
Elias Bareinboim, Jin Tian

Egalitarian Collective Decision Making under Qualitative Possibilistic Uncertainty: Principles and Characterization / 3482
Nahla Ben Amor, Fatma Essghaier, Helene Fargier

Representing Aggregators in Relational Probabilistic Models / 3489
David Buchman, David Poole

Optimal Cost Almost-Sure Reachability in POMDPs / 3496
Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia

Value of Information Based on Decision Robustness / 3503
Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

Submodular Surrogates for Value of Information / 3511
Yuxin Chen, Shervin Javdani, Amin Karbasi, J. Andrew Bagnell, Siddhartha Srinivasa, Andreas Krause

Bayesian Networks Specified Using Propositional and Relational Constructs: Combined, Data, and Domain Complexity / 3519
Fabio Gagliardi Cozman, Denis Deratani Maua

An Improved Lower Bound for Bayesian Network Structure Learning / 3526
Xiannian Fan, Changhe Yuan

Approximately Optimal Risk-Averse Routing Policies via Adaptive Discretization / 3533
Darrell Hoy, Evdokia Nikolova

Better Be Lucky than Good: Exceeding Expectations in MDP Evaluation / 3540
Thomas Keller, Florian Geißer

Reward Shaping for Model-Based Bayesian Reinforcement Learning / 3548
Hyeoneun Kim, Woosang Lim, Kanghoon Lee, Yung-Kyun Noh, Kee-Eung Kim

Tighter Value Function Bounds for Bayesian Reinforcement Learning / 3556
Kanghoon Lee, Kee-Eung Kim

Knowledge-Based Probabilistic Logic Learning / 3564
Phillip Odom, Tushar Khot, Reid Porter, Sriraam Natarajan

On the Decreasing Power of Kernel and Distance Based Nonparametric Hypothesis Tests in High Dimensions / 3571
Aaditya Ramdas, Sashank Jakkam Reddi, Barnabas Poczos, Aarti Singh, Larry Wasserman

Representation Discovery for MDPs Using Bisimulation Metrics / 3578
Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup

Lifting Model Sampling for General Game Playing to Incomplete-Information Models / 3585
Michael Schofield, Michael Thielscher

On Interruptible Pure Exploration in Multi-Armed Bandits / 3592
Alexander Shleyfman, Antonín Komenda, Carmel Domshlak

Lifted Probabilistic Inference for Asymmetric Graphical Models / 3599
Guy Van den Broeck, Mathias Niepert

Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs / 3606
Deepak Venugopal, Somdeb Sarkhel, Vibhav Gogate

Hierarchical Monte-Carlo Planning / 3613
Ngo Anh Vien, Marc Toussaint

Chance-Constrained Scheduling via Conflict-Directed Risk Allocation / 3620
Andrew J. Wang, Brian C. Williams

Learning to Reject Sequential Importance Steps for Continuous-Time Bayesian Networks / 3628
Jeremy C. Weiss, Sriraam Natarajan, C. David Page

Nonparametric Scoring Rules / 3635
Erik Peter Zawadzki, Sebastien Lahaie

On Fairness in Decision-Making under Uncertainty: Definitions, Computation, and Comparison / 3642
Chongjie Zhang, Julie A. Shah

An Exact Algorithm for Solving Most Relevant Explanation in Bayesian Networks / 3649
Xiaoyuan Zhu, Changhe Yuan

Robotics

Proximal Operators for Multi-Agent Path Planning / 3657
Jose Bento, Nate Derbinsky, Charles Mathy, Jonathan S. Yedidia

This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction / 3664
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi

Intent Prediction and Trajectory Forecasting via Predictive Inverse Linear-Quadratic Regulation / 3672
Mathew Monfort, Anqi Liu, Brian Ziebart

Spatio-Spectral Exploration Combining In Situ and Remote Measurements / 3679
David Ray Thompson, David Wettergreen, Greydon Foil, Michael Furlong, Anatha Ravi Kiran

Robot Learning Manipulation Action Plans by "Watching" Unconstrained Videos from the World Wide Web / 3686
Yezhou Yang, Yi Li, Cornelia Fermuller, Yiannis Aloimonos

Search and Constraint Satisfaction

Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs / 3694
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl

SAT Modulo Monotonic Theories / 3702
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu

On Computing Maximal Subsets of Clauses that Must Be Satisfiable with Possibly Mutually-Contradictory Assumptive Contexts / 3710
Philippe Besnard, Eric Grégoire, Jean-Marie JM Lagniez

Strong Bounds Consistencies and Their Application to Linear Constraints / 3717
Christian Bessiere, Anastasia Paparrizou, Kostas Stergiou

SMT-Based Validation of Timed Failure Propagation Graphs / 3724
Marco Bozzano, Alessandro Cimatti, Marco Gario, Andrea Micheli

Binarisation via Dualisation for Valued Constraints / 3731
David A. Cohen, Martin C. Cooper, Peter G. Jeavons, Stanislav Zivny

SAT-Based Strategy Extraction in Reachability Games / 3738
Niklas Een, Alexander Legg, Nina Narodytska, Leonid Ryzhyk

The Extendable-Triple Property: A New CSP Tractable Class beyond BTP / 3746
Philippe Jégou, Cyril Terrioux

Vision

Online Detection of Abnormal Events Using Incremental Coding Length / 3755
Jayanta Kumar Dutta, Bonny Banerjee

A Bayesian Approach to Perceptual 3D Object-Part Decomposition Using Skeleton-Based Representations / 3762
Tarek El-Gaaly, Vicky Froyen, Ahmed Elgammal, Jacob Feldman, Manish Singh

Exploring Semantic Inter-Class Relationships (SIR) for Zero-Shot Action Recognition / 3769
Chuang Gan, Ming Lin, Yi Yang, Yueting Zhuang, Alexander G.Hauptmann

Building Effective Representations for Sketch Recognition / 3776
Jun Guo, Changhu Wang, Hongyang Chao

Learning Predictable and Discriminative Attributes for Visual Recognition / 3783
Yuchen Guo, Guiguang Ding, Xiaoming Jin, Jianmin Wang

A Local Sparse Model for Matching Problem / 3790
Bo Jiang, Jin Tang, Chris Ding, Bin Luo

Compute Less to Get More: Using ORC to Improve Sparse Filtering / 3797
Johannes Lederer, Sergio Guadarrama

Sparse Deep Stacking Network for Image Classification / 3804
Jun Li, Heyou Chang, Jian Yang

Surpassing Human-Level Face Verification Performance on LFW with GaussianFace / 3811
Chaochao Lu, Xiaoou Tang

Automatic Topic Discovery for Multi-Object Tracking / 3820
Wenhan Luo, Björn Stenger, Xiaowei Zhao, Tae-Kyun Kim

Robust Subspace Clustering via Thresholding Ridge Regression / 3827
Xi Peng, Zhang Yi, Huajin Tang

Multi-View Point Registration via Alternating Optimization / 3834
Junchi Yan, Jun Wang, Hongyuan Zha, Xiaokang Yang, Stephen M. Chu

Complex Event Detection via Event Oriented Dictionary Learning / 3841
Yan Yan, Yi Yang, Haoquan Shen, Deyu Meng, Gaowen Liu, Alex Hauptmann, Nicu Sebe

Deep Representation Learning with Target Coding / 3848
Shuo Yang, Ping Luo, Chen Change Loy, Kenneth W. Shum, Xiaoou Tang

Learning to Describe Video with Weak Supervision by Exploiting Negative Sentential Information / 3855
Haonan Yu, Jeffrey Mark Siskind

Metric Learning Driven Multi-Task Structured Output Optimization for Robust Keypoint Tracking / 3864
Liming Zhao, Xi Li, Jun Xiao, Fei Wu, Yueting Zhuang

Learning Face Hallucination in the Wild / 3871
Erjin Zhou, Haoqiang Fan, Zhimin Cao, Yuning Jiang, Qi Yin

A Boosted Multi-Task Model for Pedestrian Detection with Occlusion Handling / 3878
Chao Zhu, Yuxin Peng

Innovative Applications of Artificial Intelligence — Deployed Applications

Activity Planning for a Lunar Orbital Mission / 3887
John L. Bresina

Robust System for Identifying Procurement Fraud / 3896
Amit Dhurandhar, Rajesh Ravi, Bruce Graves, Gopikrishnan Maniachari, Markus Ettl

Position Assignment on an Enterprise Level Using Combinatorial Optimization / 3904
Leonard Kinnaird-Heether, Chris Dorman

Graph Analysis for Detecting Fraud, Waste, and Abuse in Healthcare Data / 3912
Juan Liu, Eric Bier, Aaron Wilson, Tomo Honda, Sricharan Kumar, Leilani Gilpin, John Guerra-Gomez, Daniel Davies

Planned Protest Modeling in News and Social Media / 3920
Sathappan Muthiah, Bert Huang, Jaime Arredondo, David Mares, Lise Getoor, Graham Katz, Naren Ramakrishnan

Process Diagnosis System (PDS) — A 30 Year History / 3928
Edward D. Thompson, Ethan Frolich, James C. Bellows, Benjamin E. Bassford, Edward J. Skiko, Mark S. Fox

Innovative Applications of Artificial Intelligence — Emerging Applications

Named Entity Recognition in Travel-Related Search Queries / 3935
Brooke Cowan, Sven Zethelius, Brittany Luk, Teodora Baras, Prachi Ukarde, Daodao Zhang

Automated Problem List Generation from Electronic Medical Records in IBM Watson / 3942
Murthy Devarakonda, Ching-Huei Tsou

Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data / 3948
Heshan Du, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin

Day-Ahead Hail Prediction Integrating Machine Learning with Storm-Scale Numerical Weather Models / 3954
David John Gagne II, Amy McGovern, Jerald Brotzge, Michael Coniglio, James Correia Jr., Ming Xue

Capturing Human Route Preferences From Track Information: New Results / 3961
Johnathan Gohde, Mark Boddy, Hazel Shackleton, Steve Johnston

Design and Experiment of a Collaborative Planning Service for NetCentric International Brigade Command / 3967
Christophe Guettier, Willy Lamal, Israël Mayk, Jacques Yelloz

Aggregating User Input in Ecology Citizen Science Projects / 3975
Greg Hines, Alexandra Swanson, Margaret Kosmala, Chris Lintott

Leveraging Ontologies to Improve Model Generalization Automatically with Online Data Sources / 3981
Sasin Janpuangtong, Dylan A. Shell

HACKAR: Helpful Advice for Code Knowledge and Attack Resilience / 3987
Ugur Kuter, Mark Burstein, J. Benton, Daniel Bryce, Jordan Thayer, Steve McCoy

A Robust and Extensible Tool for Data Integration Using Data Type Models / 3993
Andres Quiroz, Eric Huang, Luca Ceriani

Maestoso: An Intelligent Educational Sketching Tool for Learning Music Theory / 3999
Paul Taele, Laura Barreto, Tracy Hammond

Preventing HIV Spread in Homeless Populations Using PSINET / 4006
Amulya Yadav, Leandro Soriano Marcolino, Eric Rice, Robin Petering, Hailey Winetrobe, Harmony Rhoades, Milind Tambe, Heather Carmichael

SKILL: A System for Skill Identification and Normalization / 4012
Meng Zhao, Faizan Javed, Ferosh Jacob, Matt McNair

Innovative Applications of Artificial Intelligence — Challenge Problem Papers

Elementary School Science and Math Tests as a Driver for AI: Take the Aristo Challenge! / 4019
Peter Clark

Time-Varying Clusters in Large-Scale Flow Cytometry / 4022
Jeremy Hyrkas, Daniel Halperin, Bill Howe

The Winograd Schema Challenge: Evaluating Progress in Commonsense Reasoning / 4024
Leora Morgenstern, Charles Ortiz

Senior Member Papers

Speech Adaptation in Extended Ambient Intelligence Environments / 4027
Bonnie J. Dorr, Lucian Galescu, Ian Perera, Kristy Hollingshead-Seitz, David Atkinson, Micah Clark, William Clancey, Yorick Wilks, Eric Fosler-Lussier

Intelligent Agents for Rehabilitation and Care of Disabled and Chronic Patients / 4032
Sarit Kraus

Mechanism Learning with Mechanism Induced Data / 4037
Tie-Yan Liu, Wei Chen, Tao Qin

Emerging Architectures for Global System Science / 4042
Michela Milano, Pascal Van Hentenryck

Blended Planning and Acting: Preliminary Approach, Research Challenges / 4047
Dana S. Nau, Malik Ghallab, Paolo Traverso

Impact of Modeling Languages on the Theory and Practice in Planning Research / 4052
Jussi Rintanen

Steering Evolution Strategically: Computational Game Theory and Opponent Exploitation for Treatment Planning, Drug Design, and Synthetic Biology / 4057
Tuomas Sandholm

Towards a Programmer’s Apprentice (Again) / 4062
Howard Elliot Shrobe, Boris Katz, Randall Davis

Conducting Neuroscience to Guide the Development of AI / 4067
Jeffrey Mark Siskind

Challenges in Resource and Cost Allocation / 4073
Toby Walsh

Explaining Watson: Polymath Style / 4078
Wlodek W. Zadrozny, Valeria de Paiva, Lawrence S. Moss

Machine Teaching: An Inverse Problem to Machine Learning and an Approach Toward Optimal Education / 4083
Xiaojin Zhu

Building Strong Semi-Autonomous Systems / 4088
Shlomo Zilberstein

Achieving Intelligence Using Prototypes, Composition, and Analogy / 4093
Vinay K. Chaudhri

Towards User-Adaptive Information Visualization / 4100
Cristina Conati, Giuseppe Carenini, Dereck Toker, Sébastien Lallé

Languages for Learning and Mining / 4107
Luc De Raedt

Compile! / 4112
Pierre Marquis

On the Diagnosis of Cyber-Physical Production Systems / 4119
Oliver Niggemann, Volker Lohweg

Abstraction for Solving Large Incomplete-Information Games / 4127
Tuomas Sandholm

Semantic Representation / 4132
Lenhart K. Schubert

Student Abstracts

A Succinct Conceptualization of the Foundations for a Network Organization Paradigm / 4140
Saad Alqithami

A Goal-Based Model of Personality for Planning-Based Narrative Generation / 4142
Julio Cesar Bahamon, Camille Barot, R. Michael Young

Leveraging Common Structure to Improve Prediction across Related Datasets / 4144
Matt Barnes, Nick Gisolfi, Madalina Fiterau, Artur Dubrawski

Stochastic Blockmodeling for Online Advertising / 4146
Li Chen, Matthew Patton

Query Abduction for ELH Ontologies / 4148
Mahsa Chitsaz, Zhe Wang, Kewen Wang

A Multi-Pass Sieve for Name Normalization / 4150
Jennifer D'Souza

A Sequence Labeling Approach to Deriving Word Variants / 4152
Jennifer D'Souza

Predicting the Quality of User Experiences to Improve Productivity and Wellness / 4154
Priya Lekha Donti, Jacob Rosenbloom, Alex Gruver, James Jr C. Boerkoel

Modelling Individual Negative Emotion Spreading Process with Mobile Phones / 4156
Zhanwei Du, Yongjian Yang, Chuang Ma, Yuan Bai

Active Learning for Informative Projection Retrieval / 4158
Madalina Fiterau, Artur Dubrawski

Placing Influencing Agents in a Flock / 4160
Katie Genter, Peter Stone

Characterizing Performance of Consistency Algorithms by Algorithm Configuration of Random CSP Generators / 4162
Daniel J. Geschwender, Robert J. Woodward, Berthe Y. Choueiry

Finding Meaningful Gaps to Guide Data Acquisition for a Radiation Adjudication System / 4164
Nick Gisolfi, Madalina Fiterau, Artur Dubrawski

Dealing with Trouble: A Data-Driven Model of a Repair Type for a Conversational Agent / 4166
Sviatlana Höhn

On Manipulablity of Random Serial Dictatorship in Sequential Matching with Dynamic Preferences / 4168
Hadi Hosseini, Kate Larson, Robin Cohen

Language Independent Feature Extractor / 4170
Young-Seob Jeong, Ho-Jin Choi

Coupled Collaborative Filtering for Context-aware Recommendation / 4172
Xinxin Jiang, Wei Liu, Longbing Cao, Guodong Long

Sorted Neighborhood for the Semantic Web / 4174
Mayank Kejriwal

Effect of Spatial Pooler Initialization on Column Activity in Hierarchical Temporal Memory / 4176
Mackenzie Leake, Liyu Xia, Kamil Rocki, Wayne Imaino

Acronym Disambiguation Using Word Embedding / 4178
Chao Li, Lei Ji, Jun Yan

Learning Word Vectors Efficiently Using Shared Representations and Document Representations / 4180
Qun Luo, Weiran Xu

Just-in-Time Hierarchical Constraint Decomposition / 4182
Valentin Mayer-Eichberger

Every Team Deserves a Second Chance: Identifying When Things Go Wrong (Student Abstract Version) / 4184
Vaishnavh Nagarajan, Leandro Soriano Marcolino, Milind Tambe

Active Advice Seeking for Inverse Reinforcement Learning / 4186
Phillip Odom, Sriraam Natarajan

Designing Vaccines that Are Robust to Virus Escape / 4188
Swetasudha Panda, Yevgeniy Vorobeychik

"Is It Rectangular?" Using I Spy as an Interactive, Game-Based Approach to Multimodal Robot Learning / 4190
Natalie Paige Parde, Michalis Papakostas, Konstantinos Tsiakas, Rodney D. Nielsen

A New Computational Intelligence Model for Long-Term Prediction of Solar and Geomagnetic Activity / 4192
Mahboobeh Parsapoor, John Brooke, Bertil Svensson

GEF: A Self-Programming Robot Using Grammatical Evolution / 4194
Charles Peabody, Jennifer H. Seitzer

Planning with Numeric Timed Initial Fluents / 4196
Chiara Piacentini, Maria Fox, Derek Long

Combining Ontology Class Expression Generation with Mathematical Modeling for Ontology Learning / 4198
Jedrzej Potoniec, Agnieszka Ławrynowicz

Improving Cross-Domain Recommendation through Probabilistic Cluster-Level Latent Factor Model / 4200
Siting Ren, Sheng Gao, Jianxin Liao, Jun Guo

Representation Discovery for MDPs Using Bisimulation Metrics / 4202
Sherry Shanshan Ruan, Gheorghe Comanici, Prakash Panangaden, Doina Precup

Graphical Representation of Assumption-Based Argumentation / 4204
Claudia Schulz

Actionable Combined High Utility Itemset Mining / 4206
Jingyu Shao, Junfu Yin, Wei Liu, Longbing Cao

Spatio-Temporal Signatures of User-Centric Data: How Similar Are We? / 4208
Samta Shukla, Aditya Telang, Salil Joshi, L. Venkat Subramaniam

Multimedia Data for the Visually Impaired / 4210
Niket Tandon, Shekhar Sharma, Tanima Makkad

Improving Microblog Retrieval from Exterior Corpus by Automatically Constructing Microblogging Corpus / 4212
Wenting Tu, David Cheung, Nikos Mamoulis

Time-Sensitive Opinion Mining for Prediction / 4214
Wenting Tu, David Cheung, Nikos Mamoulis

Self-Organized Collective Decision-Making in a 100-Robot Swarm / 4216
Gabriele Valentini, Heiko Hamann, Marco Dorigo

Handling Uncertainty in Answer Set Programming / 4218
Yi Wang, Joohyung Lee

Combining Machine Learning and Crowdsourcing for Better Understanding Commodity Reviews / 4220
Heting Wu, Hailong Sun, Yili Fang, Kefan Hu, Yongqing Xie, Yangqiu Song, Xudong Liu

What Is the Longest River in the USA? Semantic Parsing for Aggregation Questions / 4222
Kun Xu, Sheng Zhang, Yansong Feng, Songfang Huang, Dongyan Zhao

Accelerating SAT Solving by Common Subclause Elimination / 4224
Yaowei Yan, Chris E. Gutierrez, Jeriah Jn-Charles, Forrest Sheng Bao, Yuanlin Zhang

Global Policy Construction in Modular Reinforcement Learning / 4226
Ruohan Zhang, Zhao Song, Dana H. Ballard

Touchless Telerobotic Surgery — Is It Possible at All? / 4228
Tian Zhou, Maria Eugenia Cabrera, Juan Pablo Wachs

Doctoral Consortium

Modeling Eye Movements when Reading Microblogs / 4231
Maria Barrett, Anders Soegaard

Exploiting the Structure of Distributed Constraint Optimization Problems / 4233
Ferdinando Fioretto

Realistic Assumptions for Attacks on Elections / 4135
Zack Fitzsimmons

Social Hierarchical Learning / 4237
Bradley Hayes

Multivariate Conditional Anomaly Detection and Its Clinical Application / 4239
Charmgil Hong, Milos Hauskrecht

Probabilistic Planning with Risk-Sensitive Criterion / 4241
Ping Hou

Entity Resolution in a Big Data Framework / 4243
Mayank Kejriwal

Non-Classical Planning for Robotic Applications / 4245
Scott Kiesel

Transfer Learning-Based Co-Run Scheduling for Heterogeneous Datacenters / 4247
Wei Kuang, Laura E. Brown, Zhenlin Wang

HVAC-Aware Occupancy Scheduling (Extended Abstract) / 4249
Boon-Ping Lim

Scalable Agent Modeling for Large Multiagent Systems / 4251
Carrie Rebhuhn

Explaining Answer Set Programming in Argumentative Terms / 4253
Claudia Schulz

Optimal Multi-Agent Pathfinding Algorithms / 4255
Guni Sharon

Multi-Agent Team Formation: Solving Complex Problems by Aggregating Opinions / 4257
Leandro Soriano Marcolino

Scaling-Up Inference in Markov Logic / 4259
Deepak Venugopal

Risk-Aware Scheduling throughout Planning and Execution / 4261
Andrew J. Wang

Demonstrations

A Planning-Based Assistance System for Setting Up a Home Theater / 4264
Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo

On Correcting Misspelled Queries in Email Search / 4266
Abhijit Bhole, Raghavendra Udupa

Towards Cognitive Automation of Data Science / 4268
Alain Biem, Maria Butrico, Mark Feblowitz, Tim Klinger, Yuri Malitsky, Kenney Ng, Adam Perer, Chandra Reddy, Anton Riabov, Horst Samulowitz, Daby Sow, Gerald Tesauro, Deepak Turaga

Tartanian7: A Champion Two-Player No-Limit Texas Hold'em Poker-Playing Program / 4270
Noam Brown, Sam Ganzfried, Tuomas Sandholm

CrowdMR: Integrating Crowdsourcing with MapReduce for AI-Hard Problems / 4272
Jun Chen, Chaokun Wang, Yiyuan Bai

VecLP: A Realtime Video Recommendation System for Live TV Programs / 4274
Sheng Gao, Dai Zhang, Honggang Zhang, Chao Huang, Yongsheng Zhang, Jianxin Liao, Jun Guo

Multi-Agent Dynamic Coupling for Cooperative Vehicles Modeling / 4276
Maxime Guériau, Romain Billot, Nour-Eddin El Faouzi, Salima Hassas, Frédéric Armetta

Cognitive Master Teacher / 4278
Raghu Krishnapuram, Luis A Lastras, Satya Nitta

Visualizing Inference / 4280
Henry Lieberman, Joe Henke

Bottom-Up Demand Response by Following Local Energy Generation Voluntarily / 4282
Tobias Linnenberg, Alexander Fay, Michael Kaisers

Visualization Techniques for Topic Model Checking / 4284
Jaimie Murdock, Colin Allen

Salient Object Detection via Objectness Proposals / 4286
Tam Van Nguyen

Gene Selection in Microarray Datasets Using Progressively Refined PSO Scheme / 4288
Yamuna Prasad, K. K. Biswas

World WordNet Database Structure: An Efficient Schema for Storing Information of WordNets of the World / 4290
Hanumant Harichandra Redkar, Sudha Baban Bhingardive, Diptesh Kanojia, Pushpak Bhattacharyya

The Network Data Repository with Interactive Graph Analytics and Visualization / 4292
Ryan Rossi, Nesreen Ahmed

DeepTutor: An Effective, Online Intelligent Tutoring System That Promotes Deep Learning / 4294
Vasile Rus, Nobal Niraula, Rajendra Banjade

Inferring Latent User Properties from Texts Published in Social Media / 4296
Svitlana Volkova, Yoram Bachrach, Michael Armstrong, Vijay Sharma

Circumventing Robots' Failures by Embracing Their Faults: A Practical Approach to Planning for Autonomous Construction / 4298
Stefan Witwicki, Francesco Mondada

Crowd Motion Monitoring with Thermodynamics-Inspired Feature / 4300
Xinfeng Zhang, Su Yang, Yuan Yan Tang, Weishan Zhang

Virtual Agent Demonstrations

Cerebella: Automatic Generation of Nonverbal Behavior for Virtual Humans / 4303
Margot Lhommet, Yuyu Xu, Stacy Marsella

Scheherazade: Crowd-Powered Interactive Narrative Generation / 4305
Boyang Li, Mark Riedl

SimSensei Demonstration: A Perceptive Virtual Human Interviewer for Healthcare Applications / 4307
Louis-Philippe Morency, Giota Stratou, David DeVault, Arno Hartholt, Margo Lhommet, Gale Lucas, Fabrizio Morbini, Kallirroi Georgila, Stefan Scherer, Jonathan Gratch, Stacy Marsella, David Traum, Albert Rizzo

LOL — Laugh Out Loud / 4309
Florian Pecune, Beatrice Biancardi, Yu Ding, Catherine Pelachaud, Maurizio Mancini, Giovanna Varni, Antonio Camurri, Gualtiero Volpe

Using Social Relationships to Control Narrative Generation / 4311
Julie Porteous, Fred Charles, Marc Cavazza

Interactive Narrative Planning in The Best Laid Plans / 4313
Stephen G. Ware, R. Michael Young, Christian Stith, Phillip Wright

What's Hot Abstracts

Knowledge Representation and Reasoning: What’s Hot / 4316
Chitta Baral, Giuseppe De Giacomo

What’s Hot in Crowdsourcing and Human Computation / 4318
Jeffrey Bigham

BDDs Strike Back (in AI Planning) / 4320
Stefan Edelkamp, Peter Kissmann, Alvaro Torralba

What's Hot in the SAT and ASP Competitions / 4322
Marijn Heule, Torsten Schaub

What Is Hot in CHI / 4324
Wei Li

AIBIRDS: The Angry Birds Artificial Intelligence Competition / 4326
Jochen Renz

RoboCup@Home — Benchmarking Domestic Service Robots / 4328
Sven Wachsmuth, Dirk Holz, Maja Rudinac, Javier Ruiz-del-Solar

Data Science for Social Good — 2014 KDD Highlights / 4330
Wei Wang

AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.

AI Magazine Articles

Conference Proceedings Papers

Funding Tutorial

Presidential Addresses

Policy Reports

Symposia Papers

Workshop Papers

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops