PROGRAM

EAAI-14 Invited Talk (abstract)

EAAI-14 Welcome (abstract)

Shallow Blue: Lego-Based Embodied AI as a Platform for Cross-Curricular Project Based Learning (abstract)

DOROTHY: Enhancing Bidirectional Communication between a 3D Programming Interface and Mobile Robots (abstract)

Teaching with Watson (abstract)

An Introduction to Monte Carlo Techniques in AI— Part I (abstract)

Multi-Player Games: Introducing Assignments with Open-Ended Strategies in CS2 (abstract)

Strimko by Resolution (abstract)

Party Affiliation Classification from State of the Union Addresses (abstract)

Comparing Brute-Force Searching versus the MRV Heuristic in Sudoku Puzzles (abstract)

Jim: A Platform for Affective AI in an Interdisciplinary Setting (abstract)

Easychair as a Pedagogical Tool Engaging Graduate Students in the Reviewing Process (abstract)

Siri: Back to the Future (abstract)

AAAI Welcome and Award Presentations (abstract)

IAAI Welcome and Awards (abstract)

IJCAI-JAIR Best Paper Award Presentation (abstract)

AAAI Special Awards and Honors (abstract)

Representation Acquisition for Task‐Level Planning (abstract)

Imitation Learning with Demonstrations and Shaping Rewards (abstract)

Spectral Thompson Sampling (abstract)

Best Paper Nominee: Manifold Learning for Jointly Modeling Topic and Visualization (abstract)

The Complexity of Reasoning with FODD and GFODD (abstract)

Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (abstract)

The Computational Complexity of Structure-Based Causality (abstract)

A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams (abstract)

Boosting SBDS for Partial Symmetry Breaking in Constraint Programming (abstract)

Linear-Time Filtering Algorithms for the Disjunctive Constraint (abstract)

Backdoors into Heterogeneous Classes of SAT and CSP (abstract)

A Support-Based Algorithm for the Bi-Objective Pareto Constraint (abstract)

Lifetime Lexical Variation in Social Media (abstract)

Extracting Keyphrases from Research Papers using Citation Networks (abstract)

Detecting Information-Dense Texts in Multiple News Domains (abstract)

Chinese Overt Pronoun Resolution: A Bilingual Approach (abstract)

Best Paper Nominee: Placement of Loading Stations for Electric Vehicles: No Detours Necessary! (abstract)

A Latent Variable Model for Discovering Bird Species Commonly Misidentified by Citizen Scientists (abstract)

Intelligent System for Urban Emergency Management During Large-scale Disaster (abstract)

Contextually Supervised Source Separation with Application to Energy Disaggregation (abstract)

A Control Dichotomy for Pure Scoring Rules (abstract)

False-Name Bidding and Economic Efficiency in Combinatorial Auctions (abstract)

Item Bidding for Combinatorial Public Projects (abstract)

Betting Strategies, Market Selection, and the Wisdom of Crowds (abstract)

From Virtual Museums to Peacebuilding: Creating and Using Linked Knowledge (abstract)

Wormhole Hamiltonian Monte Carlo (abstract)

Learning the Structure of Probabilistic Graphical Models with an Extended Cascading Indian Buffet Process (abstract)

Small-variance Asymptotics for Dirichlet Process Mixtures of SVMs (abstract)

Using The Matrix Ridge Approximation to Speedup Determinantal Point Processes Sampling Algorithms (abstract)

Large-Scale Optimistic Adaptive Submodularity (abstract)

Parametrized Families of Hard Planning Problems from Phase Transitions (abstract)

Backdoors to Planning (abstract)

Scheduling for Transfers in Pickup and Delivery Problems with Very Large Neighborhood Search (abstract)

A Scheduler for Actions with Iterated Durations (abstract)

Best Paper Nominee: Generalized Label Reduction for Merge-and-Shrink Heuristics (abstract)

Congestion Games for V2G-Enabled EV Charging (abstract)

A Game-theoretic Analysis of Catalog Optimization (abstract)

Robust Winners and Winner Determination Policies under Candidate Uncertainty (abstract)

Theory of Cooperation in Complex Social Networks (abstract)

Prices Matter for the Parameterized Complexity of Shift Bribery (abstract)

Who Also Likes It? Generating the Most Persuasive Social Explanations in Recommender Systems (abstract)

Leveraging Decomposed Trust in Probabilistic Matrix Factorization for Effective Recommendation (abstract)

