International Joint Conference on Artificial Intelligence (IJCAI) - 2016

Conference Proceedings:

Key: PC - Pseudocode, OSC - Open Source Code, OSD - Open Datasets, DS - Dataset Splits, HS - Hardware Specification, SD - Software Dependencies, ES - Experiment Setup

3D Action Recognition Using Multi-Temporal Depth Motion Maps and Fisher Vector 4
A Bilingual Graph-Based Semantic Model for Statistical Machine Translation 3
A Branch-and-Price Algorithm for Scheduling Observations on a Telescope 2
A Characterization of Voting Power for Discrete Weight Distributions 0
A Characterization of the Semantics of Logic Programs with Aggregates 0
A Clause Tableau Calculus for MaxSAT 1
A Collaborative Filtering Approach to Citywide Human Mobility Completion from Sparse Call Records 0
A Decision Procedure for (Co)datatypes in SMT Solvers 4
A Decision Procedure for a Fragment of Linear Time Mu-Calculus 1
A Demonstration of Interactive Task Learning 0
A Discriminative Approach to Grounded Spoken Language Understanding in Interactive Robotics 3
A Distributed and Scalable Machine Learning Approach for Big Data 3
A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning 0
A Framework for Integrating Symbolic and Sub-Symbolic Representations 1
A Framework for Recommending Relevant and Diverse Items 3
A Generalized Matching Pursuit Approach for Graph-Structured Sparsity 4
A Generative Model for Recognizing Mixed Group Activities in Still Images 3
A Hard Look at Soft Concepts 0
A Joint Model of Intent Determination and Slot Filling for Spoken Language Understanding 3
A Nearly-Linear Time Framework for Graph-Structured Sparsity 0
A Network-Based Rating System and Its Resistance to Bribery 1
A Novel Feature Matching Strategy for Large Scale Image Retrieval 3
A POMDP Approach to Influence Diagram Evaluation 1
A Polynomial Time Optimal Algorithm for Robot-Human Search under Uncertainty 2
A Relaxed Ranking-Based Factor Model for Recommender System from Implicit Feedback 4
A Robust Convex Formulation for Ensemble Clustering 3
A SAT-Based Approach for Mining Association Rules 3
A Self-Representation Induced Classifier 5
A Stochastic Image Grammar for Fine-Grained 3D Scene Reconstruction 4
A Symbolic Closed-Form Solution to Sequential Market Making with Inventory 1
A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and Explanation 0
A Tool for Generating Interactive Euler Diagrams 1
A Unified Framework for Discrete Spectral Clustering 4
A Unifying Framework for Learning Bag Labels from Generalized Multiple-Instance Data 2
A Virtual Assistant to Help Dysphagia Patients Eat Safely at Home 0
ADL™: A Topic Model for Discovery of Activities of Daily Living in a Smart Home 3
ASP for Anytime Dynamic Programming on Tree Decompositions 6
ATUCAPTS: Automated Tests that a User Cannot Pass Twice Simultaneously 1
Abstraction Heuristics for Symbolic Bidirectional Search 4
Achieving Proportional Representation in Conference Programs 0
Action Recognition with Joints-Pooled 3D Deep Convolutional Descriptors 3
Action Selection Methods for Multi-Agent Navigation in Crowded Environments 0
Action Selection for Hammer Shots in Curling 3
Active Inference for Dynamic Bayesian Networks 1
Adaptive Budget Allocation for Maximizing Influence of Advertisements 3
Adaptive Sequential Recommendation Using Context Trees 0
Adaptive Variance Reducing for Stochastic Gradient Descent 3
Adversarial AI 0
Adversarial Sequence Tagging 3
Agreement-Based Joint Training for Bidirectional Attention-Based Neural Machine Translation 3
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls 3
Aligning Users across Social Networks Using Network Embedding 3
Allocating Indivisible Items in Categorized Domains 1
An ASP Semantics for Default Reasoning with Constraints 3
An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning 0
An Approach to Cooperation in General-Sum Normal Form Games 0
An Approximation Algorithm for the Subpath Planning Problem 2
An Empirical Game-Theoretic Analysis of Price Discovery in Prediction Markets 1
An Intelligent System for Taxi Service Monitoring, Analytics and Visualization 0
An Online Mechanism for Ridesharing in Autonomous Mobility-on-Demand Systems 3
Answering Metaqueries over Hi (OWL 2 QL) Ontologies 3
Anticipatory Troubleshooting 2
Apprenticeship Scheduling: Learning to Schedule from Human Experts 2
Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming 4
Approximating Value Equivalence in Interactive Dynamic Influence Diagrams Using Behavioral Coverage 2
Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns? 1
Assessing Translation Ability through Vocabulary Ability Assessment 2
Assigning a Small Agreeable Set of Indivisible Items to Multiple Players 0
Asymptotic Optimality of Myopic Optimization in Trial-Offer Markets with Social Influence 1
Asymptotically Tight Bounds for Inefficiency in Risk-Averse Selfish Routing 0
Asynchronous Accelerated Stochastic Gradient Descent 3
Automated Mechanism Design without Money via Machine Learning 1
Automated Narrative Information Extraction Using Non-Linear Pipelines 1
Automated Synthesis of Timed Failure Propagation Graphs 4
Automatic Construction and Evaluation of a Large Semantically Enriched Wikipedia 2
Automatic Generation of High-Level State Features for Generalized Planning 4
Avoiding Optimal Mean Robust PCA 4
Bag-of-Embeddings for Text Classification 3
Balancing Appearance and Context in Sketch Interpretation 3
Baseline Regularization for Computational Drug Repositioning with Longitudinal Observational Data 2
Batch-Switching Policy Iteration 2
Bayesian Dictionary Learning with Gaussian Processes and Sigmoid Belief Networks 3
Bayesian Nonparametric Collaborative Topic Poisson Factorization for Electronic Health Records-Based Phenotyping 3
Bayesian Optimization of Partition Layouts for Mondrian Processes 3
Bayesian Probabilistic Multi-Topic Matrix Factorization for Rating Prediction 4
Bayesian Reinforcement Learning with Behavioral Feedback 3
Belief Update for Proper Epistemic Knowledge Bases 1
Bernoulli Random Forests: Closing the Gap between Theoretical Consistency and Empirical Soundness 3
Better Strategyproof Mechanisms without Payments or Prior — An Analytic Approach 0
Beyond Object Recognition: Visual Sentiment Analysis with Deep Coupled Adjective and Noun Neural Networks 4
BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract) 0
Bias in Algorithm Portfolio Performance Evaluation 3
Blind Search for Atari-Like Online Planning Revisited 2
Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications 3
Bounded Suboptimal Multi-Agent Path Finding Using Highways 1
Bounds for Learning from Evolutionary-Related Data in the Realizable Case 0
Bridging LSTM Architecture and the Neural Dynamics during Reading 3
Bridging Saliency Detection to Weakly Supervised Object Detection Based on Self-Paced Curriculum Learning 3
Browsing Regularities in Hedonic Content Systems 0
Budgeted Multi-Armed Bandits with Multiple Plays 2
Building Joint Spaces for Relation Extraction 3
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer 0
Canonical Orderings on Grids 4
Catcher-Evader Games 1
Causality Based Propagation History Ranking in Social Networks 3
Change Detection Using Directional Statistics 2
Change Detection in Multivariate Datastreams: Likelihood and Detectability Loss 2
Chinese Song Iambics Generation with Neural Attention-Based Model 1
Class-Wise Supervised Hashing with Label Embedding and Active Bits 2
Clustering Financial Time Series: How Long Is Enough? 2
Clustering-Based Joint Feature Selection for Semantic Attribute Prediction 4
Co-Optimizating Multi-Agent Placement with Task Assignment and Scheduling 1
Coco: Runtime Reasoning about Conflicting Commitments 1
Cold-Start Recommendations for Audio News Stories Using Matrix Factorization 0
Collaborative Evolution for User Profiling in Recommender Systems 4
Collaborative Filtering with Generalized Laplacian Constraint via Overlapping Decomposition 4
Collaborative Multi-Level Embedding Learning from Reviews for Rating Prediction 3
Combining Logic and Probability: P-log Perspective 1
Combining the 2
Commitment Semantics for Sequential Decision Making under Reward Uncertainty 3
Committee Scoring Rules: Axiomatic Classification and Hierarchy 0
Comparing Search Algorithms Using Sorting and Hashing on Disk and in Memory 3
Completion of Disjunctive Logic Programs 4
Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels 0
Complexity of Manipulation with Partial Information in Voting 0
Computational Social Choice: Some Current and New Directions 0
Computer-Aided Game Design: Doctoral Consortium Research Abstract 0
Computing Pareto Optimal Committees 1
Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis 1
Conditional and Sequential Approval Voting on Combinatorial Domains 0
Congestion Games with Polytopal Strategy Spaces 0
Connecting Qualitative Spatial and Temporal Representations by Propositional Closure 0
Conservative Rewritability of Description Logic TBoxes 0
Constrained Local Latent Variable Discovery 2
Constrained Preference Embedding for Item Recommendation 3
Constraint Acquisition with Recommendation Queries 3
Constraint Answer Set Programming versus Satisfiability Modulo Theories 0
Constraint Detection in Natural Language Problem Descriptions 4
Constructing Abstraction Hierarchies Using a Skill-Symbol Loop 3
Constructive Preference Elicitation by Setwise Max-Margin Learning 6
Content-Driven Detection of Cyberbullying on the Instagram Social Network 1
Context-Specific and Multi-Prototype Character Representations 2
Contextual Symmetries in Probabilistic Graphical Models 4
Control of Fair Division 0
Controllable Procedural Content Generation via Constrained Multi-Dimensional Markov Chain Sampling 3
Controlling Growing Tasks with Heterogeneous Agents 2
Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval 3
Coordinating Human-UAV Teams in Disaster Response 3
Copula Mixed-Membership Stochastic Blockmodel 1
Core-Selecting Payment Rules for Combinatorial Auctions with Uncertain Availability of Goods 1
Correlated Voting 0
Correlation Complexity of Classical Planning Domains 1
Cost-Aware Pre-Training for Multiclass Cost-Sensitive Deep Learning 4
Cost-Saving Effect of Crowdsourcing Learning 2
Counting Linear Extensions of Sparse Posets 4
Coupled Marginalized Auto-Encoders for Cross-Domain Multi-View Learning 4
Cross-Lingual Dataless Classification for Many Languages 3
Cross-Media Shared Representation by Hierarchical Learning with Multiple Deep Networks 3
Crowd Scene Understanding with Coherent Recurrent Neural Networks 2
Crowdsourcing via Tensor Augmentation and Completion 3
Data-Based Promotion of Tourist Events with Minimal Operational Impact 1
Dealing with Multiple Classes in Online Class Imbalance Learning 4
Decision-Making Policies for Heterogeneous Autonomous Multi-Agent Systems with Safety Constraints 2
Decoupled Strong Stubborn Sets 3
Deep Learning for Reward Design to Improve Monte Carlo Tree Search in ATARI Games 2
Deep Neural Decision Forests 4
Deep Nonlinear Feature Coding for Unsupervised Domain Adaptation 4
Deep Semantic-Preserving and Ranking-Based Hashing for Image Retrieval 2
Deep Subspace Clustering with Sparsity Prior 3
Deep, Convolutional, and Recurrent Models for Human Activity Recognition Using Wearables 5
DeepSchema: Automatic Schema Acquisition from Wearable Sensor Data in Restaurant Situations 1
DeepTransport: Prediction and Simulation of Human Mobility and Transportation Mode at a Citywide Level 3
Demand Prediction and Placement Optimization for Electric Vehicle Charging Stations 6
Demo: Assisting Visually Impaired People Navigate Indoors 1
Denoising and Completion of 3D Data via Multidimensional Dictionary Learning 3
Dependency Clustering of Mixed Data with Gaussian Mixture Copulas 2
Derivative-Free Optimization of High-Dimensional Non-Convex Functions by Sequential Random Embeddings 3
Detecting Rumors from Microblogs with Recurrent Neural Networks 4
Detecting Student Emotions in Computer-Enabled Classrooms 2
Diagnosability of Discrete-Event Systems with Uncertain Observations 0
Digital Good Exchange 1
Dimensionally Guided Synthesis of Mathematical Word Problems 3
Direct Sparsity Optimization Based Feature Selection for Multi-Class Classification 5
Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence 1
Discriminative Log-Euclidean Feature Learning for Sparse Representation-Based Recognition of Faces from Videos 3
Discriminatively Trained Recurrent Neural Networks for Continuous Dimensional Emotion Recognition from Audio 3
Distance Based Modeling of Interactions in Structured Regression 2
Distance-Preserving Probabilistic Embeddings with Side Information: Variational Bayesian Multidimensional Scaling Gaussian Process 2
Distraction-Based Neural Networks for Modeling Document 5
Distributed Autoepistemic Logic and its Application to Access Control 0
Distributed Breakout: Beyond Satisfaction 2
Distributed Decoupling of Multiagent Simple Temporal Problems 4
Distributing Knowledge into Simple Bases 0
Diverse Image Captioning via GroupTalk 3
Diversifying Convex Transductive Experimental Design for Active Learning 3
Domain Adaptation for Learning from Label Proportions Using Self-Training 3
Domain Model Acquisition in the Presence of Static Relations in the LOP System 3
DrMAD: Distilling Reverse-Mode Automatic Differentiation for Optimizing Hyperparameters of Deep Neural Networks 6
Driver Frustration Detection from Audio and Video in the Wild 3
Dual-Memory Deep Learning Architectures for Lifelong Learning of Everyday Human Behaviors 3
Dynamic Auctions with Bank Accounts 0
Dynamic Early Stopping for Naive Bayes 5
Dynamic Task Allocation Algorithm for Hiring Workers that Learn 2
EBEK: Exemplar-Based Kernel Preserving Embedding 3
Eddy: A Graphical Editor for OWL 2 Ontologies 4
Effective Planning with More Expressive Languages 3
Efficient 4
Efficient Algorithms for Spanning Tree Centrality 4
Efficient Bayesian Clustering for Reinforcement Learning 3
Efficient Local Search in Coordination Games on Graphs 0
Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks 5
Efficient Query Answering over Expressive Inconsistent Description Logics 3
Efficient Representations for the Modal Logic S5 1
Efficient Resource Allocation for Protecting Coral Reef Ecosystems 3
Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses 3
Efficiently Finding Conceptual Clustering Models with Integer Linear Programming 4
Elicitation for Preferences Single Peaked on Trees 0
Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding 6
Empirical Risk Minimization for Metric Learning Using Privileged Information 4
Employing External Rich Knowledge for Machine Comprehension 3
Enforcing Template Representability and Temporal Consistency for Adaptive Sparse Tracking 3
Entity Embedding-Based Anomaly Detection for Heterogeneous Categorical Events 2
Epistemic Boolean Games Based on a Logic of Visibility and Control 0
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games 1
Equivalent Stream Reasoning Programs 0
Evaluation of Arguments from Support Relations: Axioms and Semantics 0
Expert Finding for Community-Based Question Answering via Ranking Metric Network Learning 3
Exploiting N-Best Hypotheses to Improve an SMT Approach to Grammatical Error Correction 3
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access 5
Exploiting Problem Structure in Combinatorial Landscapes: A Case Study on Pure Mathematics Application 4
Exploring Segment Representations for Neural Segmentation Models 4
Exploring the Context of Locations for Personalized Location Recommendations 2
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering 0
Expressivity of Datalog Variants — Completing the Picture 0
Extending the Harper Identity to Iterated Belief Change 0
External Memory Bidirectional Search 4
Extractive and Abstractive Event Summarization over Streaming Web Text 0
Facility Location with Minimax Envy 1
Factored Probabilistic Belief Tracking 2
Fast Laplace Approximation for Sparse Bayesian Spike and Slab Models 3
Fast Learning from Distributed Datasets without Entity Matching 4
Fast Motion Prediction for Collaborative Robotics 1
Fast Robust Non-Negative Matrix Factorization for Large-Scale Human Action Data Clustering 3
Fast Solving Maximum Weight Clique Problem in Massive Graphs 5
Fast Structural Binary Coding 5
Fast-and-Light Stochastic ADMM 4
FastLCD: Fast Label Coordinate Descent for the Efficient Optimization of 2D Label MRFs 4
Fear and Hope Emerge from Anticipation in Model-Based Reinforcement Learning 3
Feature Learning Based Deep Supervised Hashing with Pairwise Labels 5
First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics 0
First-Order Model Counting in a Nutshell 0
Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search 3
Forgetting Concept and Role Symbols in 3
Forgetting in Multi-Agent Modal Logics 0
Frequent Direction Algorithms for Approximate Matrix Multiplication with Applications in CCA 4
From Non-Convex Aggregates to Monotone Aggregates in ASP 2
From One Point to a Manifold: Knowledge Graph Embedding for Precise Link Prediction 4
Gated Probabilistic Matrix Factorization: Learning Users’ Attention from Missing Values 3
General Statistical Approaches to Procedural Map Generation 0
Generalized Dictionary for Multitask Learning with Boosting 2
Generalized Discrete Preference Games 0
Generalizing the Edge-Finder Rule for the Cumulative Constraint 5
Generating Recommendation Evidence Using Translation Model 2
Generating Tests for Robotized Painting Using Constraint Programming 1
Geometric Scene Parsing with Hierarchical LSTM 2
Goal Recognition Design with Stochastic Agent Action Outcomes 4
Graph Quality Judgement: A Large Margin Expedition 4
Graph-Based Factorization of Classical Planning Problems 1
Greedy Learning of Generalized Low-Rank Models 5
Grounding Topic Models with Knowledge Bases 4
Group Decision Making via Probabilistic Belief Merging 1
Group-Invariant Cross-Modal Subspace Learning 4
HIEDS: A Generic and Efficient Approach to Hierarchical Dataset Summarization 4
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report 1
Hashtag Recommendation Using Attention-Based Convolutional Neural Network 3
Heuristic Planning for PDDL+ Domains 4
Heuristic Subset Selection in Classical Planning 3
Heuristics and Really Hard Instances for Subgraph Isomorphism Problems 4
Heuristics for Numeric Planning via Subgoaling 2
Hidden Parameter Markov Decision Processes: A Semiparametric Regression Approach for Discovering Latent Task Parametrizations 1
Hierarchical Approach to Transfer of Control in Semi-Autonomous Systems 1
Hierarchical Finite State Controllers for Generalized Planning 3
Hierarchical Model Predictive Control for Multi-Robot Navigation 2
Hierarchical Planning: Relating Task and Goal Decomposition with Task Sharing 0
Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor 2
Household Structure Analysis via Hawkes Processes for Enhancing Energy Disaggregation 1
How Hard Is It for a Party to Nominate an Election Winner? 0
How to Build Your Network? A Structural Analysis 3
Identifying Key Observers to Find Popular Information in Advance 5
Imperfect-Information Games and Generalized Planning 0
Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-Grid 0
Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban 3
Improved Solvers for Bounded-Suboptimal Multi-Agent Path Finding 4
Improving CNN Performance with Min-Max Objective 3
Improving DCNN Performance with Sparse Category-Selective Objective Function 3
Improving Model Counting by Leveraging Definability 5
Improving Top-N Recommendation with Heterogeneous Loss 3
Improving Topic Model Stability for Effective Document Exploration 3
In Search of Tractability for Partial Satisfaction Planning 0
Incentivizing Intelligent Customer Behavior in Smart-Grids: A Risk-Sharing Tariff & Optimal Strategies 0
Incentivizing Reliability in Demand-Side Response 1
Incomplete Causal Laws in the Situation Calculus Using Free Fluents 0
Incomplete Multi-Modal Visual Data Grouping 2
Incorporating External Knowledge into Crowd Intelligence for More Specific Knowledge Acquisition 2
Incorporating Knowledge into Structural Equation Models Using Auxiliary Variables 0
Incorporating Prototype Theory in Convolutional Neural Networks 2
Incremental Truncated LSTD 3
Inference Machines for Nonparametric Filter Learning 3
Inferring Motif-Based Diffusion Models for Social Networks 3
Informed Expectations to Guide GDA Agents in Partially Observable Environments 2
Integrating Social Network Structure into Online Feature Selection 0
Interactive Martingale Boosting 5
Interactive Planning-Based Hypothesis Generation with LTS++ 0
Interactive Scheduling of Appliance Usage in the Home 2
Interactive Teaching Strategies for Agent Training 2
Interdependent Scheduling Games 3
Intersubjectivity and Sentiment: From Language to Knowledge 1
Intervention Strategies for Increasing Engagement in Crowdsourcing: Platform, Predictions, and Experiments 3
Investigating the Relationship between Argumentation Semantics via Signatures 0
Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? 0
Item Recommendation for Emerging Online Businesses 3
Iterative Views Agreement: An Iterative Low-Rank Based Structured Optimization Method to Multi-View Spectral Clustering 2
Joint Feature Selection and Structure Preservation for Domain Adaptation 3
Joint Models for Extracting Adverse Drug Events from Biomedical Text 5
KBQA: An Online Template Based Question Answering System over Freebase 1
KOGNAC: Efficient Encoding of Large Knowledge Graphs 5
Klint: Assisting Integration of Heterogeneous Knowledge 1
Knowledge Compilation Meets Communication Complexity 0
Knowledge Representation Learning with Entities, Attributes and Relations 4
Knowledge-Based Sequence Mining with ASP 3
LTL 0
Large Scale Sparse Clustering 5
Latent Contextual Bandits and their Application to Personalized Recommendations for New Users 2
Learning A Deep 2
Learning Compact Neural Word Embeddings by Parameter Space Sharing 3
Learning Compact Visual Representation with Canonical Views for Robust Mobile Landmark Search 3
Learning Cross-View Binary Identities for Fast Person Re-Identification 7
Learning Deep Intrinsic Video Representation by Exploring Temporal Coherence and Graph Structure 3
Learning Defining Features for Categories 3
Learning First-Order Logic Embeddings via Matrix Factorization 4
Learning Higher-Order Logic Programs through Abstraction and Invention 3
Learning Hostname Preference to Enhance Search Relevance 2
Learning Multi-Modal Grounded Linguistic Semantics by Playing “I Spy” 4
Learning Multi-Step Predictive State Representations 2
Learning Paraphrase Identification with Structural Alignment 3
Learning Possibilistic Logic Theories from Default Rules 4
Learning Predictive State Representations via Monte-Carlo Tree Search 3
Learning Qualitative Spatial Relations for Robotic Navigation 1
Learning Robust Representations for Data Analytics 1
Learning Social Affordance for Human-Robot Interaction 5
Learning Stable Linear Dynamical Systems with the Weighted Least Square Method 5
Learning Unified Features from Natural and Programming Languages for Locating Buggy Source Code 3
Learning Using Unselected Features (LUFe) 4
Learning by Actively Querying Strong Modal Features 3
Learning to Detect Concepts from Webly-Labeled Video Data 4
Learning to Incentivize: Eliciting Effort via Output Agreement 1
Learning to Order Objects Using Haptic and Proprioceptive Exploratory Behaviors 4
Learning to Rank for Synthesizing Planning Heuristics 4
Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau 4
Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract) 0
Limited Discrepancy AND 3
Linear Arithmetic Satisfiability via Strategy Improvement 3
Linear-Time Outlier Detection via Sensitivity 5
Location-Based Activity Recognition with Hierarchical Dirichlet Process 1
Logic-Based Inductive Synthesis of Efficient Programs 0
MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers 5
Machine Learning for Integer Programming 0
Maintaining Evolving Domain Models 3
Makeup Like a Superstar: Deep Localized Makeup Transfer Network 3
Making Robots Proactive through Equilibrium Maintenance 3
Managing Overstaying Electric Vehicles in Park-and-Charge Facilities 3
Markov Chain Analysis of Noise and Restart in Stochastic Local Search 4
Markovian State and Action Abstractions for MDPs via Hierarchical MCTS 2
Match-SRNN: Modeling the Recursive Matching Structure with Spatial RNN 2
Matching via Dimensionality Reduction for Estimation of Treatment Effects in Digital Marketing Campaigns 3
Matrix Factorization+ for Movie Recommendation 2
Max-Margin DeepWalk: Discriminative Learning of Network Representation 4
Maximum Sustainable Yield Problem for Robot Foraging and Construction System 2
Measuring Performance of Peer Prediction Mechanisms Using Replicator Dynamics 0
Misrepresentation in District Voting 2
Mission Oriented Robust Multi-Team Formation and Its Application to Robot Rescue Simulation 3
Model-Based Deep Hand Pose Estimation 4
Modeling Contagious Merger and Acquisition via Point Processes with a Profile Regression Prior 3
Modeling and Reasoning about NTU Games via Answer Set Programming 3
Modeling the Homophily Effect between Links and Communities for Overlapping Community Detection 5
Modelling Satisfiability Problems: Theory and Practice 1
Modifying MCTS for Human-Like General Video Game Playing 1
Modularity Based Community Detection with Deep Learning 2
Monte Carlo Tree Search in Continuous Action Spaces with Execution Uncertainty 2
Moving in a Crowd: Safe and Efficient Navigation among Heterogeneous Agents 3
Multi-Grained Role Labeling Based on Multi-Modality Information for Real Customer Service Telephone Conversation 3
Multi-Label Informed Feature Selection 4
Multi-Modal Bayesian Embeddings for Learning Social Knowledge Graphs 5
Multi-Source Iterative Adaptation for Cross-Domain Classification 3
Multi-View Exclusive Unsupervised Dimension Reduction for Video-Based Facial Expression Recognition 4
Multi-View Learning with Limited and Noisy Tagging 3
Multiple Constraint Acquisition 4
Multiple Kernel Clustering with Local Kernel Alignment Maximization 3
Mutual Influence Potential Networks: Enabling Information Sharing in Loosely-Coupled Extended-Duration Teamwork 2
Nash Equilibria and Their Elimination in Resource Games 1
Natural Supervised Hashing 3
Neural Enquirer: Learning to Query Tables in Natural Language 2
Neural Generative Question Answering 4
Neural Network Translation Models for Grammatical Error Correction 4
Non-Negative Matrix Factorization with Sinkhorn Distance 3
Non-Objection Inference for Inconsistency-Tolerant Query Answering 1
Nonlinear Hierarchical Part-Based Regression for Unconstrained Face Alignment 4
Nonparametric Risk and Stability Analysis for Multi-Task Learning Problems 3
Normative Multiagent Systems: The 1
Normative Practical Reasoning via Argumentation and Dialogue 0
Object Recognition with Hidden Attributes 2
Object-Based World Modeling in Semi-Static Environments with Dependent Dirichlet Process Mixtures 3
Object-Relational Queries over CFDI 3
Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation 0
On Broken Triangles 2
On Combining Side Information and Unlabeled Data for Heterogeneous Multi-Task Metric Learning 3
On Consensus Extraction 6
On Logics of Strategic Ability Based on Propositional Control 0
On Modeling and Predicting Individual Paper Citation Count over Time 2
On Ranking and Choice Models 0
On State-Dominance Criteria in Fork-Decoupled Search 3
On Structural Properties of MDPs that Bound Loss Due to Shallow Planning 1
On Truthful Mechanisms for Maximin Share Allocations 0
On the Impact of Modal Depth in Epistemic Planning 1
On the Properties of GZ-Aggregates in Answer Set Programming 1
On the Relationship between P-log and LP 0
On the Representation and Embedding of Knowledge Bases beyond Binary Relations 3
On the Synergy of Network Science and Artificial Intelligence 0
On the Topology of Genetic Algorithms 0
Online Agent Supervision in the Situation Calculus 0
Online Bayesian Max-Margin Subspace Multi-View Learning 3
Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees 1
Online Fair Division Redux 0
Online Mechanism Design for Vehicle-to-Grid Car Parks 1
Online Multi-Object Tracking by Quadratic Pseudo-Boolean Optimization 3
Online Symbolic Gradient-Based Optimization for Factored Action MDPs 4
Ontology-Mediated Queries Distributing over Components 0
Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data 1
Open Information Extraction Systems and Downstream Applications 2
Opinion Dynamics with Local Interactions 2
Optimal Interdiction of Illegal Network Flow 4
Optimal Prosumer Decision-Making Using Factored MDPs 4
Optimal Status Enforcement in Abstract Argumentation 4
Optimal and Adaptive Algorithms for Online Boosting 3
Optimally Protecting Elections 4
Optimizing Molecular Cloning of Multiple Plasmids 4
Optimizing Simple Tabular Reduction with a Bitwise Representation 4
Ordering Concepts Based on Common Attribute Intensity 3
Outlier Detection in Complex Categorical Data by Modeling the Feature Value Couplings 4
PAC Greedy Maximization with Efficient Bounds on Information Gain for Sensor Selection 2
PARecommender: A Pattern-Based System for Route Recommendation 0
POISketch: Semantic Place Labeling over User Activity Streams 4
Packing Graphs with ASP for Landscape Simulation 5
Pairwise Diffusion of Preference Rankings in Social Networks 0
Parallel Behavior Composition for Manufacturing 0
Parallel Pareto Optimization for Subset Selection 4
Parameter-Free Auto-Weighted Multiple Graph Learning: A Framework for Multiview Clustering and Semi-Supervised Classification 3
Parse Tree Fragmentation of Ungrammatical Sentences 4
Partially Supervised Graph Embedding for Positive Unlabelled Feature Selection 3
Pay Me and I’ll Follow You: Detection of Crowdturfing Following Activities in Microblog Environment 3
Personalizing EEG-Based Affective Models with Transfer Learning 4
Plan Recognition as Planning Revisited 3
Plan Synthesis for Knowledge and Action Bases 1
Planning for a Single Agent in a Multi-Agent Environment Using FOND 2
Planning under Uncertainty and Temporally Extended Goals 0
Planning with Task-Oriented Knowledge Acquisition for a Service Robot 3
Plausible Reasoning Based on Qualitative Entity Embeddings 0
Player Goal Recognition in Open-World Digital Games with Long Short-Term Memory Networks 2
Policy Search in Reproducing Kernel Hilbert Space 3
Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates 1
Portfolio Blending via Thompson Sampling 3
Practical 3D Tracking Using Low-Cost Cameras 0
Practical Linear Models for Large-Scale One-Class Collaborative Filtering 4
Precision Instrument Targeting via Image Registration for the Mars 2020 Rover 3
Predict Anchor Links across Social Networks via an Embedding Approach 3
Predicting Confusion in Information Visualization from Eye Tracking and Interaction Data 3
Predicting Personal Traits from Facial Images Using Convolutional Neural Networks Augmented with Facial Landmark Information 3
Predictive Collaborative Filtering with Side Information 4
Predictive Models of Malicious Behavior in Human Negotiations 2
Preference Elicitation for Single Crossing Domain 1
Preference Inference through Rescaling Preference Learning 1
Preference Restrictions in Computational Social Choice: Recent Progress 0
Preferential Query Answering over the Semantic Web with Possibilistic Networks 0
Preserving Privacy in Region Optimal DCOP Algorithms 3
Privacy Preserving Plans in Partially Observable Environments 4
Proactivity in Robots 1
Probabilistic Inference Modulo Theories 3
Probabilistic Matrix Inspection and Group Scheduling 0
Probabilistic Planning with Risk-Sensitive Criterion 0
Probabilistic Rank-One Matrix Analysis with Concurrent Regularization 3
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications 3
Progressive Comparison for Ranking Estimation 2
Projection, Inference, and Consistency 1
Protein Secondary Structure Prediction Using Cascaded Convolutional and Recurrent Neural Networks 5
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving 2
Proximal Gradient Temporal Difference Learning Algorithms 3
Quantitative Path-Planning from Qualitative Language Instructions 0
Query Answering with Transitive and Linear-Ordered Data 0
Query-Based Entailment and Inseparability for 0
Query-Driven Repairing of Inconsistent DL-Lite Knowledge Bases 2
Querying Data Graphs with Arithmetical Regular Expressions 0
Questimator: Generating Knowledge Assessments for Arbitrary Topics 1
Question Answering via Integer Programming over Semi-Structured Knowledge 5
Randomized Social Choice Functions under Metric Preferences 1
Ranking Constraints 4
Rating-Boosted Latent Topics: Understanding Users and Items with Ratings and Reviews 2
Rational-Based Visual Planning Monitors 2
Reactive Policy Checking for Action Languages 0
Real-Time Web Scale Event Summarization Using Sequential Decision Making 5
Reasoning about Space and Change with Answer Set Programming Modulo Theories 1
Recognizing Opinion Sources Based on a New Categorization of Opinion Types 2
Reconfigurability in Reactive Multiagent Systems 0
Recurrent Neural Network for Text Classification with Multi-Task Learning 3
Reinforcement Learning for Turn-Taking Management in Incremental Spoken Dialogue Systems 1
Relevance for SAT(ID) 4
Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach 0
Representation Learning of Knowledge Graphs with Hierarchical Types 4
Resolving Over-Constrained Conditional Temporal Problems Using Semantically Similar Alternatives 2
Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots 1
Robust Domain Generalisation by Enforcing Distribution Invariance 3
Robust Draws in Balanced Knockout Tournaments 0
Robust Iterative Quantization for Efficient 3
Robust Joint Discriminative Feature Learning for Visual Tracking 2
Robust Natural Language Processing — Combining Reasoning, Cognitive Semantics, and Construction Grammar for Spatial Language 0
Robust Out-of-Sample Data Recovery 4
Robust Repositioning to Counter Unpredictable Demand in Bike Sharing Systems 5
Robust and Sparse Fuzzy K-Means Clustering 3
Role Assignment for Game-Theoretic Cooperation 2
Rule-Based Programming of Molecular Robot Swarms for Biomedical Applications 1
SLIM: Semi-Lazy Inference Mechanism for Plan Recognition 3
SMACk: An Argumentation Framework for Opinion Mining 1
ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data 4
Saliency Transfer: An Example-Based Method for Salient Object Detection 3
Sampling-Based Belief Revision 0
Scalable Greedy Algorithms for Task 4
Scalable Segment Abstraction Method for Advertising Campaign Admission and Inventory Allocation Optimization 3
Scale-Adaptive Low-Resolution Person Re-Identification via Learning a Discriminating Surface 3
Scene Text Detection in Video by Learning Locally and Globally 1
Selective Norm Monitoring 2
Self Monitoring, Goal Driven Autonomy Agents 0
Self-Adapted Multi-Task Clustering 3
Self-Paced Boost Learning for Classification 4
Semantic Analysis for Crowded Scenes Based on Non-Parametric Tracklet Clustering 2
Semantic Framework for Industrial Analytics and Diagnostics 0
Semantic Question-Answering with Video and Eye-Tracking Data: AI Foundations for Human Visual Perception Driven Cognitive Film Studies 1
Semantics-Aware Deep Correspondence Structure Learning for Robust Person Re-Identification 3
Semi-Data-Driven Network Coarsening 4
Semi-Supervised Active Learning with Cross-Class Sample Transfer 4
Semi-Supervised Multimodal Deep Learning for RGB-D Object Recognition 3
Sequencing Operator Counts 0
Sequential Decision Making for Improving Efficiency in Urban Environments 0
Sequential Plan Recognition 2
Sequential Planning for Steering Immune System Adaptation 2
Sherlock: Sparse Hierarchical Embeddings for Visually-Aware One-Class Collaborative Filtering 4
Silk: A Simulation Study of Regulating Open Normative Multiagent Systems 2
Simulating Human Inferences in the Light of New Information: A Formal Analysis 1
Situation Testing-Based Discrimination Discovery: A Causal Inference Approach 3
Social Choice for Agents with General Utilities 1
Soft Margin Consistency Based Scalable Multi-View Maximum Entropy Discrimination 5
Solving Hard Subgraph Problems in Parallel 0
Solving M-Modes Using Heuristic Search 3
Sparse Bayesian Content-Aware Collaborative Filtering for Implicit Feedback 4
Sparse Word Embeddings Using 4
Sparsity Conditional Energy Label Distribution Learning for Age Estimation 4
StalemateBreaker: A Proactive Content-Introducing Approach to Automatic Human-Computer Conversation 2
Staleness-Aware Async-SGD for Distributed Deep Learning 4
State-Dependent Cost Partitionings for Cartesian Abstractions in Classical Planning 3
Static Symmetry Breaking with the Reflex Ordering 5
Stochastic Multiresolution Persistent Homology Kernel 4
Stochastic Planning in Large Search Spaces 0
Stochastic and-or Grammars: A Unified Framework and Logic Perspective 1
Strategic Voting with Incomplete Information 0
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus 0
Structural Symmetries for Fully Observable Nondeterministic Planning 3
Subset Selection via Implicit Utilitarian Voting 3
Subspace Clustering via New Low-Rank Model with Discrete Group Structure Constraint 3
Sum-Product-Max Networks for Tractable Decision Making 4
Supervised Heterogeneous Domain Adaptation via Random Forests 4
Supervised Matrix Factorization for Cross-Modality Hashing 4
Swift: Compiled Inference for Probabilistic Programming Languages 4
Synthesizing Robotic Handwriting Motion by Learning from Human Demonstrations 2
Tabling as a Library with Delimited Control 4
Taking Up the Gaokao Challenge: An Information Retrieval Approach 3
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic 3
Temporalized 0
Text-Enhanced Representation Learning for Knowledge Graph 3
The Complexity of Learning Acyclic CP-Nets 1
The Complexity of Playing Durak 0
The Dependence of Effective Planning Horizon on Model Accuracy 1
The Inconsistency in Gödel’s Ontological Argument: A Success Story for AI in Metaphysics 0
The Malmo Platform for Artificial Intelligence Experimentation 1
Theoretically-Grounded Policy Advice from Multiple Teachers in Reinforcement Learning Settings with Applications to Negative Transfer 3
Thou Shalt ASQFor and Shalt Receive the Semantic Answer 0
Three Strategies to Success: Learning Adversary Models in Security Games 2
Tight Policy Regret Bounds for Improving and Decaying Bandits 1
Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract) 1
Timeline Summarization from Social Media with Life Cycle Models 2
To Give or Not to Give: Fair Division for Single Minded Valuations 1
To Project More or to Quantize More: Minimize Reconstruction Bias for Learning Compact Binary Codes 5
Toward a Robust and Universal Crowd-Labeling Framework 1
Towards Convolutional Neural Networks Compression via Global Error Reconstruction 5
Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models 4
Towards Intelligent Visual Understanding under Minimal Supervision 1
Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications 1
Towards Zero Unknown Word in Neural Machine Translation 3
Towards a White Box Approach to Automated Algorithm Design 2
Trading on a Rigged Game: Outcome Manipulation in Prediction Markets 0
Trading-Off Cost of Deployment Versus Accuracy in Learning Predictive Models 3
Transductive Optimization of Top 4
Transfer Hashing with Privileged Information 4
Transfer Learning for Multiagent Reinforcement Learning Systems 0
Transfer Learning with Active Queries from Source Domain 4
Tree-State Based Rule Selection Models for Hierarchical Phrase-Based Machine Translation 3
Trembling Hand Equilibria of Plurality Voting 0
Trend-Based Prediction of Spatial Change 3
Tri-Party Deep Network Representation 2
Truncating Shortest Path Search for Efficient Map-Matching 4
Truthfulness of a Proportional Sharing Mechanism in Resource Exchange 0
Understanding Information Diffusion under Interactions 3
Unsupervised Alignment of Actions in Video with Text Descriptions 4
Unsupervised Feature Learning from Time Series 5
Unsupervised Human Action Categorization with Consensus Information Bottleneck Method 3
Unsupervised Learning on Neural Network Outputs: With Application in Zero-Shot Learning 3
Unsupervised Storyline Extraction from News Articles 2
Unsupervised Word and Dependency Path Embeddings for Aspect Term Extraction 3
Urban Water Quality Prediction Based on Multi-Task Multi-View Learning 1
Using Message-Passing DCOP Algorithms to Solve Energy-Efficient Smart Environment Configuration Problems 0
Using Task Features for Zero-Shot Knowledge Transfer in Lifelong Learning 4
VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data 1
Verbalization: Narration of Autonomous Robot Experience 1
Verifying Existence of Resource-Bounded Coalition Uniform Strategies 1
Verifying Pushdown Multi-Agent Systems against Strategy Logics 0
Version Space Reduction Based on Ensembles of Dissimilar Balanced Perceptrons 4
Video-Based Person Re-Identification by Simultaneously Learning Intra-Video and Inter-Video Distance Metrics 4
Visual Tracking with Reliable Memories 4
Voting-Based Group Formation 0
Weakly-Supervised Deep Learning for Customer Review Sentiment Classification 4
Weight Features for Predicting Future Model Performance of Deep Neural Networks 3
Welfare Effects of Market Making in Continuous Double Auctions: Extended Abstract 1
What Does Social Media Say about Your Stress? 5
What Is Where: Inferring Containment Relations from Videos 1
Which Contingent Events to Observe for the Dynamic Controllability of a Plan 2
Why Prices Need Algorithms 0
WikiWrite: Generating Wikipedia Articles Automatically 3
Word Clouds with Latent Variable Analysis for Visual Comparison of Documents 4
i, Poet: Automatic Poetry Composition through Recurrent Neural Networks with Iterative Polishing Schema 2
∃-STRIPS: Existential Quantification in Planning and Constraint Satisfaction 4