aaai 2010 论文列表Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. |
Computational Social Choice: Strategic and Combinatorial Aspects.
Integrating Reinforcement Learning into a Programming Language.
Integrating Expert Knowledge and Experience.
Multi-Agent Fault Tolerance Inspired by a Computational Analysis of Cancer.
Framework and Schema for Semantic Web Knowledge Bases.
Towards a Robust Deep Language Understanding System.
Hierarchical Skill Learning for High-Level Planning.
Enhancing Affective Communication in Embodied Conversational Agents.
Continual On-Line Planning.
Detecting Social Ties and Copying Events from Affiliation Data.
On Multi-Robot Area Coverage.
Local Optimization for Simulation of Natural Motion.
Nonparametric Bayesian Approaches for Reinforcement Learning in Partially Observable Domains.
Interactive Task-Plan Learning.
Toward Learning to Press Doorbell Buttons.
Genome Rearrangement: A Planning Approach.
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models.
Semantic Search in Linked Data: Opportunities and Challenges.
Team Formation with Heterogeneous Agents in Computer Games.
Evolved Intrinsic Reward Functions for Reinforcement Learning.
Relational Reinforcement Learning in Infinite Mario.
Materializing Inferred and Uncertain Knowledge in RDF Datasets.
Distributed Auction-Based Initialization of Mobile Robot Formations.
A Phrase-Based Method for Hierarchical Clustering of Web Snippets.
Learning from Concept Drifting Data Streams with Unlabeled Data.
Integrating Transfer Learning in Synthetic Student.
Towards Interesting Patterns of Hard CSPs with Functional Constraints.
Control Model Learning for Whole-Body Mobile Manipulation.
Temporal Planning for Interacting Durative Actions with Continuous Effects.
Intelligent Time-Aware Query Translation for Text Sources.
A Trust Model for Supply Chain Management.
Interactive Categorization of Containers and Non-Containers by Unifying Categorizations Derived from Multiple Exploratory Behaviors.
Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability.
Finding Semantic Inconsistencies in UMLS using Answer Set Programming.
Towards Multiagent Meta-level Control.
A Distributed Method for Evaluating Properties of a Robot Formation.
Representation Discovery in Sequential Decision Making.
Progress on Agent Coordination with Cooperative Auctions.
The Model-Based Approach to Autonomous Behavior: A Personal View.
Biologically-Inspired Control for Multi-Agent Self-Adaptive Tasks.
Intelligently Aiding Human-Guided Correction of Speech Recognition.
Comparing Position Auctions Computationally.
Evolving Compiler Heuristics to Manage Communication and Contention.
Matthew E. Taylor Katherine E. Coons Behnam Robatmili Bertrand A. Maher Doug Burger Kathryn S. McKinley
Panlingual Lexical Translation via Probabilistic Inference.
Local Search in Histogram Construction.
Computationally Feasible Automated Mechanism Design: General Approach and Case Studies.
Constraint Programming for Data Mining and Machine Learning.
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.
Ontological Reasoning with F-logic Lite and its Extensions.
Automatic Derivation of Finite-State Machines for Behavior Control.
Active Inference for Collective Classification.
Error Aware Monocular Visual Odometry using Vertical Line Pairs for Small Robots in Urban Areas.
Online Learning of Uneven Terrain for Humanoid Bipedal Walking.
Unsupervised Learning of Event Classes from Video.
A Layered Approach to People Detection in 3D Range Data.
A Low False Negative Filter for Detecting Rare Bird Species from Short Video Segments using a Probable Observation Data Set-based EKF Method.
The Boosting Effect of Exploratory Behaviors.
Relative Entropy Policy Search.
Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior.
Biped Walk Learning Through Playback and Corrective Demonstration.
A Bayesian Nonparametric Approach to Modeling Mobility Patterns.
Activity and Gait Recognition with Time-Delay Embeddings.
Instance-Based Online Learning of Deterministic Relational Action Models.
Using Imagery to Simplify Perceptual Abstraction in Reinforcement Learning Agents.
Integrating a Closed World Planner with an Open World Robot: A Case Study.
Integrated Systems for Inducing Spatio-Temporal Process Models.
Goal-Driven Autonomy in a Navy Strategy Simulation.
Supporting Wilderness Search and Rescue with Integrated Intelligence: Autonomy and Information at the Right Time and the Right Place.
Integrating Constraint Satisfaction and Spatial Reasoning.
Learning Methods to Generate Good Plans: Integrating HTN Learning and Reinforcement Learning.
An Integrated Systems Approach to Explanation-Based Conceptual Change.
Creating Dynamic Story Plots with Continual Multiagent Planning.
Collusion Detection in Online Bridge.
Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination.
Hidden Market Design.
Automated Modelling and Solving in Constraint Programming.
UserRec: A User Recommendation Framework in Social Tagging Systems.
Commonsense Knowledge Mining from the Web.
Temporal and Social Context Based Burst Detection from Folksonomies.
Fast Algorithms for Top-k Approximate String Matching.
Keyword Extraction and Headline Generation Using Novel Word Features.
Modeling Dynamic Multi-Topic Discussions in Online Forums.
News Recommendation in Forum-Based Social Media.
Integrity Constraints in OWL.
A General Framework for Representing and Reasoning with Annotated Semantic Web Data.
How Incomplete Is Your Semantic Web Reasoner?
Extraction and Visualization of Implicit Social Relations on Social Networking Services.
Predicting the Importance of Newsfeed Posts and Social Network Friends.
A Probabilistic-Logical Framework for Ontology Matching.
Materializing and Persisting Inferred and Uncertain Knowledge in RDF Datasets.
Diversifying Query Suggestion Results.
Optimal Social Trust Path Selection in Complex Social Networks.
Temporal Information Extraction.
Subjective Trust Inference in Composite Services.
Sentiment Analysis with Global Topics and Local Dependency.
Learning to Predict Opinion Share in Social Networks.
Towards an Intelligent Code Search Engine.
On the Reputation of Agent-Based Web Services.
PR + RQ ALMOST EQUAL TO PQ: Transliteration Mining Using Bridge Language.
Utilizing Context in Generative Bayesian Models for Linked Corpus.
Session Based Click Features for Recency Ranking.
Prioritization of Domain-Specific Web Information Extraction.
Optimal Strategies for Reviewing Search Results.
Visual Contextual Advertising: Bringing Textual Advertisements to Images.
Toward an Architecture for Never-Ending Language Learning.
Adopting Inference Networks for Online Thread Retrieval.
GTPA: A Generative Model For Online Mentor-Apprentice Networks.
Muhammad Aurangzeb Ahmad David A. Huffaker Jing Wang Jeffrey William Treem Marshall Scott Poole Jaideep Srivastava
A Fast Heuristic Search Algorithm for Finding the Longest Common Subsequence of Multiple Strings.
A Cross-Entropy Method that Optimizes Partially Decomposable Problems: A New Way to Interpret NMR Spectra.
Predicting Structural and Functional Sites in Proteins by Searching for Maximum-weight Cliques.
Fast Conditional Density Estimation for Quantitative Structure-Activity Relationships.
Multi-Label Classification: Inconsistency and Class Balanced K-Nearest Neighbor.
An Optimization Variant of Multi-Robot Path Planning Is Intractable.
Saving Redundant Messages in BnB-ADOPT.
A Single-Step Maximum A Posteriori Update for Bearing-Only SLAM.
g-Planner: Real-time Motion Planning and Global Navigation using GPUs.
Design and Implementation of Two-level Synchronization for Interactive Music Robot.
Search-Based Path Planning with Homotopy Class Constraints.
Asynchronous Multi-Robot Patrolling against Intrusions in Arbitrary Topologies.
DTProbLog: A Decision-Theoretic Probabilistic Prolog.
Epsilon-First Policies for Budget-Limited Multi-Armed Bandits.
On the Use of Prime Implicates in Conformant Planning.
New Mini-Bucket Partitioning Heuristics for Bounding the Probability of Evidence.
Efficient Lifting for Online Probabilistic Inference.
Efficient Belief Propagation for Utility Maximization and Repeated Inference.
Informed Lifting for Message-Passing.
Respecting Markov Equivalence in Computing Posterior Probabilities of Causal Graphical Features.
Decision-Theoretic Control of Crowd-Sourced Workflows.
Simultaneous Elicitation of Preference Features and Utility.
Relational Partially Observable MDPs.
Compressing POMDPs Using Locality Preserving Non-Negative Matrix Factorization.
Symbolic Dynamic Programming for First-order POMDPs.
Recognizing Multi-Agent Activities from GPS Data.
Robust Policy Computation in Reward-Uncertain MDPs Using Nondominated Policies.
Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners.
Planning in Dynamic Environments: Extending HTNs with Nonlinear Continuous Effects.
SixthSense: Fast and Reliable Recognition of Dead Ends in MDPs.
Structured Parameter Elicitation.
SAP Speaks PDDL.
PUMA: Planning Under Uncertainty with Macro-Actions.
Using Closed Captions as Supervision for Video Activity Recognition.
An Analytic Characterization of Model Minimization in Factored Markov Decision Processes.
To Max or Not to Max: Online Learning for Speeding Up Optimal Planning.
Using Bisimulation for Policy Transfer in MDPs.
Multi-Agent Plan Recognition: Formalization and Algorithms.
Finite-State Controllers Based on Mealy Machines for Centralized and Decentralized POMDPs.
Bidirectional Integration of Pipeline Models.
Forest-Based Semantic Role Labeling.
Extracting Ontological Selectional Preferences for Non-Pertainym Adjectives from the Google Corpus.
CAO: A Fully Automatic Emoticon Analysis System.
Kernelized Sorting for Natural Language Processing.
Automatic Attribution of Quoted Speech in Literary Narrative.
What Is an Opinion About? Exploring Political Standpoints Using Opinion Scoring Model.
A Temporal Proof System for General Game Playing.
A General Game Description Language for Incomplete Information Games.
Generalized Task Markets for Human and Machine Computation.
Symmetry Detection in General Game Playing.
Grouping Strokes into Shapes in Hand-Drawn Diagrams.
A Computational Model for Saliency Maps by Using Local Entropy.
User-Specific Learning for Recognizing a Singer's Intended Pitch.
Learning Simulation Control in General Game-Playing Agents.
Tolerable Manipulability in Dynamic Assignment without Money.
Sequential Incremental-Value Auctions.
Dynamic Auction: A Tractable Auction Procedure.
Multi-Agent Learning with Policy Prediction.
Stackelberg Voting Games: Computational Aspects and Paradoxes.
Compilation Complexity of Common Voting Rules.
Trial-Based Dynamic Programming for Multi-Agent Planning.
Beyond Equilibrium: Predicting Human Behavior in Normal-Form Games.
Fixing a Tournament.
Automated Channel Abstraction for Advertising Auctions.
Urban Security: Game-Theoretic Resource Allocation in Networked Domains.
A Decentralised Coordination Algorithm for Mobile Sensors.
Asymmetric Spite in Auctions.
Accounting Mechanisms for Distributed Work Systems.
Approximate Coalition Structure Generation.
Increasing Threshold Search for Best-Valued Agents.
Trust Models and Con-Man Agents: From Mathematical to Empirical Analysis.
Can Approximation Circumvent Gibbard-Satterthwaite?
Envy Quotes and the Iterated Core-Selecting Combinatorial Auction.
Convergence to Equilibria in Plurality Voting.
Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents.
Stability and Incentive Compatibility in a Kernel-Based Combinatorial Auction.
Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games.
Algorithms for Finding Approximate Formations in Games.
Security Games with Arbitrary Schedules: A Branch and Price Approach.
Intentions in Equilibrium.
Lifting Rationality Assumptions in Binary Aggregation.
Good Rationalizations of Voting Rules.
Cloning in Elections.
Possible Winners when New Candidates Are Added: The Case of Scoring Rules.
Truth, Justice, and Cake Cutting.
A Distributed Algorithm for Optimising over Pure Strategy Nash Equilibria.
Voting Almost Maximizes Social Welfare Despite Limited Communication.
Approximation Algorithms and Mechanism Design for Minimax Approval Voting.
An Approximate Subgame-Perfect Equilibrium Computation Technique for Repeated Games.
Private and Third-Party Randomization in Risk-Sensitive Equilibrium Concepts.
Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates.
Transferable Utility Planning Games.
Coalitional Structure Generation in Skill Games.
Probabilistic Possible Winner Determination.
Competing Schedulers.
Nonmanipulable Randomized Tournament Selections.
Gaussian Process Latent Random Field.
Efficient Spectral Feature Selection with Minimum Redundancy.
Multi-Task Active Learning with Output Constraints.
Transductive Learning on Adaptive Graphs.
Multitask Bregman Clustering.
Local and Global Regressive Mapping for Manifold Learning with Out-of-Sample Extrapolation.
Dependence Minimizing Regression with Model Selection for Non-Linear Causal Inference under Non-Gaussian Noise.
Smooth Optimization for Effective Multiple Kernel Learning.
Discovering Long Range Properties of Social Networks with Multi-Valued Time-Inhomogeneous Models.
Bayesian Policy Search for Multi-Agent Role Discovery.
Discriminant Laplacian Embedding.
Integrating Sample-Based Planning and Model-Based Reinforcement Learning.
Reinforcement Learning via AIXI Approximation.
Nonparametric Curve Extraction Based on Ant Colony System.
Multi-Label Learning with Weak Label.
Multi-Instance Dimensionality Reduction.
Constrained Coclustering for Textual Documents.
Non-Negative Matrix Factorization Clustering on Multiple Manifolds.
Semi-Supervised Dimension Reduction for Multi-Label Classification.
Bayesian Matrix Factorization with Side Information and Dirichlet Process Mixtures.
Conformal Mapping by Computationally Efficient Methods.
Non-I.I.D. Multi-Instance Dimensionality Reduction by Learning a Maximum Bag Margin Subspace.
A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics.
Non-Metric Locality-Sensitive Hashing.
Learning Causal Models of Relational Domains.
Multilinear Maximum Distance Embedding Via L1-Norm Optimization.
Constrained Metric Learning Via Distance Gap Maximization.
Gaussian Mixture Model with Local Consistency.
Non-Negative Matrix Factorization with Constraints.
Cost-Sensitive Semi-Supervised Support Vector Machine.
The Genetic Algorithm as a General Diffusion Model for Social Networks.
Structure Learning for Markov Logic Networks with Many Descriptive Attributes.
Reinforcement Learning Via Practice and Critique Advice.
Two-Stage Sparse Representation for Robust Recognition on Large-Scale Database.
Multi-Task Sparse Discriminant Analysis (MtSDA) with Overlapping Categories.
A Topic Model for Linked Documents and Update Rules for its Estimation.
Exact Algorithms and Experiments for Hierarchical Tree Clustering.
Facial Age Estimation by Learning from Label Distributions.
Learning Discriminative Piecewise Linear Models with Boundary Points.
Interactive Learning Using Manifold Geometry.
Properties of Bayesian Dirichlet Scores to Learn Bayesian Network Structures.
Learning Spatial-Temporal Varying Graphs with Applications to Climate Data Analysis.
What if the Irresponsible Teachers Are Dominating?
G-Optimal Design with Laplacian Regularization.
Adaptive Transfer Learning.
The Induction and Transfer of Declarative Bias.
Assisting Users with Clustering Tasks by Combining Metric Learning and Classification.
Myopic Policies for Budgeted Optimization with Constrained Experiments.
Javad Azimi Xiaoli Z. Fern Alan Fern Elizabeth Burrows Frank Chaplen Yanzhen Fan Hong Liu Jun Jaio Rebecca Schaller
Latent Variable Model for Learning in Pairwise Markov Networks.
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription.
A New Approach to Knowledge Base Revision in DL-Lite.
An Inconsistency-Tolerant Approach to Information Merging Based on Proposition Relaxation.
Dominance Testing via Model Checking.
Soundness Preserving Approximation for TBox Reasoning.
A Lower Bound on the Size of Decomposable Negation Normal Form.
Inducing Probability Distributions from Knowledge Bases with (In)dependence Relations.
A Belief Revision Framework for Revising Epistemic States with Partial Epistemic States.
Automated Program Debugging Via Multiple Predicate Switching.
Topological Relations between Convex Regions.
In Defense of Large Qualitative Calculi.
Situation Calculus as Answer Set Programming.
Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.
Two-Player Game Structures for Generalized Planning and Agent Composition.
Ontologies and Representations of Matter.
First-Order Indefinability of Answer Set Programs on Finite Structures.
Node Selection Query Languages for Trees.
Representing Preferences Among Sets.
Decomposed Utility Functions and Graphical Models for Reasoning about Preferences.
Knowledge Compilation in the Modal Logic S5.
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus.
Ordered Completion for First-Order Logic Programs on Finite Structures.
Past and Future of DL-Lite.
Collaborative Filtering Meets Mobile Recommendation: A User-Centered Approach.
Transfer Learning in Collaborative Filtering for Sparsity Reduction.
Clickthrough Log Analysis by Collaborative Ranking.
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter.
Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection.
A Proof-Producing CSP Solver.
Coalition Structure Generation based on Distributed Constraint Optimization.
The Tree Representation of Feasible Solutions for the TSP with Pickup and Delivery and LIFO Loading.
Using Lookaheads with Optimal Best-First Search.
Collaborative Expert Portfolio Management.
Finding Optimal Solutions to Cooperative Pathfinding Problems.
Latent Class Models for Algorithm Portfolio Methods.
Computing Cost-Optimal Definitely Discriminating Tests.
Search Space Reduction Using Swamp Hierarchies.
Lazy Theta*: Any-Angle Path Planning and Path Length Analysis in 3D.
Filtering Bounded Knapsack Constraints in Expected Sublinear Time.
Understanding the Success of Perfect Information Monte Carlo Sampling in Game Tree Search.
An Efficient Branch-and-Bound Algorithm Based on MaxSAT for the Maximum Clique Problem.
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction.
Searching Without a Heuristic: Efficient Use of Abstraction.
Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search.
A First Practical Algorithm for High Levels of Relational Consistency.
Parallel Depth First Proof Number Search.
A Novel Transition Based Encoding Scheme for Planning as Satisfiability.
Optimal Rectangle Packing on Non-Square Benchmarks.
Symmetry in Solutions.
Exploiting QBF Duality on a Circuit Representation.
Fast Local Search Algorithm for Weighted Feedback Arc Set in Tournaments.
Single-Frontier Bidirectional Search.
High-Quality Policies for the Canadian Traveler's Problem.
EWLS: A New Local Search for Minimum Vertex Cover.
1.6-Bit Pattern Databases.
Independent Additive Heuristics Reduce Search Multiplicatively.
Propagating Conjunctions of AllDifferent Constraints.
Transmission Network Expansion Planning with Simulation Optimization.
A Restriction of Extended Resolution for Clause Learning SAT Solvers.
Exploiting Monotonicity in Interval Constraint Propagation.
A New Algorithm for Weighted Partial MaxSAT.