TopicMF: Simultaneously Exploiting Ratings and Reviews for Recommendation (abstract)

Combining Heterogenous Social and Geographical Information for Event Recommendation (abstract)

Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems (abstract)

Acquiring Commonsense Knowledge for Sentiment Analysis through Human Computation (abstract)

Signals in the Silence: Models of Implicit Feedback in a Recommender System for Crowdsourcing (abstract)

Online and Stochastic Learning with a Human Cognitive Bias (abstract)

Anytime Active Learning (abstract)

Generating Content for Scenario-Based Serious-Games using CrowdSourcing (abstract)

Best Paper Nominee: Recovering from Selection Bias in Causal and Statistical Inference (abstract)

Best Paper Nominee: Tractability through Exchangeability: A New Perspective on Efficient Probabilistic Inference (abstract)

Lifting Relational MAP-LPs Using Cluster Signatures (abstract)

Approximate Lifting Techniques for Belief Propagation (abstract)

Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics (abstract)

Evaluation and Deployment of a People-to-People Recommender in Online Dating (abstract)

The Quest Draft: An Automated Course Allocation Algorithm (abstract)

THink: Inferring Cognitive Status from Subtle Behaviors (abstract)

Challenges in Planning (abstract)

What's Hot in Autonomous Agents (abstract)

Syskill & Webert: Identifying Interesting Web Sites (abstract)

What's Hot in Cognitive Science (abstract)

Behavioral Network Science (abstract)

Can Agent Development Affect Developer's Strategy? (abstract)

Active Learning with Model Selection (abstract)

Sketch Recognition with Natural Correction and Editing (abstract)

Designing Fast Absorbing Markov Chains (abstract)

On Hair Recognition in the Wild by Machine (abstract)

How Do Your Friends on Social Media Disclose Your Emotions? (abstract)

Automatic Construction and Natural-Language Description of Nonparametric Regression Models (abstract)

Confident Reasoning on Raven’s Progressive Matrices Tests (abstract)

Learning Deep Representations for Graph Clustering (abstract)

Capturing Difficulty Expressions in Student Online Q&A Discussions (abstract)

Quality-based Learning for Web Data Classification (abstract)

A Region-Based Model for Estimating Urban Air Pollution (abstract)

Deployed: Engineering Works Scheduling for Hong Kong’s Rail Network (abstract)

Emerging: A Schedule Optimization Tool for Destructive and Non-Destructive Vehicle Tests (abstract)

Emerging: STREETS: Game-Theoretic Traffic Patrolling with Exploration and Exploitation (abstract)

Emerging: AI-MIX: Using Automated Planning to Steer Human Workers Towards Better Crowdsourced Plans (abstract)

Robust Visual Robot Localization Across Seasons using Network Flows (abstract)

A Framework for Task Planning in Heterogeneous Multi Robot Systems Based on Robot Capabilities (abstract)

Schedule-based Robotic Search for Multiple Residents in a Retirement Home Environment (abstract)

GP-Localize: Persistent Mobile Robot Localization using Online Sparse Gaussian Process Observation Model (abstract)

A Tractable Approach to ABox Abduction over Description Logic Ontologies (abstract)

Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness (abstract)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning (abstract)

Capturing Relational Schemas and Functional Dependencies in RDFS (abstract)

Semantic Graph Construction for Weakly-Supervised Image Parsing (abstract)

Efficient Object Detection via Adaptive Online Selection of Sensor-Array Elements (abstract)

Grounding Acoustic Echoes In Single View Geometry Estimation (abstract)

Sub-Selective Quantization for Large-Scale Image Search (abstract)

Learning Compositional Sparse Models of Bimodal Percepts (abstract)

Learning Goal-Oriented Hierarchical Tasks from Situated Interactive Instruction (abstract)

Social Planning: Achieving Goals by Altering Others' Mental States (abstract)

Using Narrative Function to Extract Qualitative Information from Natural Language Texts (abstract)

Identifying Differences in Physician Communication Styles with a Log-Linear Transition Component Model (abstract)

Accurate Household Occupant Behavior Modeling Based on Data Mining Techniques (abstract)

Learning Latent Engagement Patterns of Students in Online Courses (abstract)

Decomposing Activities of Daily Living to Discover Routine Clusters (abstract)

Increasing VCG Revenue by Decreasing the Quality of Items (abstract)

Incentives for Truthful Information Elicitation of Continuous Signals (abstract)

Equilibria in Epidemic Containment Games (abstract)

