[资源帖]IJCAI 2016 下载地址

从IJCAI官网上爬取HTTP源码.然后进行按要求修改成下载地址.
分享一下百度网盘下载地址：http://pan.baidu.com/s/1mikAiPa密码：7tp7
失效后请与我联系：[email protected]

下面是pdf名称与里边论文题目的映射关系

000.pdf Preface 
001.pdf Conference Organization 
002.pdf Program Committee 
003.pdf Conference Organizers and Sponsors 
004.pdf Awards and Distinguished Papers 
005.pdf IJCAI Organization 
006.pdf Past IJCAI Conferences 
007.pdf Interdependent Scheduling Games 
008.pdf Scalable Greedy Algorithms for Task/Resource Constrained Multi-Agent Stochastic Planning 
009.pdf Coco: Runtime Reasoning about Conflicting Commitments 
010.pdf Verifying Existence of Resource-Bounded Coalition Uniform Strategies 
011.pdf On Truthful Mechanisms for Maximin Share Allocations 
012.pdf Modeling and Reasoning about NTU Games via Answer Set Programming 
013.pdf Randomized Social Choice Functions under Metric Preferences 
014.pdf Generalized Discrete Preference Games 
015.pdf Computing Pareto Optimal Committees 
016.pdf Control of Fair Division 
017.pdf A Characterization of Voting Power for Discrete Weight Distributions 
018.pdf Misrepresentation in District Voting 
019.pdf Conditional and Sequential Approval Voting on Combinatorial Domains 
020.pdf On Logics of Strategic Ability Based on Propositional Control 
021.pdf Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels 
022.pdf The Complexity of Playing Durak 
023.pdf Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving 
024.pdf To Give or Not to Give: Fair Division for Single Minded Valuations 
025.pdf Pairwise Diffusion of Preference Rankings in Social Networks 
026.pdf Facility Location with Minimax Envy 
027.pdf Achieving Proportional Representation in Conference Programs 
028.pdf Subset Selection via Implicit Utilitarian Voting 
029.pdf Trading on a Rigged Game: Outcome Manipulation in Prediction Markets 
030.pdf Congestion Games with Polytopal Strategy Spaces 
031.pdf Robust Draws in Balanced Knockout Tournaments 
032.pdf Verifying Pushdown Multi-Agent Systems against Strategy Logics 
033.pdf Truthfulness of a Proportional Sharing Mechanism in Resource Exchange 
034.pdf Better Strategyproof Mechanisms without Payments or Prior —— An Analytic Approach 
035.pdf Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral Coverage 
036.pdf Selective Norm Monitoring 
037.pdf Elicitation for Preferences Single Peaked on Trees 
038.pdf Preference Elicitation for Single Crossing Domain 
039.pdf Complexity of Manipulation with Partial Information in Voting 
040.pdf Strategic Voting with Incomplete Information 
041.pdf Voting-Based Group Formation 
042.pdf Committee Scoring Rules: Axiomatic Classification and Hierarchy 
043.pdf How Hard Is It for a Party to Nominate an Election Winner? 
044.pdf Digital Good Exchange 
045.pdf Parallel Behavior Composition for Manufacturing 
046.pdf Opinion Dynamics with Local Interactions 
047.pdf Online Mechanism Design for Vehicle-to-Grid Car Parks 
048.pdf Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous Agents 
049.pdf A Network-Based Rating System and Its Resistance to Bribery 
050.pdf Three Strategies to Success: Learning Adversary Models in Security Games 
051.pdf Reconfigurability in Reactive Multiagent Systems 
052.pdf Probabilistic Matrix Inspection and Group Scheduling 
053.pdf Catcher-Evader Games 
054.pdf Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish Routing 
055.pdf Social Choice for Agents with General Utilities 
056.pdf Incentivizing Reliability in Demand-Side Response 
057.pdf Allocating Indivisible Items in Categorized Domains 
058.pdf Correlated Voting 
059.pdf Silk: A Simulation Study of Regulating Open Normative Multiagent Systems 
060.pdf Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies 
061.pdf Dynamic Auctions with Bank Accounts 
062.pdf SLIM: Semi-Lazy Inference Mechanism for Plan Recognition 
063.pdf Sequential Plan Recognition 
064.pdf Distributed Decoupling of Multiagent Simple Temporal Problems 
065.pdf Role Assignment for Game-Theoretic Cooperation 
066.pdf Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods 
067.pdf Automated Mechanism Design without Money via Machine Learning 
068.pdf Trembling Hand Equilibria of Plurality Voting 
069.pdf Distributed Breakout: Beyond Satisfaction 
070.pdf Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation 
071.pdf Controlling Growing Tasks with Heterogeneous Agents 
072.pdf Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems 
073.pdf An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems 
074.pdf Efficient Local Search in Coordination Games on Graphs 
075.pdf Assigning a Small Agreeable Set of Indivisible Items to Multiple Players 
076.pdf Preserving Privacy in Region Optimal DCOP Algorithms 
077.pdf Nash Equilibria and Their Elimination in Resource Games 
078.pdf An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets 
079.pdf Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems 
080.pdf Coordinating Human-UAV Teams in Disaster Response 
081.pdf Efficient Resource Allocation for Protecting Coral Reef Ecosystems 
082.pdf Optimally Protecting Elections 
083.pdf Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints 
084.pdf Towards a White Box Approach to Automated Algorithm Design 
085.pdf Action Selection for Hammer Shots in Curling 
086.pdf Fast Solving Maximum Weight Clique Problem in Massive Graphs 
087.pdf Packing Graphs with ASP for Landscape Simulation 
088.pdf On the Topology of Genetic Algorithms 
089.pdf Truncating Shortest Path Search for Efficient Map-Matching 
090.pdf Relevance for SAT(ID) 
091.pdf Counting Linear Extensions of Sparse Posets 
092.pdf Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory 
093.pdf Limited Discrepancy AND/OR Search and Its Application to Optimization Tasks in Graphical Models 
094.pdf FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs 
095.pdf Heuristics and Really Hard Instances for Subgraph Isomorphism Problems 
096.pdf Markov Chain Analysis of Noise and Restart in Stochastic Local Search 
097.pdf Efficiently Finding Conceptual Clustering Models with Integer Linear Programming 
098.pdf Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization 
099.pdf Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban 
100.pdf An Approximation Algorithm for the Subpath Planning Problem 
101.pdf External Memory Bidirectional Search 
102.pdf Canonical Orderings on Grids 
103.pdf Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty 
104.pdf Multiple Constraint Acquisition 
105.pdf Ranking Constraints 
106.pdf Bias in Algorithm Portfolio Performance Evaluation 
107.pdf Constraint Acquisition with Recommendation Queries 
108.pdf Combining the k-CNF and XOR Phase-Transitions 
109.pdf Linear Arithmetic Satisfiability via Strategy Improvement 
110.pdf Constraint Detection in Natural Language Problem Descriptions 
111.pdf Improving Model Counting by Leveraging Definability 
112.pdf Static Symmetry Breaking with the Reflex Ordering 
113.pdf A Clause Tableau Calculus for MaxSAT 
114.pdf Optimizing Molecular Cloning of Multiple Plasmids 
115.pdf Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling 
116.pdf Optimizing Simple Tabular Reduction with a Bitwise Representation 
117.pdf Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork 
118.pdf Interactive Teaching Strategies for Agent Training 
119.pdf Planning with Task-Oriented Knowledge Acquisition for a Service Robot 
120.pdf A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty 
121.pdf Apprenticeship Scheduling: Learning to Schedule from Human Experts 
122.pdf DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations 
123.pdf Interactive Martingale Boosting 
124.pdf Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning 
125.pdf Predictive Models of Malicious Behavior in Human Negotiations 
126.pdf Verbalization: Narration of Autonomous Robot Experience 
127.pdf Interactive Scheduling of Appliance Usage in the Home 
128.pdf Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates 
129.pdf Completion of Disjunctive Logic Programs 
130.pdf Query Answering with Transitive and Linear-Ordered Data 
131.pdf Evaluation of Arguments from Support Relations: Axioms and Semantics 
132.pdf Incomplete Causal Laws in the Situation Calculus Using Free Fluents 
133.pdf On the Relationship between P-log and LPMLN 
134.pdf Online Agent Supervision in the Situation Calculus 
135.pdf Equivalent Stream Reasoning Programs 
136.pdf The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics 
137.pdf Ontology-Mediated Queries Distributing over Components 
138.pdf Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 
139.pdf Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases 
140.pdf First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics 
141.pdf Automated Synthesis of Timed Failure Propagation Graphs 
142.pdf ASP for Anytime Dynamic Programming on Tree Decompositions 
143.pdf Extending the Harper Identity to Iterated Belief Change 
144.pdf Preferential Query Answering over the Semantic Web with Possibilistic Networks 
145.pdf Query-Based Entailment and Inseparability for ALC Ontologies 
146.pdf Knowledge Compilation Meets Communication Complexity 
147.pdf An ASP Semantics for Default Reasoning with Constraints 
148.pdf Plan Synthesis for Knowledge and Action Bases 
149.pdf On the Impact of Modal Depth in Epistemic Planning 
150.pdf Imperfect-Information Games and Generalized Planning 
151.pdf LTLf and LDLf Synthesis under Partial Observability 
152.pdf Investigating the Relationship between Argumentation Semantics via Signatures 
153.pdf Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access 
154.pdf Forgetting in Multi-Agent Modal Logics 
155.pdf Trend-Based Prediction of Spatial Change 
156.pdf Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models 
157.pdf Querying Data Graphs with Arithmetical Regular Expressions 
158.pdf On Consensus Extraction 
159.pdf Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries 
160.pdf Distributing Knowledge into Simple Bases 
161.pdf Epistemic Boolean Games Based on a Logic of Visibility and Control 
162.pdf Normative Multiagent Systems: The Dynamic Generalization 
163.pdf Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding 
164.pdf Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games 
165.pdf Question Answering via Integer Programming over Semi-Structured Knowledge 
166.pdf Conservative Rewritability of Description Logic TBoxes 
167.pdf Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic 
168.pdf Learning Possibilistic Logic Theories from Default Rules 
169.pdf Answering Metaqueries over Hi (OWL 2 QL) Ontologies 
170.pdf Constraint Answer Set Programming versus Satisfiability Modulo Theories 
171.pdf Exploring the Context of Locations for Personalized Location Recommendations 
172.pdf A Decision Procedure for a Fragment of Linear Time Mu-Calculus 
173.pdf Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks 
174.pdf Belief Update for Proper Epistemic Knowledge Bases 
175.pdf Optimal Status Enforcement in Abstract Argumentation 
176.pdf Efficient Representations for the Modal Logic S5 
177.pdf Expressivity of Datalog Variants —— Completing the Picture 
178.pdf Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? 
179.pdf Normative Practical Reasoning via Argumentation and Dialogue 
180.pdf Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses 
181.pdf Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate 
182.pdf Diagnosability of Discrete-Event Systems with Uncertain Observations 
183.pdf Sampling-Based Belief Revision 
184.pdf Efficient Query Answering over Expressive Inconsistent Description Logics 
185.pdf Distributed Autoepistemic Logic and its Application to Access Control 
186.pdf Text-Enhanced Representation Learning for Knowledge Graph 
187.pdf On the Representation and Embedding of Knowledge Bases beyond Binary Relations 
188.pdf Connecting Qualitative Spatial and Temporal Representations by Propositional Closure 
189.pdf From One Point to a Manifold: Knowledge Graph Embedding for Precise Link Prediction 
190.pdf Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus 
191.pdf Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering 
192.pdf A Characterization of the Semantics of Logic Programs with Aggregates 
193.pdf Forgetting Concept and Role Symbols in ALCOIHμ+(∇, ⊓)-Ontologies 
194.pdf Driver Frustration Detection from Audio and Video in the Wild 
195.pdf The Complexity of Learning Acyclic CP-Nets 
196.pdf Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss 
197.pdf Cold-Start Recommendations for Audio News Stories Using Matrix Factorization 
198.pdf MPMA: Mixture Probabilistic Matrix Approximation for Collaborative Filtering 
199.pdf A Generalized Matching Pursuit Approach for Graph-Structured Sparsity 
200.pdf Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical Events 
201.pdf ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart Home 
202.pdf Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep Learning 
203.pdf Learning Higher-Order Logic Programs through Abstraction and Invention 
204.pdf A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data 
205.pdf Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations 
206.pdf EBEK: Exemplar-Based Kernel Preserving Embedding 
207.pdf Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons 
208.pdf Robust Domain Generalisation by Enforcing Distribution Invariance 
209.pdf Copula Mixed-Membership Stochastic Blockmodel 
210.pdf DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks 
211.pdf A Robust Convex Formulation for Ensemble Clustering 
212.pdf Semi-Data-Driven Network Coarsening 
213.pdf Constrained Local Latent Variable Discovery 
214.pdf Knowledge-Based Sequence Mining with ASP 
215.pdf Incremental Truncated LSTD 
216.pdf A Distributed and Scalable Machine Learning Approach for Big Data 
217.pdf Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games 
218.pdf Semi-Supervised Active Learning with Cross-Class Sample Transfer 
219.pdf Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using Wearables 
220.pdf Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition 
221.pdf Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection 
222.pdf Online Bayesian Max-Margin Subspace Multi-View Learning 
223.pdf Tight Policy Regret Bounds for Improving and Decaying Bandits 
224.pdf Bayesian Reinforcement Learning with Behavioral Feedback 
225.pdf Grounding Topic Models with Knowledge Bases 
226.pdf Class-Wise Supervised Hashing with Label Embedding and Active Bits 
227.pdf Transfer Learning with Active Queries from Source Domain 
228.pdf Learning Stable Linear Dynamical Systems with the Weighted Least Square Method 
229.pdf Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code 
230.pdf Change Detection Using Directional Statistics 
231.pdf Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning 
232.pdf Multi-Label Informed Feature Selection 
233.pdf Robust Out-of-Sample Data Recovery 
234.pdf On Structural Properties of MDPs that Bound Loss Due to Shallow Planning 
235.pdf Constructing Abstraction Hierarchies Using a Skill-Symbol Loop 
236.pdf Bounds for Learning from Evolutionary-Related Data in the Realizable Case 
237.pdf Learning Multi-Step Predictive State Representations 
238.pdf Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human Behaviors 
239.pdf Predicting Personal Traits from Facial Images Using Convolutional Neural Networks Augmented with Facial Landmark Information 
240.pdf A Relaxed Ranking-Based Factor Model for Recommender System from Implicit Feedback 
241.pdf Adversarial Sequence Tagging 
242.pdf Joint Feature Selection and Structure Preservation for Domain Adaptation 
243.pdf Multiple Kernel Clustering with Local Kernel Alignment Maximization 
244.pdf Feature Learning Based Deep Supervised Hashing with Pairwise Labels 
245.pdf Multi-View Learning with Limited and Noisy Tagging 
246.pdf Graph Quality Judgement: A Large Margin Expedition 
247.pdf Sparse Bayesian Content-Aware Collaborative Filtering for Implicit Feedback 
248.pdf Group-Invariant Cross-Modal Subspace Learning 
249.pdf Learning to Detect Concepts from Webly-Labeled Video Data 
250.pdf Towards Convolutional Neural Networks Compression via Global Error Reconstruction 
251.pdf Efficient k-Support-Norm Regularized Minimization via Fully Corrective Frank-Wolfe Method 
252.pdf Supervised Matrix Factorization for Cross-Modality Hashing 
253.pdf Aligning Users across Social Networks Using Network Embedding 
254.pdf Transductive Optimization of Top k Precision 
255.pdf Natural Supervised Hashing 
256.pdf Linear-Time Outlier Detection via Sensitivity 
257.pdf Avoiding Optimal Mean Robust PCA/2DPCA with Non-greedy ℓ1-Norm Maximization 
258.pdf On Combining Side Information and Unlabeled Data for Heterogeneous Multi-Task Metric Learning 
259.pdf Multi-Grained Role Labeling Based on Multi-Modality Information for Real Customer Service Telephone Conversation 
260.pdf Predict Anchor Links across Social Networks via an Embedding Approach 
261.pdf Efficient Bayesian Clustering for Reinforcement Learning 
262.pdf Soft Margin Consistency Based Scalable Multi-View Maximum Entropy Discrimination 
263.pdf Sum-Product-Max Networks for Tractable Decision Making 
264.pdf Asynchronous Accelerated Stochastic Gradient Descent 
265.pdf Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval 
266.pdf Fast Laplace Approximation for Sparse Bayesian Spike and Slab Models 
267.pdf Subspace Clustering via New Low-Rank Model with Discrete Group Structure Constraint 
268.pdf Parameter-Free Auto-Weighted Multiple Graph Learning: A Framework for Multiview Clustering and Semi-Supervised Classification 
269.pdf Gated Probabilistic Matrix Factorization: Learning Users’ Attention from Missing Values 
270.pdf Tri-Party Deep Network Representation 
271.pdf Outlier Detection in Complex Categorical Data by Modeling the Feature Value Couplings 
272.pdf Fast Learning from Distributed Datasets without Entity Matching 
273.pdf Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification 
274.pdf Deep Subspace Clustering with Sparsity Prior 
275.pdf Self-Paced Boost Learning for Classification 
276.pdf Parallel Pareto Optimization for Subset Selection 
277.pdf Derivative-Free Optimization of High-Dimensional Non-Convex Functions by Sequential Random Embeddings 
278.pdf Bridging LSTM Architecture and the Neural Dynamics during Reading 
279.pdf Non-Negative Matrix Factorization with Sinkhorn Distance 
280.pdf Dependency Clustering of Mixed Data with Gaussian Mixture Copulas 
281.pdf Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive Models 
282.pdf Portfolio Blending via Thompson Sampling 
283.pdf Adaptive Variance Reducing for Stochastic Gradient Descent 
284.pdf Diversifying Convex Transductive Experimental Design for Active Learning 
285.pdf Improving CNN Performance with Min-Max Objective 
286.pdf Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process 
287.pdf Fast Structural Binary Coding 
288.pdf Unsupervised Alignment of Actions in Video with Text Descriptions 
289.pdf Distance Based Modeling of Interactions in Structured Regression 
290.pdf Supervised Heterogeneous Domain Adaptation via Random Forests 
291.pdf Learning Compact Neural Word Embeddings by Parameter Space Sharing 
292.pdf A Novel Feature Matching Strategy for Large Scale Image Retrieval 
293.pdf Learning Using Unselected Features (LUFe) 
294.pdf Constructive Preference Elicitation by Setwise Max-Margin Learning 
295.pdf Inference Machines for Nonparametric Filter Learning 
296.pdf Dynamic Early Stopping for Naive Bayes 
297.pdf Policy Search in Reproducing Kernel Hilbert Space 
298.pdf Generalized Dictionary for Multitask Learning with Boosting 
299.pdf Fast Robust Non-Negative Matrix Factorization for Large-Scale Human Action Data Clustering 
300.pdf Cost-Saving Effect of Crowdsourcing Learning 
301.pdf Dealing with Multiple Classes in Online Class Imbalance Learning 
302.pdf Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View Learning 
303.pdf Learning First-Order Logic Embeddings via Matrix Factorization 
304.pdf Constrained Preference Embedding for Item Recommendation 
305.pdf Nonparametric Risk and Stability Analysis for Multi-Task Learning Problems 
306.pdf Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering 
307.pdf Bayesian Optimization of Partition Layouts for Mondrian Processes 
308.pdf Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness 
309.pdf Learning A Deep ℓ∞ Encoder for Hashing 
310.pdf To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary Codes 
311.pdf Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation 
312.pdf Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio 
313.pdf Preference Inference through Rescaling Preference Learning 
314.pdf Budgeted Multi-Armed Bandits with Multiple Plays 
315.pdf Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression Recognition 
316.pdf Robust and Sparse Fuzzy K-Means Clustering 
317.pdf Weight Features for Predicting Future Model Performance of Deep Neural Networks 
318.pdf i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing Schema 
319.pdf Unsupervised Human Action Categorization with Consensus Information Bottleneck Method 
320.pdf Modularity Based Community Detection with Deep Learning 
321.pdf Sparsity Conditional Energy Label Distribution Learning for Age Estimation 
322.pdf Empirical Risk Minimization for Metric Learning Using Privileged Information 
323.pdf A Unified Framework for Discrete Spectral Clustering 
324.pdf Learning by Actively Querying Strong Modal Features 
325.pdf Multi-Modal Bayesian Embeddings for Learning Social Knowledge Graphs 
326.pdf Greedy Learning of Generalized Low-Rank Models 
327.pdf Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA 
328.pdf Neural Enquirer: Learning to Query Tables in Natural Language 
329.pdf Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative Transfer 
330.pdf Unsupervised Feature Learning from Time Series 
331.pdf Collaborative Filtering with Generalized Laplacian Constraint via Overlapping Decomposition 
332.pdf Large Scale Sparse Clustering 
333.pdf Improving DCNN Performance with Sparse Category-Selective Objective Function 
334.pdf Staleness-Aware Async-SGD for Distributed Deep Learning 
335.pdf Self-Adapted Multi-Task Clustering 
336.pdf Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks 
337.pdf Denoising and Completion of 3D Data via Multidimensional Dictionary Learning 
338.pdf Improving Top-N Recommendation with Heterogeneous Loss 
339.pdf Predictive Collaborative Filtering with Side Information 
340.pdf Incomplete Multi-Modal Visual Data Grouping 
341.pdf Learning Cross-View Binary Identities for Fast Person Re-Identification 
342.pdf Fast-and-Light Stochastic ADMM 
343.pdf Transfer Hashing with Privileged Information 
344.pdf Model-Based Deep Hand Pose Estimation 
345.pdf Probabilistic Rank-One Matrix Analysis with Concurrent Regularization 
346.pdf Crowdsourcing via Tensor Augmentation and Completion 
347.pdf A Self-Representation Induced Classifier 
348.pdf Stochastic Multiresolution Persistent Homology Kernel 
349.pdf Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence 
350.pdf Managing Overstaying Electric Vehicles in Park-and-Charge Facilities 
351.pdf A SAT-Based Approach for Mining Association Rules 
352.pdf Taking Up the Gaokao Challenge: An Information Retrieval Approach 
353.pdf A Framework for Integrating Symbolic and Sub-Symbolic Representations 
354.pdf Informed Expectations to Guide GDA Agents in Partially Observable Environments 
355.pdf A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call Records 
356.pdf Optimal Interdiction of Illegal Network Flow 
357.pdf Modifying MCTS for Human-Like General Video Game Playing 
358.pdf Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data 
359.pdf Predicting Confusion in Information Visualization from Eye Tracking and Interaction Data 
360.pdf Word Clouds with Latent Variable Analysis for Visual Comparison of Documents 
361.pdf Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping 
362.pdf Household Structure Analysis via Hawkes Processes for Enhancing Energy Disaggregation 
363.pdf Protein Secondary Structure Prediction Using Cascaded Convolutional and Recurrent Neural Networks 
364.pdf Makeup Like a Superstar: Deep Localized Makeup Transfer Network 
365.pdf Urban Water Quality Prediction Based on Multi-Task Multi-View Learning 
366.pdf Clustering Financial Time Series: How Long Is Enough? 
367.pdf Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory Networks 
368.pdf How to Build Your Network? A Structural Analysis 
369.pdf Simulating Human Inferences in the Light of New Information: A Formal Analysis 
370.pdf Measuring Performance of Peer Prediction Mechanisms Using Replicator Dynamics 
371.pdf DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide Level 
372.pdf Balancing Appearance and Context in Sketch Interpretation 
373.pdf Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies 
374.pdf Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews 
375.pdf Scene Text Detection in Video by Learning Locally and Globally 
376.pdf Stochastic and-or Grammars: A Unified Framework and Logic Perspective 
377.pdf Dimensionally Guided Synthesis of Mathematical Word Problems 
378.pdf Scale-Adaptive Low-Resolution Person Re-Identification via Learning a Discriminating Surface 
379.pdf On Modeling and Predicting Individual Paper Citation Count over Time 
380.pdf Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application 
381.pdf Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression Prior 
382.pdf POISketch: Semantic Place Labeling over User Activity Streams 
383.pdf ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data 
384.pdf Nonlinear Hierarchical Part-Based Regression for Unconstrained Face Alignment 
385.pdf Situation Testing-Based Discrimination Discovery: A Causal Inference Approach 
386.pdf Maximum Sustainable Yield Problem for Robot Foraging and Construction System 
387.pdf Personalizing EEG-Based Affective Models with Transfer Learning 
388.pdf WikiWrite: Generating Wikipedia Articles Automatically 
389.pdf A Discriminative Approach to Grounded Spoken Language Understanding in Interactive Robotics 
390.pdf Distraction-Based Neural Networks for Modeling Document 
391.pdf Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine Translation 
392.pdf Neural Network Translation Models for Grammatical Error Correction 
393.pdf Recognizing Opinion Sources Based on a New Categorization of Opinion Types 
394.pdf Hashtag Recommendation Using Attention-Based Convolutional Neural Network 
395.pdf Intersubjectivity and Sentiment: From Language to Knowledge 
396.pdf Parse Tree Fragmentation of Ungrammatical Sentences 
397.pdf Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction 
398.pdf Generating Recommendation Evidence Using Translation Model 
399.pdf Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation 
400.pdf Bag-of-Embeddings for Text Classification 
401.pdf Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue Systems 
402.pdf Joint Models for Extracting Adverse Drug Events from Biomedical Text 
403.pdf StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer Conversation 
404.pdf Towards Zero Unknown Word in Neural Machine Translation 
405.pdf Learning Paraphrase Identification with Structural Alignment 
406.pdf Knowledge Representation Learning with Entities, Attributes and Relations 
407.pdf Recurrent Neural Network for Text Classification with Multi-Task Learning 
408.pdf Exploring Segment Representations for Neural Segmentation Models 
409.pdf class="italic">HC-Search for Incremental Parsing 
410.pdf Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia 
411.pdf Cross-Lingual Dataless Classification for Many Languages 
412.pdf Robust Natural Language Processing —— Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial Language 
413.pdf Sparse Word Embeddings Using ℓ1 Regularized Online Learning 
414.pdf Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN 
415.pdf Employing External Rich Knowledge for Machine Comprehension 
416.pdf Building Joint Spaces for Relation Extraction 
417.pdf Chinese Song Iambics Generation with Neural Attention-Based Model 
418.pdf A Bilingual Graph-Based Semantic Model for Statistical Machine Translation 
419.pdf Diverse Image Captioning via GroupTalk 
420.pdf Representation Learning of Knowledge Graphs with Hierarchical Types 
421.pdf Neural Generative Question Answering 
422.pdf Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction 
423.pdf Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction 
424.pdf A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding 
425.pdf Expert Finding for Community-Based Question Answering via Ranking Metric Network Learning 
426.pdf Context-Specific and Multi-Prototype Character Representations 
427.pdf Unsupervised Storyline Extraction from News Articles 
428.pdf Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing 
429.pdf Markovian State and Action Abstractions for MDPs via Hierarchical MCTS 
430.pdf Which Contingent Events to Observe for the Dynamic Controllability of a Plan 
431.pdf Factored Probabilistic Belief Tracking 
432.pdf Maintaining Evolving Domain Models 
433.pdf A Branch-and-Price Algorithm for Scheduling Observations on a Telescope 
434.pdf Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding 
435.pdf Online Symbolic Gradient-Based Optimization for Factored Action MDPs 
436.pdf ∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction 
437.pdf Learning to Rank for Synthesizing Planning Heuristics 
438.pdf Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems 
439.pdf Generalizing the Edge-Finder Rule for the Cumulative Constraint 
440.pdf Decoupled Strong Stubborn Sets 
441.pdf Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations 
442.pdf A POMDP Approach to Influence Diagram Evaluation 
443.pdf Anticipatory Troubleshooting 
444.pdf Hierarchical Model Predictive Control for Multi-Robot Navigation 
445.pdf Batch-Switching Policy Iteration 
446.pdf In Search of Tractability for Partial Satisfaction Planning 
447.pdf State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning 
448.pdf Privacy Preserving Plans in Partially Observable Environments 
449.pdf Sequential Planning for Steering Immune System Adaptation 
450.pdf Heuristic Subset Selection in Classical Planning 
451.pdf Learning Predictive State Representations via Monte-Carlo Tree Search 
452.pdf Automatic Generation of High-Level State Features for Generalized Planning 
453.pdf Planning for a Single Agent in a Multi-Agent Environment Using FOND 
454.pdf Heuristic Planning for PDDL+ Domains 
455.pdf PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor Selection 
456.pdf Heuristics for Numeric Planning via Subgoaling 
457.pdf Hierarchical Finite State Controllers for Generalized Planning 
458.pdf Correlation Complexity of Classical Planning Domains 
459.pdf Blind Search for Atari-Like Online Planning Revisited 
460.pdf Plan Recognition as Planning Revisited 
461.pdf On State-Dominance Criteria in Fork-Decoupled Search 
462.pdf Abstraction Heuristics for Symbolic Bidirectional Search 
463.pdf Goal Recognition Design with Stochastic Agent Action Outcomes 
464.pdf Graph-Based Factorization of Classical Planning Problems 
465.pdf Structural Symmetries for Fully Observable Nondeterministic Planning 
466.pdf Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives 
467.pdf Co-Optimizating Multi-Agent Placement with Task Assignment and Scheduling 
468.pdf Commitment Semantics for Sequential Decision Making under Reward Uncertainty 
469.pdf Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors 
470.pdf 3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher Vector 
471.pdf Clustering-Based Joint Feature Selection for Semantic Attribute Prediction 
472.pdf Semi-Supervised Multimodal Deep Learning for RGB-D Object Recognition 
473.pdf Precision Instrument Targeting via Image Registration for the Mars 2020 Rover 
474.pdf Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from Videos 
475.pdf Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor 
476.pdf Making Robots Proactive through Equilibrium Maintenance 
477.pdf Robust Iterative Quantization for Efficient ℓp-norm Similarity Search 
478.pdf Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet Clustering 
479.pdf Online Multi-Object Tracking by Quadratic Pseudo-Boolean Optimization 
480.pdf Robust Joint Discriminative Feature Learning for Visual Tracking 
481.pdf Saliency Transfer: An Example-Based Method for Salient Object Detection 
482.pdf What Is Where: Inferring Containment Relations from Videos 
483.pdf A Stochastic Image Grammar for Fine-Grained 3D Scene Reconstruction 
484.pdf Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning 
485.pdf Geometric Scene Parsing with Hierarchical LSTM 
486.pdf Incorporating Prototype Theory in Convolutional Neural Networks 
487.pdf Learning Social Affordance for Human-Robot Interaction 
488.pdf Learning to Order Objects Using Haptic and Proprioceptive Exploratory Behaviors 
489.pdf Crowd Scene Understanding with Coherent Recurrent Neural Networks 
490.pdf Learning Multi-Modal Grounded Linguistic Semantics by Playing “I Spy” 
491.pdf Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural Networks 
492.pdf Visual Tracking with Reliable Memories 
493.pdf Object Recognition with Hidden Attributes 
494.pdf Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications 
495.pdf Object-Based World Modeling in Semi-Static Environments with Dependent Dirichlet Process Mixtures 
496.pdf Enforcing Template Representability and Temporal Consistency for Adaptive Sparse Tracking 
497.pdf Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations 
498.pdf Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum Learning 
499.pdf Semantics-Aware Deep Correspondence Structure Learning for Robust Person Re-Identification 
500.pdf Video-Based Person Re-Identification by Simultaneously Learning Intra-Video and Inter-Video Distance Metrics 
501.pdf Contextual Symmetries in Probabilistic Graphical Models 
502.pdf Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls 
503.pdf Incorporating Knowledge into Structural Equation Models Using Auxiliary Variables 
504.pdf Solving M-Modes Using Heuristic Search 
505.pdf Probabilistic Inference Modulo Theories 
506.pdf Adaptive Budget Allocation for Maximizing Influence of Advertisements 
507.pdf A Symbolic Closed-Form Solution to Sequential Market Making with Inventory 
508.pdf Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming 
509.pdf Group Decision Making via Probabilistic Belief Merging 
510.pdf Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications 
511.pdf Swift: Compiled Inference for Probabilistic Programming Languages 
512.pdf Latent Contextual Bandits and their Application to Personalized Recommendations for New Users 
513.pdf A Generative Model for Recognizing Mixed Group Activities in Still Images 
514.pdf ATUCAPTS: Automated Tests that a User Cannot Pass Twice Simultaneously 
515.pdf Domain Adaptation for Learning from Label Proportions Using Self-Training 
516.pdf Inferring Motif-Based Diffusion Models for Social Networks 
517.pdf Non-Objection Inference for Inconsistency-Tolerant Query Answering 
518.pdf Multi-Source Iterative Adaptation for Cross-Domain Classification 
519.pdf Timeline Summarization from Social Media with Life Cycle Models 
520.pdf HIEDS: A Generic and Efficient Approach to Hierarchical Dataset Summarization 
521.pdf Assessing Translation Ability through Vocabulary Ability Assessment 
522.pdf Weakly-Supervised Deep Learning for Customer Review Sentiment Classification 
523.pdf Questimator: Generating Knowledge Assessments for Arbitrary Topics 
524.pdf Efficient Algorithms for Spanning Tree Centrality 
525.pdf Sherlock: Sparse Hierarchical Embeddings for Visually-Aware One-Class Collaborative Filtering 
526.pdf Ordering Concepts Based on Common Attribute Intensity 
527.pdf Real-Time Web Scale Event Summarization Using Sequential Decision Making 
528.pdf Identifying Key Observers to Find Popular Information in Advance 
529.pdf Matching via Dimensionality Reduction for Estimation of Treatment Effects in Digital Marketing Campaigns 
530.pdf What Does Social Media Say about Your Stress? 
531.pdf Learning to Incentivize: Eliciting Effort via Output Agreement 
532.pdf Pay Me and I’ll Follow You: Detection of Crowdturfing Following Activities in Microblog Environment 
533.pdf Item Recommendation for Emerging Online Businesses 
534.pdf Collaborative Evolution for User Profiling in Recommender Systems 
535.pdf Browsing Regularities in Hedonic Content Systems 
536.pdf Detecting Rumors from Microblogs with Recurrent Neural Networks 
537.pdf Dynamic Task Allocation Algorithm for Hiring Workers that Learn 
538.pdf Learning Deep Intrinsic Video Representation by Exploring Temporal Coherence and Graph Structure 
539.pdf WebGazer: Scalable Webcam Eye Tracking Using User Interactions 
540.pdf Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep Networks 
541.pdf Practical Linear Models for Large-Scale One-Class Collaborative Filtering 
542.pdf Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments 
543.pdf A Framework for Recommending Relevant and Diverse Items 
544.pdf Understanding Information Diffusion under Interactions 
545.pdf Progressive Comparison for Ranking Estimation 
546.pdf Max-Margin DeepWalk: Discriminative Learning of Network Representation 
547.pdf KOGNAC: Efficient Encoding of Large Knowledge Graphs 
548.pdf Learning Hostname Preference to Enhance Search Relevance 
549.pdf Bayesian Probabilistic Multi-Topic Matrix Factorization for Rating Prediction 
550.pdf Causality Based Propagation History Ranking in Social Networks 
551.pdf Learning Defining Features for Categories 
552.pdf Deep Semantic-Preserving and Ranking-Based Hashing for Image Retrieval 
553.pdf Modeling the Homophily Effect between Links and Communities for Overlapping Community Detection 
554.pdf Matrix Factorization+ for Movie Recommendation 
555.pdf Content-Driven Detection of Cyberbullying on the Instagram Social Network 
556.pdf Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark Search 
557.pdf Rational-Based Visual Planning Monitors 
558.pdf Online Fair Division Redux 
559.pdf Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract) 
560.pdf Combining Logic and Probability: P-log Perspective 
561.pdf Planning under Uncertainty and Temporally Extended Goals 
562.pdf Bounded Suboptimal Multi-Agent Path Finding Using Highways 
563.pdf Logic-Based Inductive Synthesis of Efficient Programs 
564.pdf Transfer Learning for Multiagent Reinforcement Learning Systems 
565.pdf An Approach to Cooperation in General-Sum Normal Form Games 
566.pdf Self Monitoring, Goal Driven Autonomy Agents 
567.pdf Fast Motion Prediction for Collaborative Robotics 
568.pdf Location-Based Activity Recognition with Hierarchical Dirichlet Process 
569.pdf Action Selection Methods for Multi-Agent Navigation in Crowded Environments 
570.pdf Proactivity in Robots 
571.pdf Probabilistic Planning with Risk-Sensitive Criterion 
572.pdf Computer-Aided Game Design: Doctoral Consortium Research Abstract 
573.pdf Stochastic Planning in Large Search Spaces 
574.pdf Extractive and Abstractive Event Summarization over Streaming Web Text 
575.pdf Machine Learning for Integer Programming 
576.pdf Toward a Robust and Universal Crowd-Labeling Framework 
577.pdf Active Inference for Dynamic Bayesian Networks 
578.pdf Learning Robust Representations for Data Analytics 
579.pdf Modelling Satisfiability Problems: Theory and Practice 
580.pdf Solving Hard Subgraph Problems in Parallel 
581.pdf Semantic Framework for Industrial Analytics and Diagnostics 
582.pdf Adaptive Sequential Recommendation Using Context Trees 
583.pdf On the Synergy of Network Science and Artificial Intelligence 
584.pdf Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns? 
585.pdf Reactive Policy Checking for Action Languages 
586.pdf Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications 
587.pdf General Statistical Approaches to Procedural Map Generation 
588.pdf Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract) 
589.pdf Integrating Social Network Structure into Online Feature Selection 
590.pdf Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis 
591.pdf Automated Narrative Information Extraction Using Non-Linear Pipelines 
592.pdf Reasoning about Space and Change with Answer Set Programming Modulo Theories 
593.pdf A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning 
594.pdf BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract) 
595.pdf Quantitative Path-Planning from Qualitative Language Instructions 
596.pdf Towards Intelligent Visual Understanding under Minimal Supervision 
597.pdf On Ranking and Choice Models 
598.pdf Computational Social Choice: Some Current and New Directions 
599.pdf Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data 
600.pdf Preference Restrictions in Computational Social Choice: Recent Progress 
601.pdf Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications 
602.pdf Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence 
603.pdf Open Information Extraction Systems and Downstream Applications 
604.pdf Plausible Reasoning Based on Qualitative Entity Embeddings 
605.pdf A Hard Look at Soft Concepts 
606.pdf First-Order Model Counting in a Nutshell 
607.pdf Sequential Decision Making for Improving Efficiency in Urban Environments 
608.pdf Adversarial AI 
609.pdf From Non-Convex Aggregates to Monotone Aggregates in ASP 
610.pdf On the Properties of GZ-Aggregates in Answer Set Programming 
611.pdf Optimal Prosumer Decision-Making Using Factored MDPs 
612.pdf Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report 
613.pdf Optimal and Adaptive Algorithms for Online Boosting 
614.pdf Detecting Student Emotions in Computer-Enabled Classrooms 
615.pdf Learning Qualitative Spatial Relations for Robotic Navigation 
616.pdf On Broken Triangles 
617.pdf Sequencing Operator Counts 
618.pdf Tabling as a Library with Delimited Control 
619.pdf Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer 
620.pdf Effective Planning with More Expressive Languages 
621.pdf Domain Model Acquisition in the Presence of Static Relations in the LOP System 
622.pdf A Nearly-Linear Time Framework for Graph-Structured Sparsity 
623.pdf Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation 
624.pdf Projection, Inference, and Consistency 
625.pdf The Dependence of Effective Planning Horizon on Model Accuracy 
626.pdf Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search 
627.pdf Deep Neural Decision Forests 
628.pdf Proximal Gradient Temporal Difference Learning Algorithms 
629.pdf Generating Tests for Robotized Painting Using Constraint Programming 
630.pdf A Decision Procedure for (Co)datatypes in SMT Solvers 
631.pdf Why Prices Need Algorithms 
632.pdf Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees 
633.pdf Welfare Effects of Market Making in Continuous Double Auctions: Extended Abstract 
634.pdf Improving Topic Model Stability for Effective Document Exploration 
635.pdf MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers 
636.pdf Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach 
637.pdf Practical 3D Tracking Using Low-Cost Cameras 
638.pdf Baby Tartanian8:Winning Agent from the 2016 Annual Computer Poker Competition 
639.pdf KBQA: An Online Template Based Question Answering System over Freebase 
640.pdf SMACk: An Argumentation Framework for Opinion Mining 
641.pdf A Virtual Assistant to Help Dysphagia Patients Eat Safely at Home 
642.pdf The Malmo Platform for Artificial Intelligence Experimentation 
643.pdf A Demonstration of Interactive Task Learning 
644.pdf Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-Grid 
645.pdf Eddy: A Graphical Editor for OWL 2 Ontologies 
646.pdf A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and Explanation 
647.pdf An Intelligent System for Taxi Service Monitoring, Analytics and Visualization 
648.pdf An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning 
649.pdf Demo: Assisting Visually Impaired People Navigate Indoors 
650.pdf Klint: Assisting Integration of Heterogeneous Knowledge 
651.pdf Thou Shalt ASQFor and Shalt Receive the Semantic Answer 
652.pdf A Tool for Generating Interactive Euler Diagrams 
653.pdf Interactive Planning-Based Hypothesis Generation with LTS++ 
654.pdf Data-Based Promotion of Tourist Events with Minimal Operational Impact 
655.pdf PARecommender: A Pattern-Based System for Route Recommendation 
656.pdf VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data 
657.pdf Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots