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