The Global Literacy Project: Technology to Power Child-Driven Learning (abstract)

Solving Imperfect Information Games Using Decomposition (abstract)

Exploiting Competition Relationship for Robust Visual Recognition (abstract)

Source Free Transfer Learning for Text Classification (abstract)

Locality Preserving Hashing (abstract)

R2: An Efficient MCMC Sampler for Probabilistic Programs (abstract)

Modeling and Predicting Popularity Dynamics via Reinforced Poisson Process (abstract)

Tailoring Local Search for Partial MaxSAT (abstract)

Multi-Instance Learning with Distribution Change (abstract)

A Strategy-Proof Online Auction with Time Discounting Values (abstract)

Non-linear Label Ranking for Large-scale Prediction of Long-Term User Interests (abstract)

Improving Semi-Supervised Target Alignment via Label-Aware Base Kernels (abstract)

Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence (abstract)

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs (abstract)

Oversubscription Planning: Complexity and Compilability (abstract)

Joint Morphological Generation and Syntactic Linearization (abstract)

Elementary Loops Revisited (abstract)

MaxSAT by Improved Instance‐Specific Algorithm Configuration (abstract)

An Experimentally Efficient Method for (MSS,CoMSS) Partitioning (abstract)

Extending Tournament Solutions (abstract)

Solving the Traveling Tournament Problem by Packing Three-Vertex Paths (abstract)

Supervised Transfer Sparse Coding (abstract)

Non-Restarting SAT Solvers With Simple Preprocessing Efficiently Simulate Resolution (abstract)

Learning to Recognize Novel Objects in One Shot through Human-Robot Interactions in Natural Language Dialogues (abstract)

Online Portfolio Selection with Group Sparsity (abstract)

Non-convex feature learning via lp,∞ operator (abstract)

An Agent-Based Model Studying the Acquisition of a Language System of Logical Constructions (abstract)

Adaptation Guided Case Base Maintenance (abstract)

Abduction Framework for Repairing Incomplete EL Ontologies: Complexity Results and Algorithms (abstract)

Saturated Path-Constrained MDP: Planning under Uncertainty and Deterministic Model-Checking Constraints (abstract)

State Aggregation in Monte Carlo Tree Search (abstract)

A Constructive Argumentation Framework (abstract)

Privacy and Regression Model Preserved Learning (abstract)

Mechanism Design for Mobile Geo–Location Advertising (abstract)

Learning Relative Similarity by Stochastic Dual Coordinate Ascent (abstract)

Approximate Equilibrium and Incentivizing Social Coordination (abstract)

New Models for Competitive Contagion (abstract)

DJAO: A Communication‐Constrained DCOP Algorithm that Combines Features of ADOPT and Action‐GDL (abstract)

Cross-lingual Knowledge Validation Based Taxonomy Derivation from Heterogeneous Online Wikis (abstract)

Sparse Learning for Stochastic Composite Optimization (abstract)

Signed Laplacian Embedding for Supervised Dimension Reduction (abstract)

On the Challenges of Physical Implementations of RBMs (abstract)

On Computing Optimal Strategies in Open List Proportional Representation: the Two Parties Case (abstract)

ARIA: Asymmetry Resistant Instance Alignment (abstract)

Large-Scale Supervised Multimodal Hashing with Semantic Correlation Maximization (abstract)

Learning Word Representation Considering Proximity and Ambiguity (abstract)

Echo-State Conditional Restricted Boltzmann Machines (abstract)

Adding Local Exploration to Greedy Best-First Search for Satisficing Planning (abstract)

On the Incompatibility of Efficiency and Strategyproofness in Randomized Social Choice (abstract)

Ranking Tweets by Labeled and Collaboratively Selected Pairs with Transitive Closure (abstract)

Learning Temporal Dynamics of Behavior Propagation in Social Networks (abstract)

On the Structure of Synergies in Cooperative Games (abstract)

Multilabel Classification with Label Correlations and Missing Labels (abstract)

What's Hot in Reinforcement Learning (abstract)

What's Hot in Machine Learning (abstract)

Challenges in Robotics (abstract)

Program Induction in the Real World (abstract)

Implications of Algorithmic and High-Frequency Trading (abstract)

Spectral Learning Methods for Natural Language Processing (abstract)

What's Hot in Social Media (abstract)

Challenges in Combinatorial Search (abstract)

Challenges in Cognitive Science (abstract)

Advances in Developing Physical and Cognitive Surrogates for Remote Operations—The Mars Exploration Rovers as Collaboration Tools (abstract)

