aaai 2013 论文列表
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA.
|
Tools for Preference Reasoning.
Steps Towards a Science of Heuristic Search.
Multi-Strategy Learning of Robotic Behaviours via Qualitative Reasoning.
Concurrent Inference Graphs.
The Wisdom of Crowds in Bioinformatics: What Can We Learn (and Gain) from Ensemble Predictions?
Optimization of Heterogeneous Computing Resources for Robotic Mapping.
Efficient Algorithms for Strong Local Consistencies in Constraint Satisfaction Problems.
Multiagent Stochastic Planning With Bayesian Policy Recognition.
Crowdsourcing for Deployable Intelligent Systems.
Heuristic Search for Large Problems with Real Costs.
Creating Model-Based Adaptive Environments Using Game-Specific and Game-Independent Analytics.
An Optimal Task Assignment Policy and Performance Diagnosis Strategy for Heterogeneous Hadoop Cluster.
Backdoors to Tractability of Answer-Set Programming.
Distribution Kernel Methods for Multiple-Instance Learning.
Artificial Conversational Companions.
Understanding Descriptions of Visual Scenes Using Graph Grammars.
Planning with Multi-Valued Landmarks.
Imbalanced Multiple Noisy Labeling for Supervised Learning.
Personalized Recommendation Based on Co-Ranking and Query-Based Collaborative Diffusion.
WordNet Based Multi-Way Concept Hierarchy Construction from Text Corpus.
Empirical Comparison of Multi-Label Classification Algorithms.
On a Noun-Driven Syntactic Paradigm.
Graphical Model-Based Learning in High Dimensional Feature Spaces.
Simplified Lattice Models for Protein Structure Prediction: How Good Are They?
Concurrent Reasoning with Inference Graphs.
A First-Order Logic Based Framework for Verifying Simulations.
An Effective Approach for Imbalanced Classification: Unevenly Balanced Bagging.
Subchloroplast Location Prediction via Homolog Knowledge Transfer and Feature Selection.
Making Simple Tabular ReductionWorks on Negative Table Constraints.
Online Group Feature Selection from Feature Streams.
Trading Space for Time in Grid-Based Path Finding.
Crowd Formalization of Action Conditions.
Hybrid Model-Based Diagnosis of Web Service Compositions.
Locate the Hate: Detecting Tweets against Blacks.
Phase Transition and Network Structure in Realistic SAT Problems.
The Role of Complex Network Dynamics in the Emergence of Multiagent Coalition.
A Mediation Mechanism for Automated Negotiating Agents Whose Utility Changes over Time.
Selecting the Appropriate Consistency Algorithm for CSPs Using Machine Learning Classifiers.
Does One-Against-All or One-Against-One Improve the Performance of Multiclass Classifications?
A Maximum K-Min Approach for Classification.
Advice Provision in Multiple Prospect Selection Problems.
Structure and Intractability of Optimal Multi-Robot Path Planning on Graphs.
Open-Loop Planning in Large-Scale Stochastic Domains.
Compact RGBD Surface Models Based on Sparse Coding.
Learning Collaborative Impedance-Based Robot Behaviors.
Robot Motion Planning with Dynamics as Hybrid Search.
GSMDPs for Multi-Robot Sequential Decision-Making.
Data-Efficient Generalization of Robot Skills with Contextual Policy Search.
Inferring Robot Task Plans from Human Team Meetings: A Generative Modeling Approach with Logic-Based Prior.
A Simple, but NP-Hard, Motion Planning Problem.
Multi-Target Detection and Recognition by UAVs Using Online POMDPs.
Bayesian Nonparametric Multi-Optima Policy Search in Reinforcement Learning.
Large Landscape Conservation - Synthetic and Real-World Datasets.
Multiagent Coordination for Energy Consumption Scheduling in Consumer Cooperatives.
Resource Sharing for Control of Wildland Fires.
Model Predictive Control with Uncertainty in Human Driven Systems.
Enabling E-Mobility: Facility Location for Battery Loading Stations.
Approximate Bayesian Inference for Reconstructing Velocities of Migrating Birds from Weather Radar.
A Temporal Motif Mining Approach to Unsupervised Energy Disaggregation: Applications to Residential and Commercial Buildings.
A Tractable Leader-Follower MDP Model for Animal Disease Management.
Negotiated Learning for Smart Grid Agents: Entity Selection based on Dynamic Partially Observable Features.
Robust Network Design For Multispecies Conservation.
Autonomous Agents in Future Energy Markets: The 2012 Power Trading Agent Competition.
Online Optimization with Dynamic Temporal Uncertainty: Incorporating Short Term Predictions for Renewable Integration in Intelligent Energy Systems.
Adaptive Spatio-Temporal Exploratory Models: Hemisphere-wide species distributions from massively crowdsourced eBird data.
Multiple Hypothesis Object Tracking For Unsupervised Self-Learning: An Ocean Eddy Tracking Application.
PAC Optimal Planning for Invasive Species Management: Improved Exploration for Reinforcement Learning from Simulator-Defined MDPs.
Agent Cooperatives for Effective Power Consumption Shifting.
Graph Traversal Methods for Reasoning in Large Knowledge-Based Systems.
Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases.
SALL-E: Situated Agent for Language Learning.
Preemptive Strategies for Overcoming the Forgetting of Goals.
Learning to Efficiently Pursue Communication Goals on the Web with the GOSMR Architecture.
An Agent Model for the Appraisal of Normative Events Based in In-Group and Out-Group Relations.
A Hybrid Architectural Approach to Understanding and Appropriately Generating Indirect Speech Acts.
Active Transfer Learning for Cross-System Recommendation.
Heterogeneous Metric Learning with Joint Graph Regularization for Cross-Media Retrieval.
The Effects of Performance-Contingent Financial Incentives in Online Labor Markets.
TONIC: Target Oriented Network Intelligence Collection for the Social Web.
Introducing Nominals to the Combined Query Answering Approaches for EL.
Fast Algorithm for Modularity-Based Graph Clustering.
OpenEval: Web Information Query Evaluation.
Hotspotting - A Probabilistic Graphical Model For Image Object Localization Through Crowdsourcing.
Exploring the Contribution of Unlabeled Data in Financial Sentiment Analysis.
Better Human Computation Through Principled Voting.
A Fast Bandit Algorithm for Recommendation to Users With Heterogenous Tastes.
LA-CTR: A Limited Attention Collaborative Topic Regression for Social Media.
Clustering Crowds.
Understanding and Predicting Interestingness of Videos.
Fast and Exact Top-k Algorithm for PageRank.
Learning to Rank Effective Paraphrases from Query Logs for Community Question Answering.
Not Quite the Same: Identity Constraints for the Web of Linked Data.
Preventing Unraveling in Social Networks Gets Harder.
Model-Lite Case-Based Planning.
Supervised Coupled Dictionary Learning with Group Structures for Multi-modal Retrieval.
Video Saliency Detection via Dynamic Consistent Spatio-Temporal Attention Modelling.
Clustering with Complex Constraints - Algorithms and Applications.
Time-Dependent Trajectory Regression on Road Networks via Multi-Task Learning.
A Tensor-Variate Gaussian Process for Classification of Multidimensional Structured Data.
Smart Multi-Task Bregman Clustering and Multi-Task Kernel Clustering.
A Concave Conjugate Approach for Nonconvex Penalized Regression with the MCP Penalty.
Automated Workflow Synthesis.
Joint Object and Pose Recognition Using Homeomorphic Manifold Analysis.
Temporal Milestones in HTNs.
Multi-Label Learning with PRO Loss.
Learning Integrated Symbolic and Continuous Action Models for Continuous Domains.
Towards Cohesive Anomaly Mining.
A Topic-Based Coherence Model for Statistical Machine Translation.
Lazy Gaussian Process Committee for Real-Time Online Regression.
Supervised Nonnegative Tensor Factorization with Maximum-Margin Constraint.
Robust Bidirectional Search via Heuristic Improvement.
Grounding Natural Language References to Unvisited and Hypothetical Locations.
Greedy or Not? Best Improving versus First Improving Stochastic Local Search for MAXSAT.
Ranking Scientific Articles by Exploiting Citations, Authors, Journals, and Time Information.
Sparse Multi-Task Learning for Detecting Influential Nodes in an Implicit Diffusion Network.
Effective Bilingual Constraints for Semi-Supervised Learning of Named Entity Recognizers.
Multiscale Manifold Learning.
Guiding Scientific Discovery with Explanations Using DEMUD.
GiSS: Combining Gibbs Sampling and SampleSearch for Inference in Mixed Probabilistic and Deterministic Graphical Models.
Filtering With Logic Programs and Its Application to General Game Playing.
Hypothesis Exploration for Malware Detection Using Planning.
Mixed Heuristic Local Search for Protein Structure Prediction.
Optimizing Objective Function Parameters for Strength in Computer Game-Playing.
Active Task Selection for Lifelong Machine Learning.
Enforcing Meter in Finite-Length Markov Sequences.
Information Sharing Under Costly Communication in Joint Exploration.
Continuous Conditional Random Fields for Efficient Regression in Large Fully Connected Graphs.
A Robust Bayesian Truth Serum for Non-Binary Signals.
Multiagent Learning with a Noisy Global Reward Signal.
Partial MUS Enumeration.
Progression of Decomposed Situation Calculus Theories.
Bribery in Voting With Soft Constraints.
Salient Object Detection via Low-Rank and Structured Sparse Matrix Decomposition.
An Agent Design for Repeated Negotiation and Information Revelation with People.
Sample Complexity and Performance Bounds for Non-Parametric Approximate Linear Programming.
PAC Optimal Exploration in Continuous Space Markov Decision Processes.
Dynamic Social Choice with Evolving Preferences.
Rank Aggregation via Low-Rank and Structured-Sparse Decomposition.
Discovering Hierarchical Structure for Sources and Entities.
Mixed Observability Predictive State Representations.
RockIt: Exploiting Parallelism and Symmetry for MAP Inference in Statistical Relational Models.
Cost-Optimal Planning by Self-Interested Agents.
Symmetry-Aware Marginal Density Estimation.
Analyzing the Effectiveness of Adversary Modeling in Security Games.
From Semantic to Emotional Space in Probabilistic Sense Sentiment Analysis.
A Cyclic Weighted Median Method for L1 Low-Rank Matrix Factorization with Missing Entries.
A First-Order Formalization of Commitments and Goals for Planning.
Bounding the Cost of Stability in Games over Interaction Networks.
On the Value of Using Group Discounts under Price Competition.
Automating Collusion Detection in Sequential Games.
A Framework for Aggregating Influenced CP-Nets and its Resistance to Bribery.
Integrating Programming by Example and Natural Language Programming.
Basis Adaptation for Sparse Nonlinear Reinforcement Learning.
Vector-Valued Multi-View Semi-Supervsed Learning for Multi-Label Image Classification.
Unified Constraint Propagation on Multi-View Data.
A Generalized Student-t Based Approach to Mixed-Type Anomaly Detection.
Reciprocal Hash Tables for Nearest Neighbor Search.
Large-Scale Hierarchical Classification via Stochastic Perceptron.
Reasoning about Saturated Conditional Independence Under Uncertainty: Axioms, Algorithms, and Levesque's Situations to the Rescue.
An Extended GHKM Algorithm for Inducing Lambda-SCFG.
Story Generation with Crowdsourced Plot Graphs.
Solving Security Games on Graphs via Marginal Probabilities.
m-Transportability: Transportability of a Causal Effect from Multiple Environments.
Extending STR to a Higher-Order Consistency.
Structured Kernel-Based Reinforcement Learning.
Composition Games for Distributed Systems: The EU Grant Games.
How to Cut a Cake Before the Party Ends.
Simple Temporal Problems with Taboo Regions.
Generating Natural-Language Video Descriptions Using Text-Mined Knowledge.
Answering Counting Aggregate Queries over Ontologies of the DL-Lite Family.
A Hierarchical Aspect-Sentiment Model for Online Reviews.
Walking on Minimax Paths for k-NN Search.
Joint Extraction and Labeling via Graph Propagation for Dictionary Construction.
A Fast Pairwise Heuristic for Planning under Uncertainty.
Incremental Learning Framework for Indoor Scene Recognition.
Red-Black Relaxed Plan Heuristics.
Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers.
Data-Parallel Computing Meets STRIPS.
Improving the Performance of Consistency Algorithms by Localizing and Bolstering Propagation in a Tree Decomposition.
On the Subexponential Time Complexity of CSP.
Strategic Behavior when Allocating Indivisible Goods Sequentially.
Unsupervised Cluster Matching via Probabilistic Latent Variable Models.
Supervised and Projected Sparse Coding for Image Classification.
Spectral Rotation versus K-Means in Spectral Clustering.
Robust Discrete Matrix Completion.
Gradient Networks: Explicit Shape Matching Without Extracting Edges.
External Memory Best-First Search for Multiple Sequence Alignment.
Search More, Disclose Less.
Reduce and Re-Lift: Bootstrapped Lifted Likelihood Maximization for MAP.
Convex Subspace Representation Learning from Multi-View Data.
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs.
Formalizing Hierarchical Clustering as Integer Linear Programming.
On Power-Law Kernels, Corresponding Reproducing Kernel Hilbert Space and Applications.
Vesselness Features and the Inverse Compositional AAM for Robust Face Recognition Using Thermal IR.
Domain-Specific Heuristics in Answer Set Programming.
Algorithms for Strong Nash Equilibrium with More than Two Agents.
Efficient Evolutionary Dynamics with Extensive-Form Games.
Automatic Identification of Conceptual Metaphors With Limited Knowledge.
Backdoors to Normality for Disjunctive Logic Programs.
The Cascade Auction - A Mechanism for Deterring Collusion in Auctions.
Multiagent Knowledge and Belief Change in the Situation Calculus.
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.
A General Formal Framework for Pathfinding Problems with Multiple Agents.
Computational Aspects of Nearly Single-Peaked Electorates.
Posted Prices Exchange for Display Advertising Contracts.
Liberal Safety for Answer Set Programs with External Sources.
SMILe: Shuffled Multiple-Instance Learning.
HC-Search: Learning Heuristics and Cost Functions for Structured Prediction.
A Maximum K-Min Approach for Classification.
The Automated Acquisition of Suggestions from Tweets.
Multi-Armed Bandit with Budget Constraint and Variable Costs.
Parameterized Complexity Results for Plan Reuse.
Complexity of Inferences in Polytree-shaped Semi-Qualitative Probabilistic Networks.
Assumption-Based Planning: Generating Plans and Explanations under Incomplete Knowledge.
Online Lazy Updates for Portfolio Selection with Transaction Costs.
Timelines with Temporal Uncertainty.
Dynamic Minimization of Sentential Decision Diagrams.
From Interest to Function: Location Estimation in Social Media.
Goal-Oriented Euclidean Heuristics with Manifold Learning.
Uncorrelated Lasso.
Instructor Rating Markets.
A Kernel Density Estimate-Based Approach to Component Goodness Modeling.
Improving WalkSAT for Random k-Satisfiability Problem with k > 3.
How Bad Is Selfish Voting?
Qualitative Planning under Partial Observability in Multi-Agent Domains.
Decoupling the Multiagent Disjunctive Temporal Problem.
Social Rankings in Human-Computer Committees.
Teaching Classification Boundaries to Humans.
Teamwork with Limited Knowledge of Teammates.
Causal Transportability with Limited Experiments.
Pruning for Monte Carlo Distributed Reinforcement Learning in Decentralized POMDPs.
Optimal Coalition Structure Generation in Cooperative Graph Games.
Ties Matter: Complexity of Manipulation when Tie-Breaking with a Random Vote.
Equilibria of Online Scheduling Algorithms.
On the Social Welfare of Mechanisms for Repeated Batch Matching.
Fast Equilibrium Computation for Infinitely Repeated Games.
A Pattern Matching Based Model for Implicit Opinion Question Identification.
Bundling Attacks in Judgment Aggregation.
Multi-Cycle Query Caching in Agent Programming.
Interdependent Multi-Issue Negotiation for Energy Exchange in Remote Communities.
Truncated Incremental Search: Faster Replanning by Exploiting Suboptimality.
A Morphogenetically Assisted Design Variation Tool.
Sensitivity of Diffusion Dynamics to Network Uncertainty.
Invited Talks.
EAAI-13 Preface.
IAAI-13 Preface.
AAAI-13 Preface.
Sponsors.
Awards.
Conference Committees.
AAAI Organization.
