AAAI PROGRAM
Days: Tuesday, July 16th Wednesday, July 17th Thursday, July 18th
Monday, July 15th, 2013
10:30-11:00Coffee Break
11:45-13:45Lunch Break
15:30-16:00Coffee Break
Tuesday, July 16th, 2013
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 10: Keynote Address: Mooney
09:00 | AAAI-13 Keynote Address: Grounded Language Learning (abstract) |
10:00-10:20Coffee Break
10:20-11:20 Session 11: IAAI Joint Invited talk: Birnbaum
10:20 | AAAI/IAAI Joint Invited Talk: Telling Stories at Internet Scale (abstract) |
11:20-12:20 Session 12A: Regression
11:20 | Time-dependent Trajectory Regression on Road Networks via Multi-Task Learning (abstract) |
11:35 | A Concave Conjugate Approach for Nonconvex Penalized Regression with the MCP Penalty (abstract) |
11:50 | Lazy Gaussian Process Committee for Real-Time Online Regression (abstract) |
12:05 | Continuous Conditional Random Fields for Efficient Regression in Large Fully Connected Graphs (abstract) |
11:20-12:20 Session 12B: Sentiment and Recommendation
11:20 | The Automated Acquisition of Suggestions from Tweets (abstract) |
11:35 | A Hierarchical Aspect-Sentiment Model for Online Reviews (abstract) |
11:50 | A Pattern Matching Based Model for Implicit Opinion Question Identification (abstract) |
12:05 | From Semantic to Emotional Space in Probabilistic Sense Sentiment Analysis (abstract) |
11:20-12:20 Session 12C: Markets and Preferences
11:20 | Instructor Rating Markets (abstract) |
11:35 | How to Cut a Cake Before the Party Ends (abstract) |
11:50 | Online Lazy Updates for Portfolio Selection with Transaction Costs (abstract) |
12:05 | Abstract Preference Frameworks — A Unifying Perspective on Separability and Strong Equivalence (abstract) |
11:20-12:20 Session 12D: Bayesian Inference and Causality
11:20 | Reduce and Re-Lift: Bootstrapped Lifted Likelihood Maximization for MAP (abstract) |
11:35 | m-Transportability: Transportability of Causal Effect from Multiple Environments (abstract) |
11:50 | RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models (abstract) |
12:05 | Causal Transportability with Limited Experiments (abstract) |
12:30-13:45Lunch Break
13:45-14:45 Session 15A: Invited talk: Kumar
13:45 | AAAI-13 Invited Talk: Aerial Robot Swarms (abstract) |
14:45-15:45 Session 16A: Clustering
14:45 | Smart Multi-task Bregman Clustering and Multi-task Kernel Clustering (abstract) |
15:00 | Spectral Rotation versus K-means in Spectral Clustering (abstract) |
15:15 | Unsupervised Cluster Matching via Probabilistic Latent Variable Models (abstract) |
15:30 | Clustering with Complex Constraints - Algorithms and Applications (abstract) |
14:45-15:45 Session 16B: Reinforcement Learning
14:45 | Multi-Armed Bandit with Budget Constraint and Variable Costs (abstract) |
15:00 | Basis Adaptation for Sparse Nonlinear Reinforcement Learning (abstract) |
15:15 | Pruning for Monte Carlo Distributed Reinforcement Learning in Decentralized POMDPs (abstract) |
15:30 | Structured Kernel-Based Reinforcement Learning (abstract) |
14:45-15:45 Session 16C: Recognition and Detection
14:45 | Incremental Learning Framework for Indoor Scene Recognition (abstract) |
15:00 | Video Saliency Detection via Dynamic Consistent Spatio-Temporal Attention Modelling (abstract) |
15:15 | Gradient Networks: Explicit Shape Matching without Extracting Edges (abstract) |
15:30 | Vesselness Features and the Inverse Compositional AAM for Robust Face Recognition Using Thermal IR (abstract) |
15:45-16:15Coffee Break
16:45-17:45 Session 19A: Matrices
16:45 | Salient Object Detection via Low-rank and Structured Sparse Matrix Decomposition (abstract) |
17:00 | Robust Discrete Matrix Completion (abstract) |
17:15 | Rank Aggregation via Low-Rank and Structured-Sparse Decomposition (abstract) |
16:45-17:45 Session 19B: Options/Pricing
16:45 | Strategic Behavior when Allocating Indivisible Goods Sequentially (abstract) |
17:00 | Posted Prices Exchange for Display Advertising Contracts (abstract) |
17:15 | AAAI-13 Outstanding Paper, Honorable Mention: On the Value of Using Group Discounts under Price Competition (abstract) |
17:30 | The Cascade Auction – A Mechanism for Deterring Collusion in Auctions (abstract) |
16:45-17:45 Session 19C: Search
16:45 | Robust Bidirectional Search via Heuristic Improvement (abstract) |
17:00 | External Memory Best-First Search for Multiple Sequence Alignment (abstract) |
17:15 | AAAI-13 Outstanding Paper Award: HC-Search: Learning Heuristics and Cost Functions for Structured Prediction (abstract) |
17:30 | Goal-Oriented Euclidean Heuristics with Manifold Learning (abstract) |
16:45-17:45 Session 19D: Logic and Answer Set Programming
16:45 | A General Formal Framework for Pathfinding Problems with Multiple Agents (abstract) |
17:00 | Multi-Cycle Query Caching in Agent Programming (abstract) |
17:15 | Liberal Safety for Answer Set Programs with External Sources (abstract) |
17:30 | Domain-Specific Heuristics in Answer Set Programming (abstract) |
16:45-17:45 Session 19I: AAAI-13 Invited Panel: Funding
16:45 | Funding Panel: NSF Programs (abstract) |
17:45-19:30 Session 20: Evening poster session
17:45 | Evening poster session (abstract) |
Wednesday, July 17th, 2013
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 22: Invited talk: Bennett
09:00 | AAAI-13 Invited Talk: Fighting the Tuberculosis Pandemic Using Machine Learning (abstract) |
10:00-10:20Coffee Break
10:20-11:20 Session 23A: AI in Science
10:20 | Mixed Heuristic Local Search for Protein Structure Prediction (abstract) |
10:35 | Ranking Scientific Articles by Exploiting Citations, Authors, Journals and Time Information (abstract) |
10:50 | A Morphogenetically Assisted Design Variation Tool (abstract) |
11:05 | Guiding Scientific Discovery with Explanations Using DEMUD (abstract) |
10:20-11:20 Session 23B: Nearest Neighbors and Hierarchical Clustering
10:20 | Discovering Hierarchical Structure for Sources and Entities (abstract) |
10:35 | Walking on Minimax Paths for k-NN Search (abstract) |
10:50 | Formalizing Hierarchical Clustering as Integer Linear Programming (abstract) |
11:05 | Reciprocal Hash Tables for Nearest Neighbor Search (abstract) |
10:20-11:20 Session 23C: Teamwork
10:20 | Cost-Optimal Planning by Self-Interested Agents (abstract) |
10:35 | Teamwork with Limited Knowledge of Teammates (abstract) |
10:50 | Composition Games for Distributed Systems: The EU Grant Games (abstract) |
11:05 | Information Sharing Under Costly Communication in Joint Exploration (abstract) |
10:20-11:20 Session 23G: Language Processing
10:20 | AAAI-13 Outstanding Paper, Honorable Mention: Effective Bilingual Constraints for Semi-supervised Learning of Named Entity Recognizers (abstract) |
10:35 | Grounding Natural Language References to Unvisited and Hypothetical Location (abstract) |
10:50 | An Extended GHKM Algorithm for Inducing Lambda-SCFG (abstract) |
11:05 | Automatic Identification of Conceptual Metaphors With Limited Knowledge (abstract) |
11:20-12:20 Session 24A: Bribery / Voting
11:20 | Computational Aspects of Nearly Single-Peaked Electorates (abstract) |
11:35 | Ties Matter: Complexity of Manipulation when Tie-breaking with a Random Vote (abstract) |
11:50 | Bribery in Voting with Soft Constraints (abstract) |
12:05 | How Bad is Selfish Voting? (abstract) |
11:20-12:20 Session 24B: Planning
11:20 | Hypothesis Exploration for Malware Detection Using Planning (abstract) |
11:35 | Red-Black Relaxed Plan Heuristics (abstract) |
11:50 | Truncated Incremental Search: Faster Replanning by Exploiting Suboptimality (abstract) |
12:05 | A First-Order Formalization of Commitments and Goals for Planning (abstract) |
11:20-12:20 Session 24C: Situation Calculus and STRIPS
11:20 | Multiagent Knowledge and Belief Change in the Situation Calculus (abstract) |
11:35 | Progression of Decomposed Situation Calculus Theories (abstract) |
11:50 | Data-Parallel Computing Meets STRIPS (abstract) |
12:05 | Reasoning about Saturated Conditional Independence under Uncertainty: Axioms, Algorithms and Levesque's Situations to the Rescue (abstract) |
12:30-13:45Lunch Break
13:45-14:45 Session 26: Invited talk:Sandholm
13:45 | AAAI-13 Invited Talk: Poker AI: Algorithms for Creating Game-Theoretic Strategies for Large Incomplete-Information Games (abstract) |
14:45-15:45 Session 27A: Constraints
14:45 | Unified Constraint Propagation on Multi-View Data (abstract) |
15:00 | On the Subexponential Time Complexity of CSP (abstract) |
15:15 | Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition (abstract) |
15:30 | Extending STR to a Higher-Order Consistency (abstract) |
14:45-15:45 Session 27B: Tensors and Manifolds
14:45 | Multiscale Manifold Learning (abstract) |
15:00 | A Tensor-Variate Gaussian Process for Classification of Multidimensional Structured Data (abstract) |
15:15 | A Cyclic Weighted Median Method for L1 Low-Rank Matrix Factorization with Missing Entries (abstract) |
15:30 | Supervised Nonnegative Tensor Factorization with Maximum-Margin Constraint (abstract) |
14:45-15:45 Session 27C: Equilibrium and Negotiation
14:45 | Efficient Evolutionary Dynamics with Extensive-Form Games (abstract) |
15:00 | An Agent Design for Repeated Negotiation and Information Revelation with People (abstract) |
15:15 | Algorithms for Strong Nash Equilibrium with More than Two Agents (abstract) |
15:30 | Equilibria of Online Scheduling Algorithms (abstract) |
15:45-16:15Coffee Break
16:45-17:45 Session 29A: Reviewing
16:45 | Conference Reviewing: Best Practices (abstract) |
16:45-17:45 Session 29B: Planning Under Uncertainty
16:45 | Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge (abstract) |
17:00 | A Fast Pairwise Heuristic for Planning under Uncertainty (abstract) |
17:15 | Mixed Observability Predictive State Representations (abstract) |
17:30 | Qualitative Planning under Partial Observability in Multi-Agent Domains (abstract) |
16:45-17:45 Session 29C: Logic and Knowledge Representation
16:45 | Dynamic Minimization of Sentential Decision Diagrams (abstract) |
17:00 | Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs (abstract) |
17:15 | Backdoors to Normality for Disjunctive Logic Programs (abstract) |
17:30 | Answering Counting Aggregate Queries over Ontologies of DL-Lite Family (abstract) |
16:45-17:45 Session 29D: Kernels and Density Estimation
16:45 | A Kernel Density Estimate-based approach to Component Goodness Modeling (abstract) |
17:00 | On Power-Law Kernels, Corresponding Reproducing Kernel Hilbert Space and Applications (abstract) |
17:15 | Symmetry-Aware Marginal Density Estimation (abstract) |
17:30 | A Robust Bayesian Truth Serum for Non-binary Signals (abstract) |
Thursday, July 18th, 2013
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 31: Invited talk: Mataric'
09:00 | AAAI-13 Invited Talk: Socially Assistive Robotics: Human-Robot Interaction Methods for Creating Robots That Care (abstract) |
10:00-10:20Coffee Break
10:20-11:20 Session 32A: Privacy and Social Media
10:20 | Social Rankings in Human-Computer Committees (abstract) |
10:35 | From Interest to Function: Location Estimation in Social Media (abstract) |
10:50 | Automated Workflow Synthesis (abstract) |
11:05 | Search More, Disclose Less (abstract) |
10:20-11:20 Session 32B: Mechanism Design and Aggregation
10:20 | Dynamic Social Choice with Evolving Preferences (abstract) |
10:35 | A Framework for Aggregating Influenced CP-nets and its Resistance to Bribery (abstract) |
10:50 | Bundling Attacks in Judgment Aggregation (abstract) |
11:05 | On the Social Welfare of Mechanisms for Repeated Batch Matching (abstract) |
10:20-11:20 Session 32C: Multi-* Machine Learning
10:20 | Multi-Label Learning with PRO Loss (abstract) |
10:35 | Supervised Coupled Dictionary Learning with Group Structures for Multi-modal Retrieval (abstract) |
10:50 | Convex Subspace Representation Learning from Multi-view Data (abstract) |
11:05 | AAAI-13 Outstanding Paper Award: SMILe: Shuffled Multiple-Instance Learning (abstract) |
10:20-11:20 Session 32D: Temporal Reasoning
10:20 | Timelines with Temporal Uncertainty (abstract) |
10:35 | Decoupling the Multiagent Disjunctive Temporal Problem (abstract) |
10:50 | Temporal Milestones in HTNs (abstract) |
11:05 | Simple Temporal Problems with Taboo Regions (abstract) |
11:20-12:20 Session 33A: NLP Generation and Translation
11:20 | Story Generation with Crowdsourced Plot Graphs (abstract) |
11:35 | Enforcing Meter in Finite-Length Markov Sequences (abstract) |
11:50 | Generating Natural-Language Video Descriptions Using Text-Mined Knowledge (abstract) |
12:05 | A Topic-Based Coherence Model for Statistical Machine Translation (abstract) |
11:20-12:20 Session 33B: Satisfiability
11:20 | Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers (abstract) |
11:35 | Partial MUS Enumeration (abstract) |
11:50 | Greedy or Not? Best Improving versus First Improving Stochastic Local Search for MAXSAT (abstract) |
12:05 | Improving WalkSAT for Random k-Satisfiability Problem with k>3 (abstract) |
11:20-12:20 Session 33C: Security and Network Games
11:20 | AAAI-13 Outstanding Paper, Honorable Mention: Sensitivity of Diffusion Dynamics to Network Uncertainty (abstract) |
11:35 | Solving Security Games on Graphs via Marginal Probabilities (abstract) |
11:50 | Bounding the Cost of Stability in Games over Interaction Networks (abstract) |
12:05 | Analyzing the Effectiveness of Adversary Modeling in Security Games (abstract) |
12:30-13:45Lunch Break
13:45-14:45 Session 35B: Vision
13:45 | Supervised and Projected Sparse Coding for Image Classification (abstract) |
14:00 | Joint Object and Pose Recognition Using Homeomorphic Manifold Analysis (abstract) |
14:15 | Vector-Valued Multi-View Semi-Supervised Learning for Multi-Label Image Classification (abstract) |
13:45-14:45 Session 35C: Bayesian Inference
13:45 | GiSS: Combining Gibbs Sampling and SampleSearch for Inference in Mixed Probabilistic and Deterministic Graphical Models (abstract) |
14:00 | Complexity of Inferences in Polytree-shaped Semi-Qualitative Probabilistic Networks (abstract) |
14:15 | Joint Extraction and Labeling via Graph Propagation for Dictionary Construction (abstract) |
13:45-14:45 Session 35D: Game Theory
13:45 | Automating Collusion Detection in Sequential Games (abstract) |
14:00 | Fast Equilibrium Computation for Infinitely Repeated Games (abstract) |
14:15 | Optimal Coalition Structure Generation in Cooperative Graph Games (abstract) |
14:30 | Interdependent Multi-Issue Negotiation for Energy Exchange in Remote Communities (abstract) |
13:45-14:45 Session 35E: Task Learning
13:45 | Active Task Selection for Lifelong Machine Learning (abstract) |
14:00 | Learning Integrated Symbolic and Continuous Action Models for Continuous Domains (abstract) |
14:15 | Sparse Multi-task Learning for Detecting Influential Nodes in an Implicit Diffusion Network (abstract) |
14:30 | Multiagent Learning with a Noisy Global Reward Signal (abstract) |
14:45-15:45 Session 36B: Classification
14:45 | Uncorrelated Lasso (abstract) |
15:00 | Large-Scale Hierarchical Classification via Stochastic Perceptron (abstract) |
15:15 | Teaching Classification Boundaries to Humans (abstract) |
15:30 | A Maximum K-Min Approach for Classification (abstract) |
14:45-15:45 Session 36C: Game Playing / Plan Reuse
14:45 | Optimizing Objective Function Parameters for Strength in Computer Game-Playing (abstract) |
15:00 | Filtering with Logic Programs and its Application to General Game Playing (abstract) |
15:15 | Parameterized Complexity Results for Plan Reuse (abstract) |
14:45-15:45 Session 36D: Sample Complexity / Anomaly Detection
14:45 | Towards Cohesive Anomaly Mining (abstract) |
15:00 | A Generalized Student-t Based Approach to Mixed-Type Anomaly Detection (abstract) |
15:15 | Sample Complexity and Performance Bounds for Non-parametric Approximate Linear Programming (abstract) |
15:30 | AAAI-13 Outstanding Paper, Honorable Mention: PAC Optimal Exploration in Continuous Space Markov Decision Processes (abstract) |