Knowledge Compilation (abstract)

From Programs to Program Spaces: Leveraging Machine Learning and Optimisation for Automated Algorithm Design (abstract)

The Conversational User Interface (abstract)

Kernelized Bayesian Transfer Learning (abstract)

Dropout Training for Support Vector Machines (abstract)

ReLISH: Reliable Label Inference via Smoothness Hypothesis (abstract)

Using Model-Based Diagnosis to Improve Software Testing (abstract)

Pay-as-you-go OWL Query Answering Using a Triple Store (abstract)

The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving (abstract)

Exponential Deepening A* for Real-Time Agent-Centered Search (abstract)

Identifying Hierarchies for Fast Optimal Search (abstract)

Elimination Ordering in Lifted First-Order Probabilistic Inference (abstract)

The Importance of Cognition and Affect for Artificially Intelligent Decision Makers (abstract)

Efficient Codes for Inverse Dynamics during Walking (abstract)

Modeling Subjective Experience-based Learning under Uncertainty and Frames (abstract)

A Parameterized Complexity Analysis of Generalized CP-Nets (abstract)

Evolutionary Dynamics of Q-Learning over the Sequence Form (abstract)

Two Case Studies for Trading Multiple Indivisible Goods with Indifferences (abstract)

Encoding Tree Sparsity in Multi-Task Learning: A Probabilistic Framework (abstract)

Labeling Complicated Objects: Multi-View Multi-Instance Multi-Label Learning (abstract)

Cross-Domain Metric Learning Based on Information Theory (abstract)

HC-Search for Multi-Label Prediction: An Empirical Study (abstract)

Learning Instance Concepts from Multiple-Instance Data with Bags as Distributions (abstract)

Online Multi-Task Learning via Sparse Dictionary Optimization (abstract)

SenticNet 3: A Common and Common-Sense Knowledge Base for Cognition-Driven Sentiment Analysis (abstract)

Improving Domain-independent Cloud-based Speech Recognition with Domain-dependent Phonetic Post-processing (abstract)

Knowledge Graph Embedding by Translating on Hyperplanes (abstract)

Mind the Gap: Machine Translation by Minimizing the Semantic Gap in Embedding Space (abstract)

Hybrid Singular Value Thresholding for Tensor Completion (abstract)

PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains (abstract)

Learning Low-Rank Representations with Classwise Block-Diagonal Structure for Robust Face Recognition (abstract)

Semantic Segmentation Using Multiple Graphs with Block-Diagonal Constraints (abstract)

Locality-constrained Low-rank Coding for Image Classification (abstract)

Diagram Understanding in Geometry Problems (abstract)

Latent Domains Modeling for Visual Domain Adaptation (abstract)

Low-Rank Tensor Learning with Discriminant Analysis for Action Classification and Image Recovery (abstract)

Decentralized Stochastic Planning with Anonymity in Interactions (abstract)

Type-Based Exploration with Multiple Search Queues for Satisficing Planning (abstract)

Symbolic Domain Predictive Control (abstract)

Grandpa Hates Robots - Interaction Constraints for Planning in Inhabited Environments (abstract)

Cost-Based Query Optimization via AI Planning (abstract)

Computing Contingent Plans via Fully Observable Non-Deterministic Planning (abstract)

Fraudulent Support Telephone Number Identification Based on Co-occurrence Information on the Web (abstract)

Influence Maximization with Novelty Decay in Social Networks (abstract)

Online Social Spammer Detection (abstract)

Stochastic Privacy (abstract)

k-CoRating: Filling up Data to Obtain Privacy and Utility (abstract)

Fast and Accurate Influence Maximization on Large Networks with Pruned Monte-Carlo Simulations (abstract)

Game-theoretic Resource Allocation for Protecting Large Public Events (abstract)

Fixing a Balanced Knockout Tournament (abstract)

Lazy Defenders Are Almost Optimal Against Diligent Attackers (abstract)

Preference Elicitation and Interview Minimization in Stable Matchings (abstract)

Regret Transfer and Parameter Optimization (abstract)

On Detecting Nearly Structured Preference Profiles (abstract)

Deploying CommunityCommands: A Software Command Recommender System Case Study (abstract)

Predictive Models for Determining If and When to Display Online Lead Forms (abstract)

CiteSeerX: AI in a Digital Library Search Engine (abstract)

AI and AAAI: Fascinating Research and Engaged Community (abstract)

