PROGRAM
Days: Monday, July 15th Tuesday, July 16th Wednesday, July 17th Thursday, July 18th
Monday, July 15th, 2013
View this program: with abstractssession overviewtalk overview
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) |
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) |
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
View this program: with abstractssession overviewtalk overview
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
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) |
Wednesday, July 17th, 2013
View this program: with abstractssession overviewtalk overview
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
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) |
Thursday, July 18th, 2013
View this program: with abstractssession overviewtalk overview
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) |