AAAI-13: THE TWENTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE

PROGRAM

Monday, July 15th, 2013

Monday's program is also available with abstracts.

09:30-10:30 Session 1 (EAAI)
09:30
EAAI-13 Invited Talk: Learning in the Lab at Midnight: Experiences from Teaching AI at Berkeley and Online (abstract)
10:30-11:00Coffee Break
11:00-11:45 Session 2 (EAAI)
11:00
Learning about Representational Modality: Design and Programming Projects for Knowledge-Based AI (abstract)
11:20
SEPIA: A Scalable Game Environment for Artificial Intelligence Teaching and Research (abstract)
11:45-13:45Lunch Break
13:45-14:30 Session 3 (EAAI)
13:45
Model AI Assignment: Recreating TD-Gammon (abstract)
14:00
Model AI Assignment: An Introduction to Counterfactual Regret Minimization (abstract)
14:15
Model AI Assignment: Tsunami Warning System: A Case Study of Intelligent Agents in Action (abstract)
14:30-15:30 Session 4 (EAAI)
15:30-16:00Coffee Break
16:00-17:00 Session 5 (EAAI)
16:00
Poster: "Paradigms of AI Programming" in Python (abstract)
17:00
Poster: Student-Friendly Java-Based Multiagent Event Handling (abstract)
17:30-18:30 Session 6: EAAI-13 Social Hour, Hyatt Regency Hotel Lobby (EAAI)
18:00-20:00 Session 7: Opening Reception and AI Video Awards Ceremony (IAAI)
20:00-21:00 Session 8: Invited talk (IAAI)
20:00
IAAI-13 Invited Talk: Building a Mind for Life (abstract)
Tuesday, July 16th, 2013

Tuesday's program is also available with abstracts.