Feature-Cost Sensitive Learning with Submodular Trees of Classifiers (abstract)

A Computational Challenge Problem in Materials Discovery: Synthetic Problem Generator and Real-World Datasets (abstract)

Collaborative Models for Referring Expression Generation in Situated Dialogue (abstract)

On Boosting Sparse Parities (abstract)

Regret-Based Multi-Agent Coordination with Uncertain Task Rewards (abstract)

How Long Will It Take? Accurate Prediction of Ontology Reasoning Performance (abstract)

Avoiding Plagiarism in Markov Sequence Generation (abstract)

Fast Multi-Instance Multi-Label Learning (abstract)

Modeling and Mining Spatiotemporal Patterns of Infection Risk from Heterogeneous Data for Active Surveillance Planning (abstract)

Scalable Sparse Covariance Estimation via Self-Concordance (abstract)

Spatio-Temporal Consistency as a Means to Identify Unlabeled Objects in a Continuous Data Field (abstract)

Active Learning for Crowdsourcing Using Knowledge Transfer (abstract)

Sequential Click Prediction for Sponsored Search with Recurrent Neural Networks (abstract)

Learning Parametric Models for Social Infectivity in Multi-dimensional Hawkes Processes (abstract)

A Convex Formulation for Semi-supervised Multi-Label Feature Selection (abstract)

TacTex’13: A Champion Adaptive Power Trading Agent (abstract)

Emerging: A Smart Range Helping Cognitively-Impaired Persons Cooking (abstract)

Emerging: A Speech-Driven Second Screen Application for TV Program Discovery (abstract)

Emerging: Clustering Species Accumulation Curves to Identify Skill Levels of Citizen Scientists Participating in the eBird Project (abstract)

Emerging: Pattern Discovery in Protein Networks Reveals High-Confidence Predictions of Novel Interactions (abstract)

Accurate Integration of Aerosol Predictions by Smoothing on a Manifold (abstract)

Robust Distance Metric Learning in the Presence of Label Noise (abstract)

Predicting Postoperative Atrial Fibrillation from Independent ECG Components (abstract)

Generalizing Policy Advice with Gaussian Process Bandits for Dynamic Skill Improvement (abstract)

Robust Bayesian Inverse Reinforcement Learning with Sparse Behavior Noise (abstract)

Multiagent Metareasoning Through Organizational Design (abstract)

Predicting the Hardness of Learning Bayesian Networks (abstract)

Relational One-Class Classification: A Non-Parametric Approach (abstract)

User Group Oriented Temporal Dynamics Exploration (abstract)

Give a Hard Problem to a Diverse Team: Exploring Large Action Spaces (abstract)

Dynamic Multi-Agent Task Allocation with Spatial and Temporal Constraints (abstract)

Symbolic Model Checking Epistemic Strategy Logic (abstract)

Cross-View Feature Learning for Scalable Social Image Analysis (abstract)

Unsupervised Alignment of Natural Language Instructions with Video Segments (abstract)

Experiments on Visual Information Extraction with the Faces of Wikipedia (abstract)

Mechanism Design for Scheduling with Uncertain Execution Time. (abstract)

Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino (abstract)

A Characterization of the Single-Peaked Single-Crossing Domain (abstract)

Learning Concept Embeddings for Query Expansion by Quantum Entropy Minimization (abstract)

Learning Unknown Event Models (abstract)

An Adversarial Interpretation of Information-Theoretic Bounded Rationality (abstract)

Flexible and Scalable Partially Observable Planning with Linear Translations (abstract)

A Generalized Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles of Complex Types (abstract)

The Fisher Market Game: Equilibrium and Welfare (abstract)

Bounding the Support Size in Extensive Form Games with Imperfect Information (abstract)

Point-Based POMDP Solving with Factored Value Function Approximation (abstract)

A Propagator Design Framework for Constraints over Sequences (abstract)

Pathway Specification and Comparative Queries: A High Level Language with Petri Net Semantics (abstract)

A Relevance-Based Compilation Method for Conformant Probabilistic Planning (abstract)

Simpler Bounded Suboptimal Search (abstract)

Improving Context and Category Matching for Entity Search (abstract)

Data Quality in Ontology-based Data Access: The Case of Consistency (abstract)

Modal Ranking: A Uniquely Robust Voting Rule (abstract)

Recommendation by Mining Multiple User Behaviors with Group Sparsity (abstract)

Panel: From Research to Deployed Applications: Crossing the Valley of Death (abstract)

