New York, NY, USA · 9–15 July 2016
Edited by Subbarao Kambhampati
No papers match this filter.
Papers
Interdependent Scheduling Games
Pages 2–8
Generalized Discrete Preference Games
Pages 53–58
Computing Pareto Optimal Committees
Pages 60–65
Control of Fair Division
Pages 67–72
Misrepresentation in District Voting
Pages 81–86
The Complexity of Playing Durak
Pages 109–114
Facility Location with Minimax Envy
Pages 137–142
Subset Selection via Implicit Utilitarian Voting
Pages 151–156
Congestion Games with Polytopal Strategy Spaces
Pages 165–170
Robust Draws in Balanced Knockout Tournaments
Pages 172–178
Selective Norm Monitoring
Pages 208–213
Elicitation for Preferences Single Peaked on Trees
Pages 215–220
Preference Elicitation for Single Crossing Domain
Pages 222–227
Strategic Voting with Incomplete Information
Pages 236–241
Voting-Based Group Formation
Pages 243–248
Digital Good Exchange
Pages 264–269
Parallel Behavior Composition for Manufacturing
Pages 271–277
Opinion Dynamics with Local Interactions
Pages 279–284
Online Mechanism Design for Vehicle-to-Grid Car Parks
Pages 286–292
Reconfigurability in Reactive Multiagent Systems
Pages 315–320
Probabilistic Matrix Inspection and Group Scheduling
Pages 322–327
Catcher-Evader Games
Pages 329–336
Social Choice for Agents with General Utilities
Pages 345–350
Incentivizing Reliability in Demand-Side Response
Pages 352–357
Allocating Indivisible Items in Categorized Domains
Pages 359–364
Correlated Voting
Pages 366–371
Dynamic Auctions with Bank Accounts
Pages 387–392
Sequential Plan Recognition
Pages 401–406
Role Assignment for Game-Theoretic Cooperation
Pages 416–422
Trembling Hand Equilibria of Plurality Voting
Pages 440–445
Distributed Breakout: Beyond Satisfaction
Pages 447–452
Controlling Growing Tasks with Heterogeneous Agents
Pages 461–466
Efficient Local Search in Coordination Games on Graphs
Pages 482–487
Preserving Privacy in Region Optimal DCOP Algorithms
Pages 496–501
Coordinating Human-UAV Teams in Disaster Response
Pages 524–529
Optimally Protecting Elections
Pages 538–544
Action Selection for Hammer Shots in Curling
Pages 561–566
Packing Graphs with ASP for Landscape Simulation
Pages 575–580
On the Topology of Genetic Algorithms
Pages 582–587
Relevance for SAT(ID)
Pages 596–601
Counting Linear Extensions of Sparse Posets
Pages 603–608
External Memory Bidirectional Search
Pages 676–681
Canonical Orderings on Grids
Pages 683–688
Multiple Constraint Acquisition
Pages 698–703
Ranking Constraints
Pages 705–710
Bias in Algorithm Portfolio Performance Evaluation
Pages 712–718
Constraint Acquisition with Recommendation Queries
Pages 720–725
Combining the k-CNF and XOR Phase-Transitions
Pages 727–733
Improving Model Counting by Leveraging Definability
Pages 751–756
Static Symmetry Breaking with the Reflex Ordering
Pages 758–764
A Clause Tableau Calculus for MaxSAT
Pages 766–771
Optimizing Molecular Cloning of Multiple Plasmids
Pages 773–778
Interactive Teaching Strategies for Agent Training
Pages 804–810
Interactive Martingale Boosting
Pages 841–846
Interactive Scheduling of Appliance Usage in the Home
Pages 869–876
Completion of Disjunctive Logic Programs
Pages 886–891
On the Relationship between P-log and LPMLN
Pages 915–920
Online Agent Supervision in the Situation Calculus
Pages 922–927
Equivalent Stream Reasoning Programs
Pages 929–934
Ontology-Mediated Queries Distributing over Components
Pages 943–948
Query-Based Entailment and Inseparability for ALC Ontologies
Pages 1001–1006
Knowledge Compilation Meets Communication Complexity
Pages 1008–1013
An ASP Semantics for Default Reasoning with Constraints
Pages 1015–1020
Plan Synthesis for Knowledge and Action Bases
Pages 1022–1028
On the Impact of Modal Depth in Epistemic Planning
Pages 1030–1035
Imperfect-Information Games and Generalized Planning
Pages 1037–1042
LTLf and LDLf Synthesis under Partial Observability
Pages 1044–1049
Forgetting in Multi-Agent Modal Logics
Pages 1066–1072
Trend-Based Prediction of Spatial Change
Pages 1074–1079
Querying Data Graphs with Arithmetical Regular Expressions
Pages 1088–1093
On Consensus Extraction
Pages 1095–1100
Distributing Knowledge into Simple Bases
Pages 1109–1114
Normative Multiagent Systems: The Dynamic Generalization
Pages 1123–1128
Conservative Rewritability of Description Logic TBoxes
Pages 1153–1158
Learning Possibilistic Logic Theories from Default Rules
Pages 1167–1172
Answering Metaqueries over Hi (OWL 2 QL) Ontologies
Pages 1174–1179
A Decision Procedure for a Fragment of Linear Time Mu-Calculus
Pages 1195–1200
Belief Update for Proper Epistemic Knowledge Bases
Pages 1209–1214
Optimal Status Enforcement in Abstract Argumentation
Pages 1216–1221
Efficient Representations for the Modal Logic S5
Pages 1223–1228
Expressivity of Datalog Variants - Completing the Picture
Pages 1230–1235
Normative Practical Reasoning via Argumentation and Dialogue
Pages 1244–1249
Sampling-Based Belief Revision
Pages 1272–1277
Text-Enhanced Representation Learning for Knowledge Graph
Pages 1293–1298
Driver Frustration Detection from Audio and Video in the Wild
Pages 1354–1359
The Complexity of Learning Acyclic CP-Nets
Pages 1361–1366
EBEK: Exemplar-Based Kernel Preserving Embedding
Pages 1441–1446
Copula Mixed-Membership Stochastic Blockmodel
Pages 1462–1467
A Robust Convex Formulation for Ensemble Clustering
Pages 1476–1481
Semi-Data-Driven Network Coarsening
Pages 1483–1488
Constrained Local Latent Variable Discovery
Pages 1490–1495
Knowledge-Based Sequence Mining with ASP
Pages 1497–1503
Incremental Truncated LSTD
Pages 1505–1510
Online Bayesian Max-Margin Subspace Multi-View Learning
Pages 1555–1560
Tight Policy Regret Bounds for Improving and Decaying Bandits
Pages 1562–1569
Bayesian Reinforcement Learning with Behavioral Feedback
Pages 1571–1576
Grounding Topic Models with Knowledge Bases
Pages 1578–1583
Transfer Learning with Active Queries from Source Domain
Pages 1592–1597
Change Detection Using Directional Statistics
Pages 1613–1618
Multi-Label Informed Feature Selection
Pages 1627–1632
Robust Out-of-Sample Data Recovery
Pages 1634–1638
Constructing Abstraction Hierarchies Using a Skill-Symbol Loop
Pages 1648–1653
Learning Multi-Step Predictive State Representations
Pages 1662–1667
Adversarial Sequence Tagging
Pages 1690–1695
Multi-View Learning with Limited and Noisy Tagging
Pages 1718–1723
Graph Quality Judgement: A Large Margin Expedition
Pages 1725–1730
Group-Invariant Cross-Modal Subspace Learning
Pages 1739–1744
Learning to Detect Concepts from Webly-Labeled Video Data
Pages 1746–1751
Supervised Matrix Factorization for Cross-Modality Hashing
Pages 1767–1772
Aligning Users across Social Networks Using Network Embedding
Pages 1774–1779
Transductive Optimization of Top k Precision
Pages 1781–1786
Natural Supervised Hashing
Pages 1788–1793
Linear-Time Outlier Detection via Sensitivity
Pages 1795–1800
Efficient Bayesian Clustering for Reinforcement Learning
Pages 1830–1837
Sum-Product-Max Networks for Tractable Decision Making
Pages 1846–1851
Asynchronous Accelerated Stochastic Gradient Descent
Pages 1853–1858
Tri-Party Deep Network Representation
Pages 1895–1900
Deep Subspace Clustering with Sparsity Prior
Pages 1925–1930
Self-Paced Boost Learning for Classification
Pages 1932–1937
Parallel Pareto Optimization for Subset Selection
Pages 1939–1944
Non-Negative Matrix Factorization with Sinkhorn Distance
Pages 1960–1965
Portfolio Blending via Thompson Sampling
Pages 1983–1988
Adaptive Variance Reducing for Stochastic Gradient Descent
Pages 1990–1995
Improving CNN Performance with Min-Max Objective
Pages 2004–2009
Fast Structural Binary Coding
Pages 2018–2023
Supervised Heterogeneous Domain Adaptation via Random Forests
Pages 2039–2044
Learning Using Unselected Features (LUFe)
Pages 2060–2065
Inference Machines for Nonparametric Filter Learning
Pages 2074–2080
Dynamic Early Stopping for Naive Bayes
Pages 2082–2087
Policy Search in Reproducing Kernel Hilbert Space
Pages 2089–2095
Generalized Dictionary for Multitask Learning with Boosting
Pages 2097–2102
Cost-Saving Effect of Crowdsourcing Learning
Pages 2111–2116
Learning First-Order Logic Embeddings via Matrix Factorization
Pages 2132–2137
Constrained Preference Embedding for Item Recommendation
Pages 2139–2144
Learning A Deep ℓ∞ Encoder for Hashing
Pages 2174–2179
Preference Inference through Rescaling Preference Learning
Pages 2203–2208
Budgeted Multi-Armed Bandits with Multiple Plays
Pages 2210–2215
Robust and Sparse Fuzzy K-Means Clustering
Pages 2224–2229
Modularity Based Community Detection with Deep Learning
Pages 2252–2257
A Unified Framework for Discrete Spectral Clustering
Pages 2273–2278
Learning by Actively Querying Strong Modal Features
Pages 2280–2285
Greedy Learning of Generalized Low-Rank Models
Pages 2294–2299
Neural Enquirer: Learning to Query Tables in Natural Language
Pages 2308–2313
Unsupervised Feature Learning from Time Series
Pages 2322–2327
Large Scale Sparse Clustering
Pages 2336–2341
Staleness-Aware Async-SGD for Distributed Deep Learning
Pages 2350–2355
Self-Adapted Multi-Task Clustering
Pages 2357–2362
Improving Top-N Recommendation with Heterogeneous Loss
Pages 2378–2383
Predictive Collaborative Filtering with Side Information
Pages 2385–2390
Incomplete Multi-Modal Visual Data Grouping
Pages 2392–2397
Fast-and-Light Stochastic ADMM
Pages 2407–2612
Transfer Hashing with Privileged Information
Pages 2414–2419
Model-Based Deep Hand Pose Estimation
Pages 2421–2426
Crowdsourcing via Tensor Augmentation and Completion
Pages 2435–2440
A Self-Representation Induced Classifier
Pages 2442–2447
Stochastic Multiresolution Persistent Homology Kernel
Pages 2449–2456
A SAT-Based Approach for Mining Association Rules
Pages 2472–2477
Optimal Interdiction of Illegal Network Flow
Pages 2507–2512
Modifying MCTS for Human-Like General Video Game Playing
Pages 2514–2519
Clustering Financial Time Series: How Long Is Enough?
Pages 2583–2588
How to Build Your Network? A Structural Analysis
Pages 2597–2602
Balancing Appearance and Context in Sketch Interpretation
Pages 2625–2631
Scene Text Detection in Video by Learning Locally and Globally
Pages 2647–2652
Dimensionally Guided Synthesis of Mathematical Word Problems
Pages 2661–2667
POISketch: Semantic Place Labeling over User Activity Streams
Pages 2697–2702
ST-MVL: Filling Missing Values in Geo-Sensory Time Series Data
Pages 2704–2709
WikiWrite: Generating Wikipedia Articles Automatically
Pages 2740–2745
Distraction-Based Neural Networks for Modeling Document
Pages 2754–2759
Intersubjectivity and Sentiment: From Language to Knowledge
Pages 2789–2794
Parse Tree Fragmentation of Ungrammatical Sentences
Pages 2796–2801
Generating Recommendation Evidence Using Translation Model
Pages 2810–2815
Bag-of-Embeddings for Text Classification
Pages 2824–2829
Towards Zero Unknown Word in Neural Machine Translation
Pages 2852–2857
Learning Paraphrase Identification with Structural Alignment
Pages 2859–2864
HC-Search for Incremental Parsing
Pages 2887–2892
Cross-Lingual Dataless Classification for Many Languages
Pages 2901–2906
Sparse Word Embeddings Using ℓ1 Regularized Online Learning
Pages 2915–2920
Employing External Rich Knowledge for Machine Comprehension
Pages 2929–2924
Building Joint Spaces for Relation Extraction
Pages 2936–2941
Diverse Image Captioning via GroupTalk
Pages 2957–2963
Neural Generative Question Answering
Pages 2972–2977
Context-Specific and Multi-Prototype Character Representations
Pages 3007–3012
Unsupervised Storyline Extraction from News Articles
Pages 3014–3020
Factored Probabilistic Belief Tracking
Pages 3045–3051
Maintaining Evolving Domain Models
Pages 3053–3058
Learning to Rank for Synthesizing Planning Heuristics
Pages 3089–3094
Decoupled Strong Stubborn Sets
Pages 3110–3115
A POMDP Approach to Influence Diagram Evaluation
Pages 3124–3131
Anticipatory Troubleshooting
Pages 3133–3138
Batch-Switching Policy Iteration
Pages 3147–3152
In Search of Tractability for Partial Satisfaction Planning
Pages 3154–3159
Privacy Preserving Plans in Partially Observable Environments
Pages 3170–3175
Sequential Planning for Steering Immune System Adaptation
Pages 3177–3183
Heuristic Subset Selection in Classical Planning
Pages 3185–3190
Heuristic Planning for PDDL+ Domains
Pages 3213–3218
Heuristics for Numeric Planning via Subgoaling
Pages 3228–3233
Hierarchical Finite State Controllers for Generalized Planning
Pages 3235–3240
Correlation Complexity of Classical Planning Domains
Pages 3242–3249
Blind Search for Atari-Like Online Planning Revisited
Pages 3251–3256
Plan Recognition as Planning Revisited
Pages 3258–3263
On State-Dominance Criteria in Fork-Decoupled Search
Pages 3265–3270
Abstraction Heuristics for Symbolic Bidirectional Search
Pages 3272–3277
Goal Recognition Design with Stochastic Agent Action Outcomes
Pages 3279–3284
Graph-Based Factorization of Classical Planning Problems
Pages 3286–3291
Highly Accurate Gaze Estimation Using a Consumer RGB-D Sensor
Pages 3368–3373
Making Robots Proactive through Equilibrium Maintenance
Pages 3375–3380
What Is Where: Inferring Containment Relations from Videos
Pages 3418–3423
Geometric Scene Parsing with Hierarchical LSTM
Pages 3439–3444
Learning Social Affordance for Human-Robot Interaction
Pages 3454–3460
Visual Tracking with Reliable Memories
Pages 3491–3496
Object Recognition with Hidden Attributes
Pages 3498–3503
Contextual Symmetries in Probabilistic Graphical Models
Pages 3560–3567
Solving M-Modes Using Heuristic Search
Pages 3584–3589
Probabilistic Inference Modulo Theories
Pages 3591–3598
Group Decision Making via Probabilistic Belief Merging
Pages 3623–3628
Inferring Motif-Based Diffusion Models for Social Networks
Pages 3677–3682
Efficient Algorithms for Spanning Tree Centrality
Pages 3733–3738
Ordering Concepts Based on Common Attribute Intensity
Pages 3747–3752
What Does Social Media Say about Your Stress?
Pages 3775–3780
Learning to Incentivize: Eliciting Effort via Output Agreement
Pages 3782–3787
Item Recommendation for Emerging Online Businesses
Pages 3797–3802
Browsing Regularities in Hedonic Content Systems
Pages 3811–3816
WebGazer: Scalable Webcam Eye Tracking Using User Interactions
Pages 3839–3844
A Framework for Recommending Relevant and Diverse Items
Pages 3868–3873
Understanding Information Diffusion under Interactions
Pages 3875–3880
Progressive Comparison for Ranking Estimation
Pages 3882–3887
KOGNAC: Efficient Encoding of Large Knowledge Graphs
Pages 3896–3901
Learning Hostname Preference to Enhance Search Relevance
Pages 3903–3908
Causality Based Propagation History Ranking in Social Networks
Pages 3917–3922
Learning Defining Features for Categories
Pages 3924–3929
Matrix Factorization+ for Movie Recommendation
Pages 3945–3950
Rational-Based Visual Planning Monitors
Pages 3968–3968
Online Fair Division Redux
Pages 3970–3970
Combining Logic and Probability: P-log Perspective
Pages 3974–3974
Planning under Uncertainty and Temporally Extended Goals
Pages 3976–3976
Bounded Suboptimal Multi-Agent Path Finding Using Highways
Pages 3978–3978
Logic-Based Inductive Synthesis of Efficient Programs
Pages 3980–3980
An Approach to Cooperation in General-Sum Normal Form Games
Pages 3984–3984
Self Monitoring, Goal Driven Autonomy Agents
Pages 3986–3986
Fast Motion Prediction for Collaborative Robotics
Pages 3988–3988
Proactivity in Robots
Pages 3994–3994
Probabilistic Planning with Risk-Sensitive Criterion
Pages 3996–3996
Stochastic Planning in Large Search Spaces
Pages 4000–4000
Machine Learning for Integer Programming
Pages 4004–4004
Toward a Robust and Universal Crowd-Labeling Framework
Pages 4006–4006
Active Inference for Dynamic Bayesian Networks
Pages 4008–4008
Learning Robust Representations for Data Analytics
Pages 4010–4010
Modelling Satisfiability Problems: Theory and Practice
Pages 4012–4012
Solving Hard Subgraph Problems in Parallel
Pages 4014–4014
Semantic Framework for Industrial Analytics and Diagnostics
Pages 4016–4016
Adaptive Sequential Recommendation Using Context Trees
Pages 4018–4018
On the Synergy of Network Science and Artificial Intelligence
Pages 4020–4020
Reactive Policy Checking for Action Languages
Pages 4024–4024
General Statistical Approaches to Procedural Map Generation
Pages 4028–4028
On Ranking and Choice Models
Pages 4050–4052
Computational Social Choice: Some Current and New Directions
Pages 4054–4056
Plausible Reasoning Based on Qualitative Entity Embeddings
Pages 4078–4080
A Hard Look at Soft Concepts
Pages 4082–4084
First-Order Model Counting in a Nutshell
Pages 4086–4088
Adversarial AI
Pages 4094–4098
From Non-Convex Aggregates to Monotone Aggregates in ASP
Pages 4100–4193
On the Properties of GZ-Aggregates in Answer Set Programming
Pages 4105–4108
Optimal Prosumer Decision-Making Using Factored MDPs
Pages 4110–4113
Optimal and Adaptive Algorithms for Online Boosting
Pages 4120–4123
Detecting Student Emotions in Computer-Enabled Classrooms
Pages 4125–4128
Learning Qualitative Spatial Relations for Robotic Navigation
Pages 4130–4133
On Broken Triangles
Pages 4135–4138
Sequencing Operator Counts
Pages 4140–4143
Tabling as a Library with Delimited Control
Pages 4145–4148
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer
Pages 4150–4153
Effective Planning with More Expressive Languages
Pages 4155–4158
A Nearly-Linear Time Framework for Graph-Structured Sparsity
Pages 4165–4168
Projection, Inference, and Consistency
Pages 4175–4178
The Dependence of Effective Planning Horizon on Model Accuracy
Pages 4180–4188
Deep Neural Decision Forests
Pages 4190–4193
Proximal Gradient Temporal Difference Learning Algorithms
Pages 4195–4198
A Decision Procedure for (Co)datatypes in SMT Solvers
Pages 4205–4208
Why Prices Need Algorithms
Pages 4210–4211
Practical 3D Tracking Using Low-Cost Cameras
Pages 4236–4236
SMACk: An Argumentation Framework for Opinion Mining
Pages 4242–4242
The Malmo Platform for Artificial Intelligence Experimentation
Pages 4246–4246
A Demonstration of Interactive Task Learning
Pages 4248–4248
Eddy: A Graphical Editor for OWL 2 Ontologies
Pages 4252–4252
Demo: Assisting Visually Impaired People Navigate Indoors
Pages 4260–4260
Klint: Assisting Integration of Heterogeneous Knowledge
Pages 4262–4262
Thou Shalt ASQFor and Shalt Receive the Semantic Answer
Pages 4264–4264
A Tool for Generating Interactive Euler Diagrams
Pages 4266–4266
Interactive Planning-Based Hypothesis Generation with LTS++
Pages 4268–4268
PARecommender: A Pattern-Based System for Route Recommendation
Pages 4272–4272
Front matter, copyright and publication details
Cosponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)
Association for the Advancement of Artificial Intelligence
Published by
AAAI Press / International Joint Conferences on Artificial Intelligence
Palo Alto, California USA
Copyright © 2016 International Joint Conferences on Artificial Intelligence
All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.
IJCAI Secretary-Treasurer: Prof. Dr. Bernhard Nebel, Computer Science Department, Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee, Geb. 052 D-79110 Freiburg, Germany
IJCAI Executive Secretary Ms. Vesna Sabljakovic-Fritz, Vienna University of Technology, Institute of Discrete Mathematics and Geometry, E104 Wiedner Hauptstr. 8-10, A-1040 Vienna, Austria
Copublished and Distributed by AAAI Press, 2275 East Bayshore Road, Suite 160, Palo Alto CA 94303 USA
ISBN 978-1-57735-770-4 (volumes 1-3)
ISBN 978-1-57735-771-1 (volumes 4-6)