08:30-09:00 Session 9: AAAI Welcome and Awards (AAAI)
09:00-10:00 Session 10: Keynote Address: Mooney (AAAI)
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 (AAAI)
10:20
AAAI/IAAI Joint Invited Talk: Telling Stories at Internet Scale (abstract)
11:20-12:20 Session 12A: Regression (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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)
11:20-12:20 Session 12E: Knowledge-Based Systems (AAAI)
11:20
Graph Traversal Methods for Reasoning in Large Knowledge-Based Systems (abstract)
11:35
Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases (abstract)
11:50
Preemptive Strategies for Overcoming the Forgetting of Goals (abstract)
12:05
Learning to Efficiently Pursue Communication Goals on the Web with the GOSMR Architecture (abstract)
11:20-12:20 Session 12F: Spotlights and Senior Members (AAAI)
11:20
SOCS: What's Hot (abstract)
11:35
SOCS: Challenges (abstract)
11:50
AAMAS: Challenges (abstract)
12:05
SDM: Best Paper: Triadic Measures on Graphs: The Power of Wedge Sampling (abstract)
11:20-12:20 Session 12G: Deployed Application of Machine Learning (IAAI)
11:20
Deployed: An Antimicrobial Prescription Surveillance System that Learns from Experience (abstract)
11:50
Deployed: GRADE: Machine Learning Support for Graduate Admissions (abstract)
11:30-12:30 Session 13 (EAAI)
11:30
EAAI-13 Invited Talk: Broader and Earlier Access to Machine Learning (abstract)
12:20-12:30 Session 14A: - (AAAI)
12:20
Predicting Professions through Probabilistic Model under Social Context (abstract)
12:22
Algorithm Selection in Bilateral Negotiation (abstract)
12:24
RAProp: Ranking Tweets by Exploiting the Tweet/User/Web Ecosystem and Inter-Tweet Agreement (abstract)
12:26
Learning CP-net Preferences Online from User Queries (abstract)
12:28
Take or Wait? Learning Turn-Taking from Multiparty Data (abstract)
12:20-12:30 Session 14B (AAAI)
12:20
Fast, Near-Optimal Computation for Multi-robot Path Planning on Graphs (abstract)
12:22
Uncertainty Reduction For Active Image Clustering via a Hybrid Global-Local Uncertainty Model (abstract)
12:24
Towards Joint Inference for Complex Ontology Matching (abstract)
12:26
AMRec: An Intelligent System for Academic Method Recommendation (abstract)
12:28
An Ensemble of Linearly Combined Reinforcement-Learning Agents (abstract)
12:20-12:30 Session 14C (AAAI)
12:20
Learning Tractable Graphical Models Using Mixture of Arithmetic Circuits (abstract)
12:22
The Value of Ignorance about the Number of Players (abstract)
12:24
Chance-Constrained Strong Controllability of Temporal Plan Networks with Uncertainty (abstract)
12:26
A Novel Human Computation Game for Critique Aggregation (abstract)
12:20-12:30 Session 14D (AAAI)
12:20
Throwing Darts: Random Sampling Helps Tree Search When the Number of Short Certificates Is Moderate (abstract)
12:22
A Formal Framework for the Specification, Verification and Synthesis of Diagnosers (abstract)
12:24
Scaling up Quadratic Programming Feature Selection (abstract)
12:26
Co-training Based Bilingual Sentiment Lexicon Learning (abstract)
12:28
Adversarial Cooperative Path-Finding: A First View (abstract)
12:30-13:45Lunch Break
13:45-14:45 Session 15A: Invited talk: Kumar (AAAI)
13:45
AAAI-13 Invited Talk: Aerial Robot Swarms (abstract)
13:45-14:45 Session 15B (EAAI)
13:45
EAAI-13 Teaching and Mentoring Session 1 (abstract)
14:45-15:45 Session 16A: Clustering (AAAI)
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 (AAAI)
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 (AAAI)
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)
14:45-15:45 Session 16D: Situated Interaction (AAAI)
14:45
Integrating Programing by Example and Natural Language Programing (abstract)
15:00
A Hybrid Architectural Approach to Understanding and Appropriately Generating Indirect Speech Acts (abstract)
15:15
An Agent Model for the Appraisal of Normative Events Based in In-Group and Out-Group Relations (abstract)
15:30
SALL-E: Situated Agent for Language Learning (abstract)
14:45-15:45 Session 16E: Spotlights and Senior Members (AAAI)
14:45
Modern Dynamic Organ Exchanges: Algorithms and Market Design (abstract)
15:15
Data Mining Social Media for Public Health Applications (abstract)
14:45-15:45 Session 16F: Monitoring and Response Systems (IAAI)
14:45
Emerging: Timed Probabilistic Automaton: A Bridge between Raven and Song Scope for Automatic Species Recognition (abstract)
15:05
Emerging: Multiagent Router Throttling: Decentralized Coordinated Response against DDoS Attacks (abstract)
15:25
Emerging: Scalable Randomized Patrolling for Securing Rapid Transit Networks (abstract)
14:45-15:45 Session 16G (EAAI)
14:45
EAAI-13 Teaching and Mentoring Session 2 (abstract)
14:45-15:45 Session 16H: Crowdsourcing (AAAI)
14:45
Better Human Computation Through Principled Voting (abstract)
15:00
Clustering Crowds (abstract)
15:15
The Effects of Performance-Contingent Financial Incentives in Online Labor Markets (abstract)
15:30
Hotspotting --- A Probabilistic Graphical Model For Image Object Localization through Crowdsourcing (abstract)
15:45-16:15Coffee Break
15:45-16:45 Session 17: LBP/Poster sessions (AAAI)
16:15-16:45 Session 18 (EAAI)
16:15
EAAI Senior Member Paper: Meeting the Responsibility to Explain AI (abstract)
16:45-17:45 Session 19A: Matrices (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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 19E: Learning from the Web (AAAI)
16:45
Fast Algorithm for Modularity-based Graph Clustering (abstract)
17:00
Exploring the Contribution of Unlabeled Data in Financial Sentiment Analysis (abstract)
17:15
Learning to Rank Effective Paraphrases from Query Logs for Community Question Answering (abstract)
17:30
OpenEval: Web Information Query Evaluation (abstract)
16:45-17:45 Session 19F: Spotlights and Senior Members (AAAI)
16:45
Symbiotic-Autonomous Intelligent Robots (abstract)
17:15
RuleML: What's Hot (abstract)
17:30
RuleML: Computing the Stratified Well-Founded Semantics over Big Data through Mass Parallelization (abstract)
16:45-17:55 Session 19G: Constraint-Based Scheduling (IAAI)
16:45
Deployed: The Deployment of a Constraint-Based Dental School Timetabling System (abstract)
17:15
Emerging: Train Outstable Scheduling as Constraint Satisfaction (abstract)
17:35
Emerging: Balancing the Traveling Tournament Problem for Weekday and Weekend Games (abstract)
16:45-17:45 Session 19H (EAAI)
16:45
EAAI-13 Discussion of Big Ideas in Education and AI (abstract)
16:45-17:45 Session 19I: AAAI-13 Invited Panel: Funding (AAAI)
16:45
Funding Panel: NSF Programs (abstract)
17:45-19:30 Session 20: Evening poster session (AAAI)
17:45
Evening poster session (abstract)
20:00-22:00 Session 21: AAAI Puzzle Hunt (AAAI)
Wednesday, July 17th, 2013

Wednesday's program is also available with abstracts.

09:00-10:00 Session 22: Invited talk: Bennett (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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 23D: Robot Motion Planning (AAAI)
10:20
Robot Motion Planning with Dynamics as Hybrid Search (abstract)
10:35
GSMDPs for Multi-Robot Sequential Decision-Making (abstract)
10:50
A Simple, But NP-Hard, Motion Planning Problem (abstract)
11:05
Structure and Intractability of Optimal Multi-robot Path Planning on Graphs (abstract)
10:20-11:20 Session 23E: Spotlights and Senior Members (AAAI)
10:20
A filtering algorithm for constraints of difference in CSPs (abstract)
10:35
Acting Optimally in Partially Observable Stochastic Domains (abstract)
10:50
Decision-Making in Open Mixed Networks (abstract)
10:20-11:20 Session 23F: IAAI-13 Invited Talk (IAAI)
10:20
IAAI-13 Invited Talk: An Open-World Iterative Methodology for the Development and Evaluation of Semantically-enabled Applications (abstract)
10:20-11:20 Session 23G: Language Processing (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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)
11:20-12:20 Session 24D: Analyzing Networks and Graphs (AAAI)
11:20
Fast and Exact Top-k Algorithm for PageRank (abstract)
11:35
Heterogeneous Metric Learning with Joint Graph Regularization for Cross-Media Retrieval (abstract)
11:50
TONIC: Target Oriented Network Intelligence Collection for the Social Web (abstract)
12:05
Preventing Unraveling in Social Networks Gets Harder (abstract)
11:20-12:20 Session 24E: ML in Robotics (AAAI)
11:20
Multi-Target Detection and Recognition by UAVs Using Online POMDPs (abstract)
11:35
Compact RGBD Surface Models Based on Sparse Coding (abstract)
11:50
Open-Loop Planning in Large-Scale Stochastic Domains (abstract)
12:05
Bayesian Nonparametric Multi-Optima Policy Search in Reinforcement Learning (abstract)
11:20-12:20 Session 24F: Spotlights and Senior Members (AAAI)
11:20
RSS: What's Hot (abstract)
11:35
CP: What's Hot and Challenges (abstract)
11:50
CP: Challenges (abstract)
11:20-12:20 Session 24G: Structure Analysis (IAAI)
11:20
Deployed: USI Answers: Natural Language Question Answering Over (Semi-) Structured Industry Data (abstract)
11:50
Emerging: Clustering Hand-Drawn Sketches via Analogical Generalization (abstract)
12:20-12:30 Session 25A (AAAI)
12:20
Multiple Outcome Supervised Latent Dirichlet Allocation for Expert Discovery in Online Forums (abstract)
12:22
Supervised Topic Model with Consideration of User and Item (abstract)
12:24
Combining CP-Nets with the Power of Ontologies (abstract)
12:26
Negative Influence Minimizing by Blocking Nodes in Social Networks (abstract)
12:20-12:30 Session 25B (AAAI)
12:20
Comprehensive Cross-Hierarchy Cluster Agreement Evaluation (abstract)
12:22
Strong Nash Equilibrium Is in Smoothed P (abstract)
12:24
Verbal IQ of a Four-Year Old Achieved by an AI System (abstract)
12:26
Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes (abstract)
12:28
Covering Landmark Interactions for Semantically Diverse Plans (abstract)
12:20-12:30 Session 25C (AAAI)
12:20
Conditional Outlier Approach for Detection of Unusual Patient Care Actions (abstract)
12:22
Discriminative Multi-Task Feature Selection (abstract)
12:24
A Modular Framework for the Automatic Reconstruction of Shredded Documents (abstract)
12:26
Learning When to Reject an Importance Sample (abstract)
12:20-12:30 Session 25D (AAAI)
12:20
Modular Answer Set Solving (abstract)
12:22
Additive Counterexample-guided Cartesian Abstraction Refinement (abstract)
12:24
Partial Domain Search Tree for Constraint-Satisfaction Problems (abstract)
12:26
Volatile Multi-Armed Bandits for Guaranteed Targeted Social Crawling (abstract)
12:28
Localizing Web Videos from Heterogeneous Images (abstract)
12:30-13:45Lunch Break
13:45-14:45 Session 26: Invited talk:Sandholm (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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)
14:45-15:45 Session 27D: Recommendation Systems (AAAI)
14:45
Understanding and Predicting Interestingness of Videos (abstract)
15:00
Active Transfer Learning for Cross-System Recommendation (abstract)
15:15
LA-CTR: A Limited Attention Collaborative Topic Regression for Social Media (abstract)
15:30
A Fast Bandit Algorithm for Recommendations to Users with Heterogeneous Tastes (abstract)
14:45-15:45 Session 27E: Human-Robot Collaboration (AAAI)
14:45
Model-Lite Case-Based Planning (abstract)
15:00
Learning Collaborative Impedance-based Robot Behaviors (abstract)
15:15
Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based Prior (abstract)
15:30
Data-Efficient Generalization of Robot Skills with Contextual Policy Search (abstract)
14:45-15:45 Session 27F: Spotlights and Senior Members (AAAI)
14:45
ICWSM: What's Hot: Structure and Dynamics of Social Networks and Information Networks (abstract)
15:00
ICWSM: Challenges (abstract)
15:15
AAMAS: Best Paper (abstract)
15:30
AAMAS: What's Hot (abstract)
14:45-15:45 Session 27G: Event Detection (IAAI)
14:45
Emerging: Leveraging Crowdsourcing to Detect Improper Tasks in Crowdsourcing Marketplaces (abstract)
15:05
Emerging: Detection and Prediction of Adverse and Anomalous Events in Medical Robots (abstract)
15:25
Emerging: Detecting the Moment of Snap in Real-World Football Videos (abstract)
15:45-16:15Coffee Break
15:45-16:45 Session 28: LBP/Poster sessions (AAAI)
16:45-17:45 Session 29A: Reviewing (AAAI)
16:45
Conference Reviewing: Best Practices (abstract)
16:45-17:45 Session 29B: Planning Under Uncertainty (AAAI)
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 (AAAI)
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 (AAAI)
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)
16:45-17:45 Session 29E: Spotlights and Senior Members (AAAI)
16:45
AIIDE: What's Hot (abstract)
17:00
LSG: Challenges (abstract)
17:15
ISWC: Best Paper: Discovering Concept Coverings in Ontologies of Linked Data Sources (abstract)
16:45-17:55 Session 29F: Medical Applications (IAAI)
16:45
Deployed: Integrating Digital Pens in Breast Imaging for Instant Knowledge Acquisition (abstract)
17:15
Emerging: Policies to Optimize Work Performance and Thermal Safety in Exercising Humans (abstract)
17:35
Emerging: Physical Activity Recognition from Accelerometer Data Using a Multi-Scale Ensemble Method (abstract)
19:00-22:00 Session 30: AAAI Banquet (AAAI)
Thursday, July 18th, 2013

Thursday's program is also available with abstracts.

09:00-10:00 Session 31: Invited talk: Mataric' (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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)
10:20-11:20 Session 32E: MDPs and Sequential Processes (AAAI)
10:20
Agent Cooperatives for Effective Power Consumption Shifting (abstract)
10:35
PAC Optimal Planning for Invasive Species Management: Improved Exploration for Reinforcement Learning from Simulator-Defined MDPs (abstract)
10:50
Online Optimization with Dynamic Temporal Uncertainty : Incorporating Short Term Predictions for Renewable Integration in Intelligent Energy Systems (abstract)
11:05
A Tractable Leader-Follower MDP Model for Animal Disease Management (abstract)
10:20-11:20 Session 32F: Spotlights and Senior Members (AAAI)
10:20
“Meeting the Responsibility to Explain AI” (abstract)
10:50
ICAPS: Best paper (abstract)
11:05
ICAPS: What's Hot (abstract)
11:20-12:20 Session 33A: NLP Generation and Translation (AAAI)
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 (AAAI)
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 (AAAI)
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)
11:20-12:20 Session 33D: Data Mining (AAAI)
11:20
Computational Sustainability Award Winner: A Temporal Motif Mining Approach to Unsupervised Energy Disaggregation: Applications to Residential and Commercial Buildings (abstract)
11:35
Multiple Hypothesis Object Tracking for Unsupervised Self-Learning: An Ocean Eddy Tracking Application (abstract)
11:50
Adaptive Spatio-Temporal Exploratory Models: Hemisphere-Wide Species Distributions from Massively Crowdsourced eBird Data (abstract)
12:05
Computational Sustainability Award Winner: Approximate Bayesian Inference for Reconstructing Velocities of Migrating Birds from Weather Radar (abstract)
11:20-12:20 Session 33E: Spotlights and Senior Members (AAAI)
11:20
ECML/PKDD: What's Hot (abstract)
11:35
ECML/PKDD: What's Hot (abstract)
11:50
ICML: What's Hot (abstract)
12:05
NIPS: What's Hot (abstract)
11:20-12:00 Session 33F: Pattern Analysis and Modeling (IAAI)
11:20
Emerging: Interactive Information Extraction and Navigation to Enable Effective Link Analysis and Visualization of Unstructured Text (abstract)
11:40
Challenge: Scalable Models for Patterns of Life (abstract)
11:20-12:20 Session 33G: Ontologies and Reasoning (AAAI)
11:20
Introducing Nominals to the Combined Query Answering Approaches for EL (abstract)
11:35
Not Quite the Same: Identity Constraints for the Web of Linked Data (abstract)
12:20-12:30 Session 34A (AAAI)
12:20
Elo Ratings for Structural Credit Assignment in Multiagent Systems (abstract)
12:22
Automated Design of Search with Composability (abstract)
12:24
Movie Recommender System for Profit Maximization (abstract)
12:20-12:30 Session 34B (AAAI)
12:20
Virtual Structure Reduction for Distributed Constraint Problem Solving (abstract)
12:22
Identifying Important Nodes in Heterogenous Networks (abstract)
12:24
Synthetic Photographs for Learning Aesthetic Preferences (abstract)
12:26
Machine Learning for Meeting Analysis (abstract)
12:20-12:30 Session 34C (AAAI)
12:20
Supersparse Linear Integer Models for Predictive Scoring Systems (abstract)
12:22
Detecting Patterns of Crime with Series Finder (abstract)
12:24
Predicting Power Failures with Reactive Point Processes (abstract)
12:26
An Interpretable Stroke Prediction Model Using Rules and Bayesian Analysis (abstract)
12:20-12:30 Session 34D (AAAI)
12:20
Climate Prediction via Matrix Completion (abstract)
12:22
Using Machine Learning to Improve Stochastic Optimization (abstract)
12:24
Label Ranking by Directly Optimizing Performance Measures (abstract)
12:26
Utilizing Landmarks in Euclidean Heuristics for Optimal Planning (abstract)
12:30-13:45Lunch Break
13:45-14:45 Session 35A: Multiagent Systems (AAAI)
13:45
Model Predictive Control with Uncertainty in Human Driven Systems (abstract)
14:00
Negotiated Learning for Smart Grid Agents: Entity Selection Based on Dynamic Partially Observable Features (abstract)
14:15
Autonomous Agents in Future Energy Markets: The 2012 Power Trading Agent Competition (abstract)
14:30
Large Landscape Conservation—Synthetic and Real-world Datasets (abstract)
13:45-14:45 Session 35B: Vision (AAAI)
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 (AAAI)
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 (AAAI)
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 (AAAI)
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)
13:45-14:45 Session 35F: Medical Prediction Problems (IAAI)
13:45
Emerging: Assessing the Predictability of Hospital Readmission Using Machine Learning (abstract)
14:05
Emerging: Early Prediction of Coronary Artery Calcification Levels Using Machine Learning (abstract)
14:25
Emerging: Case-Based Meta-Prediction for Bioinformatics (abstract)
14:45-15:45 Session 36A: Optimization and Search (AAAI)
14:45
Enabling E-Mobility: Facility Location for Battery Loading Stations (abstract)
15:00
Robust Network Design for Multispecies Conservation (abstract)
15:15
Resource Sharing for Control of Wildland Fires (abstract)
15:30
Multiagent Coordination for Energy Consumption Scheduling in Consumer Cooperatives (abstract)
14:45-15:45 Session 36B: Classification (AAAI)
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 (AAAI)
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 (AAAI)
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)
14:45-15:45 Session 36E: Spotlights and Senior Members (AAAI)
14:45
How can AI help Synthetic Biology? (abstract)
15:15
ISWC: What's Hot, Challenges: Diagnosing Road Traffic Congestions in the Semantic Web (abstract)
15:45-16:45 Session 37: LBP/Poster sessions (AAAI)