Compact Aspect Embedding For Diversified Query Expansion (abstract)

Learning Scripts as Hidden Markov Models (abstract)

Using Response Functions to Measure Strategy Strength (abstract)

Relaxation Search: a Simple Way of Managing Optional Clauses (abstract)

Towards Scalable Exploration of Diagnoses in an Ontology Stream (abstract)

Calibration-Free BCI Based Control (abstract)

Managing Change in Graph-structured Data Using Description Logics (abstract)

Joule Counting Correction for Electric Vehicles using Artificial Neural Nets (abstract)

Solving Zero-Sum Security Games in Discretized Spatio-Temporal Domains (abstract)

Robust Non-Negative Dictionary Learning (abstract)

Doubly Regularized Portfolio with Risk Minimization (abstract)

Mixing-time Regularized Policy Gradient (abstract)

Generalized Higher-Order Tensor Decomposition via Parallel ADMM (abstract)

Towards Topological-transformation Robust Shape Comparison: A Sparse Representation Based Manifold Embedding Approach (abstract)

Propagating Regular Counting Constraints (abstract)

Manifold Spanning Graphs (abstract)

Tightening Bounds for Bayesian Network Structure Learning (abstract)

Incentivizing High-Quality Content from Heterogeneous Users: On the Existence of Nash Equilibrium (abstract)

Voting with Rank Dependent Scoring Rules (abstract)

Latent Low-Rank Transfer Subspace Learning for Missing Modality Recognition (abstract)

Diagnosing Analogue Linear Systems Using Dynamic Topological Reconfiguration (abstract)

Sparse Compositional Metric Learning (abstract)

Role-Aware Conformity Influence Modeling and Analysis in Social Networks (abstract)

Planning as Model Checking in Hybrid Domains (abstract)

Computing General First-order Parallel and Prioritized Circumscription (abstract)

A Joint Optimization Model for Image Summarization Based on Image Content and Tags (abstract)

Pre-trained Multi-view Word Embedding using Two-side Neural Network (abstract)

Regret-based Optimization and Preference Elicitation for Stackelberg Security Games with Uncertainty (abstract)

Globally and Locally Consistent Unsupervised Projection (abstract)

Low-Rank Tensor Completion with Spatio-Temporal Consistency (abstract)

Sample-Adaptive Multiple Kernel Learning (abstract)

Gradient Descent with Proximal Average for Nonconvex and Composite Regularization (abstract)

Challenges in Machine Learning (abstract)

What's Hot in Robotics (abstract)

What's Hot in Learning Representations (abstract)

Automating Science: A Grand Challenge for AI (abstract)

Themes and Progress in Computational Scientific Discovery (abstract)

Task Learning: a Challenge Problem for Integrated Intelligent Agents (abstract)

Senior Member: Tackling Real World Data Streams: a Call to Arms (abstract)

Senior Member: Computational Social Choice (abstract)

Wikipedia-based Semantic Interpretation for Natural Language Processing (abstract)

Challenges in Interactive Entertainment (abstract)

Challenges in Constraint Programming (abstract)

Challenges Beyond Factoid Question Answering (abstract)

Emerging: Robust Protection of Fisheries with COmPASS (abstract)

Emerging: Swissnoise: Online Polls with Game-Theoretic Incentives (abstract)

Emerging: Crowdsourcing for Multiple-Choice Question Answering (abstract)

Exact Subspace Clustering in Linear Time (abstract)

Learning with Augmented Class by Exploiting Unlabeled Data (abstract)

Power Iterated Color Refinement (abstract)

Convex Co-embedding (abstract)

Synthesis of Geometry Proof Problems (abstract)

Automatic Game Design via Mechanic Generation (abstract)

Optimal Decomposition in Linear Constraint Systems (abstract)

Cached Iterative Weakening for Optimal Multi-Way Number Partitioning (abstract)

Supervised Hashing for Image Retrieval via Image Representation Learning (abstract)

Predicting Emotions in User-Generated Videos (abstract)

Programming by Example using Least General Generalizations (abstract)

Distribution-Aware Sampling and Weighted Model Counting for SAT (abstract)

Game Theory for Security: Key Algorithmic Principles, Deployed Applications, Research Challenges (abstract)

Emerging: A Unified Framework for Augmented Reality and Knowledge-Based Systems in Maintaining Aircraft (abstract)

Emerging: Optimizing a Start-Stop Controller Using Policy Search (abstract)

Emerging: Advice Provision for Energy Saving in Automobile Climate Control Systems (abstract)

Emerging: StrokeBank: Automating Personalized Chinese Handwriting Generation (abstract)

A Spatially Sensitive Kernel to Predict Cognitive Performance from Short-Term Changes in Neural Structure (abstract)

Online Classification Using a Voted RDA Method (abstract)

Bagging by design (on the sub-optimality of bagging) (abstract)

LASS: A Simple Assignment Model with Laplacian Smoothing (abstract)

Adaptive Multi-Compositionality for Recursive Neural Models with Applications to Sentiment Analysis (abstract)

On Dataless Hierarchical Text Classification (abstract)

Instance-based Domain Adaptation in NLP via In-target-domain Logistic Approximation (abstract)

Semi-supervised Matrix Completion for Cross-Lingual Text Classification (abstract)

Maximum Satisfiability using core-guided MaxSAT Resolution (abstract)

Adaptive Singleton-based Consistencies (abstract)

A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants (abstract)

Fast Consistency Checking of Very Large Real-World RCC-8 Constraint Networks Using Graph Partitioning (abstract)

Acquiring Comparative Commonsense Knowledge from the Web (abstract)

Emotion Classification in Microblog Texts Using Class Sequential Rules (abstract)

SUIT: A Supervised User-Item based Topic model for Sentiment Analysis (abstract)

Where and Why Users "Check In" (abstract)

Spatial Scan for Disease Mapping on a Mobile Population (abstract)

Rounded Dynamic Programming for Tree-Structured Stochastic Network Design (abstract)

Efficient Buyer Groups for Prediction-of-Use Electricity Tariffs (abstract)

Effective Management of Electric Vehicle Storage using Smart Charging (abstract)

Multi-Organ Exchange: The Whole is Greater than the Sum of its Parts (abstract)

The Computational Rise and Fall of Fairness (abstract)

Online (Budgeted) Social Choice (abstract)

Scalable Complex Contract Negotiation With Structured Search and Agenda Management (abstract)

30 Year of Probability in AI and Machine Learning (abstract)

Reconsidering Mutual Information Based Feature Selection: A Statistical Significance View (abstract)

Efficient Generalized Fused Lasso and Its Application to the Diagnosis of Alzheimer’s Disease (abstract)

The Role of Dimensionality Reduction in Linear Classification (abstract)

Deep Modeling of Group Preferences for Group-based Recommendation (abstract)

Dramatis: A Computational Model of Suspense (abstract)

Ordering Effects and Belief Adjustment in the Use of Comparison Shopping Agents (abstract)

A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback (abstract)

Discovering Better AAAI Keywords via Clustering with Crowd-sourced Constraints (abstract)

A Generalization of Probabilistic Serial to Randomized Social Choice (abstract)

Biased Games (abstract)

Simultaneous Cake Cutting (abstract)

Incomplete Preferences in Single-Peaked Electorates (abstract)

Solving Uncertain MDPs by Reusing State Information and Plans (abstract)

Structured Possibilistic Planning using Decision Diagrams (abstract)

A Simple Polynomial-Time Randomized Distributed Algorithm for Connected Row Convex Constraints (abstract)

Chance-constrained Probabilistic Simple Temporal Problems (abstract)

A Hybrid Grammar-Based Approach for Learning and Recognizing Natural Hand Gestures (abstract)

A Machine Learning Approach to Musically Meaningful Homogeneous Style Classification (abstract)

Forecasting Potential Diabetes Complications (abstract)

Efficient Optimization for Autonomous Manipulation of Natural Objects (abstract)

Qualitative Planning with Quantitative Constraints for Online Learning of Robotic Behaviours (abstract)

Learning from Unscripted Deictic Gesture and Language for Human-Robot Interactions (abstract)

Minimising Undesired Task Costs in Multi-robot Task Allocation Problems with In-Schedule Dependencies (abstract)

Chinese Zero Pronoun Resolution: An Unsupervised Approach Combining Ranking and Integer Linear Programming (abstract)

Contraction and Revision over DL-Lite TBoxes (abstract)

Optimal and Efficient Stochastic Motion Planning in Partially-Known Environments (abstract)

Natural Temporal Difference Learning (abstract)

Large Scale Analogical Reasoning (abstract)

Fused Feature Representation Discovery for High-dimensional and Sparse Data (abstract)

Q-intersection Algorithms for Constraint-Based Robust Parameter Estimation (abstract)

CoreCluster: A Degeneracy Based Graph Clustering Framework (abstract)

Tree-Based On-line Reinforcement Learning (abstract)

Local-To-Global Consistency Implies Tractability of Abduction (abstract)

Pairwise-Covariance Linear Discriminant Analysis (abstract)

A Multiarmed Bandit Incentive Mechanism for Crowdsourcing Demand Response in Smart Grids (abstract)

Strategyproof exchange with multiple private endowments (abstract)

SOML: Sparse Online Metric Learning with Application to Image Retrieval (abstract)

Finding Median Point-Set Using Earth Mover's Distance (abstract)

Intra-view and Inter-view Supervised Correlation Analysis for Multi-view Feature Learning (abstract)

Internally Stable Matchings and Exchanges (abstract)

Testable Implications of Linear Structural Equation Models (abstract)

Solving the Inferential Frame Problem in the General Game Description Language (abstract)

Monte Carlo Filtering using Kernel Embedding of Distributions (abstract)

User Intent Identification from Online Discussions using a Joint Aspect-Action Topic Model (abstract)

Envy-Free Division of Sellable Goods (abstract)

Adaptive Knowledge Transfer for Multiple Instance Learning in Image Classification (abstract)

PAC Rank Elicitation through Adaptive Sampling of Stochastic Pairwise Preferences (abstract)

Parallel Restarted Search (abstract)

Optimal Neighborhood Preserving Visualization by Maximum Satisfiability (abstract)

A Local Non-negative Pursuit Method for Intrinsic Manifold Structure Preservation (abstract)

Deep Salience: Visual Salience Modeling via Deep Belief Propagation (abstract)

Context-aware Collaborative Topic Regression with Social Matrix Factorization for Recommender Systems (abstract)

Delivering Guaranteed Display Ads under Reach and Frequency Requirements (abstract)

Direct Semantic Analysis for Social Image Classification (abstract)

Double Configuration Checking in Stochastic Local Search for Satisfiability (abstract)

GenEth: A General Ethical Dilemma Analyzer (abstract)

Mapping Users Across Networks by Manifold Alignment on Hypergraph (abstract)

Worst-Case Solution Quality Analysis When Not Re-Expanding Nodes in Best-First Search (abstract)

Coactive Learning for Locally Optimal Problem Solving (abstract)

Prediction of Helpful Reviews using Emotions Extraction (abstract)

Supervised Scoring with Monotone Multidimensional Splines (abstract)

On the Axiomatic Characterization of Runoff Voting Rules (abstract)

Huffman Coding for Storing Non-uniformly Distributed Messages in Networks of Neural Cliques (abstract)

Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty (abstract)

Semantic Data Representation for Improving Tensor Factorization (abstract)

Uncorrelated Multi-View Discrimination Dictionary Learning for Recognition (abstract)

Exploiting Support Sets for Answer Set Programs with External Evaluations (abstract)

Binary Aggregation by Selection of the Most Representative Voter (abstract)

Preprocessing for Propositional Model Counting (abstract)

Locality Preserving Projection for Domain Adaptation with Multi-Objective Learning (abstract)

Evaluating Trauma Patients: Addressing Missing Covariates with Joint Optimization (abstract)

Qualitative Reasoning with Modelica Models (abstract)

Decentralized Multi-Agent Reinforcement Learning in Average-Reward Dynamic DCOPs (abstract)

Hybrid Heterogeneous Transfer Learning through Deep Learning (abstract)

Agent Behavior Prediction and Its Generalization Analysis (abstract)

Efficiently Implementing GOLOG with Answer Set Programming (abstract)

Partial Multi-View Clustering (abstract)

Potential-Aware Imperfect-Recall Abstraction with Earth Mover's Distance in Imperfect-Information Games (abstract)

Finding the k-best Equivalence Classes of Bayesian Network Structures for Model Averaging (abstract)

Machine Translation with Real-time Web Search (abstract)

Novel Density-based Clustering Algorithms for Uncertain Data (abstract)

Feature Selection at the Discrete Limit (abstract)

Dynamic Bayesian Probabilistic Matrix Factorization (abstract)

Proximal Iteratively Reweighted Algorithm with Multiple Splitting for Nonconvex Sparsity Optimization (abstract)

Trust Prediction with Propagation and Similarity Regularization (abstract)

Robust Multi-View Spectral Clustering via Low-Rank and Sparse Decomposition (abstract)

Similarity-Preserving Binary Signature for Linear Subspaces (abstract)

Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust (abstract)