aaai 2012 论文列表Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. |
Effects of Representation on Solving Complex Spatial-Temporal Problems.
Large-Scale Mapping and Navigation in VirtualWorlds: Thesis Summary.
Building Collaborative Strategies via Imitation.
Complex Task Learning from Unstructured Demonstrations.
Iterative Voting under Uncertainty for Group Recommender Systems (Research Abstract).
Generalizing and Executing Plans.
Learning Actions and Action Verbs from Human-Agent Interaction.
Dynamic Multiagent Resource Allocation: Integrating Auctions and MDPs for Real-Time Decisions.
A Multi-Agent Control Architecture for a Rescue Robot.
Acquiring Domain Specific Knowledge and Coreference Cues for Coreference Resolution.
Abductive Metareasoning for Truth-Seeking Agents.
Solution Diversity in Planning.
Enriching Chatter Bots With Semantic Conversation Control.
Planning Under Time Pressure.
Capabilities in Heterogeneous Multi-Robot Systems.
Matching State-Based Sequences with Rich Temporal Aspects.
Combining Probabilistic Planning and Logic Programming on Mobile Robots.
Learning Transformation Rules by Examples.
A Testbed for Learning by Demonstration from Natural Language and RGB-Depth Video.
CCE: A Coupled Framework of Clustering Ensembles.
A Bucket Elimination Approach for Determining Strong Controllability of Temporal Plans with Uncontrollable Choices.
Frugal Coordinate Descent for Large-Scale NNLS.
Learning Names for RFID-Tagged Objects in Activity Videos.
Threats and Trade-Offs in Resource Critical Crowdsourcing Tasks Over Networks.
Exploring Mixed-Initiative Interaction for Learning with Situated Instruction in Cognitive Agents.
Mining Context-Aware Significant Travel Sequences from Geotagged Social Media.
Large Scale Temporal RDFS Reasoning Using MapReduce.
An Investigation of Sensitivity on Bagging Predictors: An Empirical Approach.
Real-Time Collaborative Planning with the Crowd.
Online Sequence Alignment for Real-Time Audio Transcription by Non-Experts.
Informed Initial Policies for Learning in Dec-POMDPs.
Failure Handling In a Planning Framework.
Estimation of Suitable Action to Realize Given Novel Effect with Given Tool Using Bayesian Tool Affordances.
A Market-Based Coordination Mechanism for Resource Planning Under Uncertainty.
Exploiting Shared Resource Dependencies in Spectrum Based Plan Diagnosis.
A New Operator for ABox Revision in DL-Lite.
Active Learning from Oracle with Knowledge Blind Spot.
A Theoretical Framework of the Graph Shift Algorithm.
Recommending Related Microblogs: A Comparison Between Topic and WordNet based Approaches.
Improving Convergence of CMA-ES Through Structure-Driven Discrete Recombination.
Temporally Expressive Planning Based on Answer Set Programming with Constraints.
Strategic Advice Provision in Repeated Human-Agent Interactions (Abstract).
Symmetry Breaking Constraints: Recent Results.
Heuristic Search Comes of Age.
Planning as an Iterative Process.
PROTECT: An Application of Computational Game Theory for the Security of the Ports of the United States.
Delivering the Smart Grid: Challenges for Autonomous Agents and Multi-Agent Systems Research.
Interactive Narrative: A Novel Application of Artificial Intelligence for Computer Games.
Relative Attributes for Enhanced Human-Machine Communication.
Opportunities and Challenges for Constraint Programming.
Optimal Manipulation of Voting Rules.
Usage-Centric Benchmarking of RDF Triple Stores.
Research Challenges in Combinatorial Search.
Semi-Relaxed Plan Heuristics.
Seven Challenges in Parallel SAT Solving.
Goal Recognition with Markov Logic Networks for Player-Adaptive Games.
Computing Game-Theoretic Solutions and Applications to Security.
SMT-Based Verification of Hybrid Systems.
Search-Based Path Planning with Homotopy Class Constraints in 3D.
Parsing Outdoor Scenes from Streamed 3D Laser Data Using Online Clustering and Incremental Belief Updates.
Model Learning and Real-Time Tracking Using Multi-Resolution Surfel Maps.
Using the Web to Interactively Learn to Find Objects.
Mobile Robot Planning to Seek Help with Spatially-Situated Tasks.
Searching for Optimal Off-Line Exploration Paths in Grid Environments for a Robot with Limited Visibility.
Automatic Targetless Extrinsic Calibration of a 3D Lidar and Camera by Maximizing Mutual Information.
Symmetric Rendezvous in Planar Environments With and Without Obstacles.
Bayesian Unification of Sound Source Localization and Separation with Permutation Resolution.
Improving Request Compliance through Robot Affect.
Occupancy Grid Models for Robot Mapping in Changing Environments.
Coordinated Multi-Robot Exploration Under Communication Constraints Using Decentralized Markov Decision Processes.
Catch Me If You Can: Pursuit and Capture in Polygonal Environments with Obstacles.
Visual Saliency Estimation through Manifold Learning.
Repeated Sequential Auctions with Dynamic Task Clusters.
Mirror Perspective-Taking with a Humanoid Robot.
Efficient Optimization of Control Libraries.
Visibility Induction for Discretized Pursuit-Evasion Games.
Belief Functions on Distributive Lattices.
Conditioning in First-Order Knowledge Compilation and Lifted Probabilistic Inference.
Symbolic Variable Elimination for Discrete and Continuous Graphical Models.
Time-Consistency of Optimization Problems.
Modeling Context Aware Dynamic Trust Using Hidden Markov Model.
Sequential Decision Making with Rank Dependent Utility: A Minimax Regret Approach.
Using Sliding Windows to Generate Action Abstractions in Extensive-Form Games.
I'm Doing as Well as I Can: Modeling People as Rational Finite Automata.
Advances in Lifted Importance Sampling.
A Tractable First-Order Probabilistic Logic.
Search Algorithms for m Best Solutions for Graphical Models.
A Search Algorithm for Latent Variable Models with Unbounded Domains.
Approximating the Sum Operation for Marginal-MAP Inference.
Exact Lifted Inference with Distinct Soft Evidence on Every Object.
A Multi-Path Compilation Approach to Contingent Planning.
Lifted MEU by Weighted Model Counting.
Covering Number as a Complexity Measure for POMDP Planning and Learning.
MAXSAT Heuristics for Cost Optimal Planning.
Symbolic Dynamic Programming for Continuous State and Action MDPs.
Efficient Approximate Value Iteration for Continuous Gaussian POMDPs.
Stochastic Safest and Shortest Path Problems.
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing.
Incremental Management of Oversubscribed Vehicle Schedules in Dynamic Dial-A-Ride Problems.
Planning in Factored Action Spaces with Symbolic Dynamic Programming.
Evaluating Temporal Plans in Incomplete Domains.
LRTDP Versus UCT for Online Probabilistic Planning.
Structural Patterns Beyond Forks: Extending the Complexity Boundaries of Classical Planning.
The Linear Distance Traveling Tournament Problem.
Improving Hierarchical Planning Performance by the Use of Landmarks.
Width and Complexity of Belief Tracking in Non-Deterministic Conformant and Contingent Planning.
Action Selection for MDPs: Anytime AO* Versus UCT.
A Distributed Approach to Summarizing Spaces of Multiagent Schedules.
The Complexity of Planning Revisited - A Parameterized Analysis.
Generating Coherent Summaries with Textual Aspects.
Similarity Is Not Entailment - Jointly Learning Similarity Transformation for Textual Entailment.
Sembler: Ensembling Crowd Sequential Labeling for Improved Quality.
Sense Sentiment Similarity: An Analysis.
Query-Oriented Multi-Document Summarization via Unsupervised Deep Learning.
Exacting Social Events for Tweets Using a Factor Graph.
Collective Nominal Semantic Role Labeling for Tweets.
Emoticon Smoothed Language Models for Twitter Sentiment Analysis.
Opinion Target Extraction Using a Shallow Semantic Parsing Framework.
Using First-Order Logic to Compress Sentences.
Modeling Textual Cohesion for Event Extraction.
Generating Chinese Classical Poems with Statistical Machine Translation Models.
Simple Robust Grammar Induction with Combinatory Categorial Grammars.
Heart Rate Topic Models.
Cruising with a Battery-Powered Vehicle and Not Getting Stranded.
Automatically Generating Algebra Problems.
Unsupervised Detection of Music Boundaries by Time Series Structure Features.
HyperPlay: A Solution to General Game Playing with Imperfect Information.
Identifying Adverse Drug Events by Relational Learning.
Identifying Bullies with a Computer Game.
Visual Saliency Map from Tensor Analysis.
Performance and Preferences: Interactive Refinement of Machine Learning Procedures.
Learning to Learn: Algorithmic Inspirations from Human Problem Solving.
Construction of New Medicines via Game Proof Search.
Agent-Human Coordination with Communication Costs Under Uncertainty.
Generalized Monte-Carlo Tree Search Extensions for General Game Playing.
Three Controversial Hypotheses Concerning Computation in the Primate Cortex.
Algorithmic and Human Teaching of Sequential Decision Tasks.
An Object-Based Bayesian Framework for Top-Down Visual Attention.
Strategic Advice Provision in Repeated Human-Agent Interactions.
Automated Strategies for Determining Rewards for Human Work.
Stability Via Convexity and LP Duality in OCF Games.
Possible Winners in Noisy Elections.
A Robust Bayesian Truth Serum for Small Populations.
Evaluating Resistance to False-Name Manipulations in Elections.
Computing Stackelberg Equilibria in Discounted Stochastic Games.
Decision Support for Agent Populations in Uncertain and Congested Environments.
Security Games for Controlling Contagion.
Optimal Auctions for Spiteful Bidders.
Negotiation in Exploration-Based Environment.
A Hybrid Algorithm for Coalition Structure Generation.
A Scalable Message-Passing Algorithm for Supply Chain Formation.
A Complexity-of-Strategic-Behavior Comparison between Schulze's Rule and Ranked Pairs.
Influence-Based Abstraction for Multiagent Systems.
Tree-Based Solution Methods for Multiagent POMDPs with Delayed Communication.
Bayes-Adaptive Interactive POMDPs.
Congestion Games with Agent Failures.
Competing with Humans at Fantasy Football: Team Formation in Large Partially-Observable Domains.
Characterizing Multi-Agent Team Behavior from Partial Team Tracings: Evidence from the English Premier League.
Computing Optimal Strategies to Commit to in Stochastic Games.
Finding Optimal Abstract Strategies in Extensive-Form Games.
The Deployment-to-Saturation Ratio in Security Games.
Generalized Sampling and Variance in Counterfactual Regret Minimization.
Optimizing Payments in Dominant-Strategy Mechanisms for Multi-Parameter Domains.
Dynamic Matching via Weighted Myopia with Application to Kidney Exchange.
Eliminating the Weakest Link: Making Manipulation Intractable?
Symmetric Subgame Perfect Equilibria in Resource Allocation.
Computing the Nucleolus of Matching, Cover and Clique Games.
Approximately Revenue-Maximizing Auctions for Deliberative Agents.
Fairness and Welfare Through Redistribution When Utility Is Transferable.
The Price of Neutrality for the Ranked Pairs Method.
A Multivariate Complexity Analysis of Lobbying in Multiple Referenda.
On Maxsum Fair Cake Divisions.
A Dynamic Rationalization of Distance Rationalizability.
Computing Equilibria with Two-Player Zero-Sum Continuous Stochastic Games with Switching Controller.
Optimal Proportional Cake Cutting with Connected Pieces.
Sample Bounded Distributed Reinforcement Learning for Decentralized POMDPs.
Housing Markets with Indifferences: A Tale of Two Mechanisms.
Security Games with Limited Surveillance.
Bo An David Kempe Christopher Kiekintveld Eric Shieh Satinder P. Singh Milind Tambe Yevgeniy Vorobeychik
Hierarchical Modeling with Tensor Inputs.
Supervised Probabilistic Robust Embedding with Sparse Noise.
Efficient Online Learning for Large-Scale Sparse Kernel Logistic Regression.
Approximate Policy Iteration with Linear Action Models.
Pairwise Exemplar Clustering.
Online Kernel Selection: Algorithms and Evaluations.
A Bregman Divergence Optimization Framework for Ranking on Data Manifold and Its New Extensions.
Semi-Supervised Kernel Matching for Domain Adaptation.
Learning from Demonstration for Goal-Driven Autonomy.
Colorization by Matrix Completion.
Discriminative Clustering via Generative Feature Mapping.
Manifold Warping: Manifold Alignment over Time.
Markov Network Structure Learning: A Randomized Feature Generation Approach.
Name-Ethnicity Classification and Ethnicity-Sensitive Name Matching.
Knapsack Based Optimal Policies for Budget-Limited Multi-Armed Bandits.
Hierarchical Double Dirichlet Process Mixture of Gaussian Processes.
Convex Matching Pursuit for Large-Scale Sparse Coding and Subset Selection.
Investigating the Effectiveness of Laplacian-Based Kernels in Hub Reduction.
A Parameterized Runtime Analysis of Evolutionary Algorithms for the Euclidean Traveling Salesperson Problem.
Sequence Labeling with Non-Negative Weighted Higher Order Features.
Leveraging Domain Knowledge in Multitask Bayesian Network Structure Learning.
Learning Behavior Models for Hybrid Timed Systems.
Context Tree Maximizing.
Counting-MLNs: Learning Relational Structure for Decision Making.
Rule Ensemble Learning Using Hierarchical Kernels in Structured Output Spaces.
Compressed Least-Squares Regression on Sparse Spaces.
Design and Optimization of an Omnidirectional Humanoid Walk: A Winning Approach at the RoboCup 2011 3D Simulation Competition.
Margin-Based Feature Selection in Incomplete Data.
Transfer Learning with Graph Co-Regularization.
Unsupervised Feature Selection Using Nonnegative Spectral Analysis.
Ensemble Feature Weighting Based on Local Learning and Diversity.
Towards Discovering What Patterns Trigger What Labels.
Sparse Probabilistic Relational Projection.
Topic Correlation Analysis for Cross-Domain Text Classification.
Teaching Machines to Learn by Metaphors.
Learning the Kernel Matrix with Low-Rank Multiplicative Shaping.
Kernel-Based Reinforcement Learning on Representative States.
Probabilistic Models for Common Spatial Patterns: Parameter-Expanded EM and Variational Bayes.
Learning Games from Videos Guided by Descriptive Complexity.
Multi-Label Learning on Tensor Product Graph.
Multi-Label Learning by Exploiting Label Correlations Locally.
Learning SVM Classifiers with Indefinite Kernels.
Sparse Principal Component Analysis with Constraints.
Classification of Sparse Time Series via Supervised Matrix Factorization.
Efficient Multi-Stage Conjugate Gradient for Trust Region Step.
Conservative and Greedy Approaches to Classification-Based Policy Iteration.
A Bayesian Approach to the Data Description Problem.
A Spin-Glass Model for Semi-Supervised Community Detection.
Convex Kernelized Sorting.
TD-DeltaPi: A Model-Free Algorithm for Efficient Exploration.
Clustering Documents Along Multiple Dimensions.
Adaptive Step-Size for Online Temporal Difference Learning.
Investigating Contingency Awareness Using Atari 2600 Games.
Weighted Clustering.
Towards Population Scale Activity Recognition: A Framework for Handling Data Diversity.
Basing Decisions on Sentences in Decision Diagrams.
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.
Exploring the Duality in Conflict-Directed Model-Based Diagnosis.
FLP Semantics Without Circular Justifications for General Logic Programs.
Far Out: Predicting Long-Term Human Mobility.
Concept-Based Approach to Word-Sense Disambiguation.
Conflict-Based Belief Revision Operators in Possibilistic Logic.
Compiling Model-Based Diagnosis to Boolean Satisfaction.
Reformulating Temporal Action Logics in Answer Set Programming.
Benchmarking Ontology-Based Query Rewriting Systems.
Synthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games.
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall.
Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
On Finding Optimal Polytrees.
The Parameterized Complexity of Abduction.
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning.
Query Rewriting for Horn-SHIQ Plus Rules.
Ontology-Based Data Access with Dynamic TBoxes in DL-Lite.
Symbolic Synthesis of Observability Requirements for Diagnosability.
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies.
Transportability of Causal Effects: Completeness Results.
Ordered Completion for Logic Programs with Aggregates.
Generating Pictorial Storylines Via Minimum-Weight Connected Dominating Set Approximation in Multi-View Graphs.
A Sequential Decision Approach to Ordinal Preferences in Recommender Systems.
Modeling the Evolution of Knowledge in Learning Systems.
Transfer Learning in Collaborative Filtering with Uncertain Ratings.
Low-Rank Matrix Recovery via Efficient Schatten p-Norm Minimization.
Improving Twitter Retrieval by Exploiting Structural Information.
Random Projection with Filtering for Nearly Duplicate Search.
Double-Bit Quantization for Hashing.
Content Recommendation for Attention Management in Unified Social Messaging.
Document Summarization Based on Data Reconstruction.
On Completeness Classes for Query Evaluation on Linked Data.
Choosing Linguistics over Vision to Describe Images.
Table Header Detection and Classification.
Time-Critical Influence Maximization in Social Networks with Time-Delayed Diffusion Process.
Predicting Satisfiability at the Phase Transition.
Filtering Algorithms Based on the Word-RAM Model.
MCTS Based on Simple Regret.
Conflict-Based Search For Optimal Multi-Agent Path Finding.
Alpha-Beta Pruning for Games with Simultaneous Moves.
Information Set Generation in Partially Observable Games.
Trap Avoidance in Local Search Using Pseudo-Conflict Learning.
An Efficient Higher-Order Consistency Algorithm for Table Constraints.
DUCT: An Upper Confidence Bound Approach to Distributed Constraint Optimization Problems.
On the Relation of Constraint Answer Set Programming Languages and Algorithms.
Fast and Accurate Predictions of IDA*'s Performance.
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction.
From Streamlined Combinatorial Search to Efficient Constructive Procedures.
Non-Model-Based Search Guidance for Set Partitioning Problems.
Don't Be Strict in Local Search!
Iterative Resource Allocation for Memory Intensive Parallel Search Algorithms on Clouds, Grids, and Shared Clusters.
Partial-Expansion A* with Selective Node Generation.
Ariel Felner Meir Goldenberg Guni Sharon Roni Stern Tal Beja Nathan R. Sturtevant Jonathan Schaeffer Robert Holte
A Dichotomy for 2-Constraint Forbidden CSP Patterns.
Last-Mile Restoration for Multiple Interdependent Infrastructures.
Solving Temporal Problems Using SMT: Weak Controllability.
Two New Local Search Strategies for Minimum Vertex Cover.
Configuration Checking with Aspiration in Local Search for SAT.
Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching.
Solving Dots-And-Boxes.
Solving Peg Solitaire with Bidirectional BFIDA.
Filtering Decomposable Global Cost Functions.
David Allouche Christian Bessiere Patrice Boizumault Simon de Givry Patricia Gutierrez Samir Loudni Jean-Philippe Métivier Thomas Schiex
An Efficient Simulation-Based Approach to Ambulance Fleet Allocation and Dynamic Redeployment.
Scheduling Conservation Designs via Network Cascade Optimization.
Improving Hybrid Vehicle Fuel Efficiency Using Inverse Reinforcement Learning.
Robust Cuts Over Time: Combatting the Spread of Invasive Species with Unreliable Biological Control.
Cooperative Virtual Power Plant Formation Using Scoring Rules.
Factored Models for Multiscale Decision-Making in Smart Grid Customers.
Non-Intrusive Load Monitoring Using Prior Models of General Appliance Types.
Prediction and Fault Detection of Environmental Signals with Uncharacterised Faults.
Coupling Spatiotemporal Disease Modeling with Diagnosis.
Global Climate Model Tracking Using Geospatial Neighborhoods.
Sustaining Economic Exploitation of Complex Ecosystems in Computational Models of Coupled Human-Natural Networks.
Neo D. Martinez Perrine Tonnin Barbara Bauer Rosalyn C. Rael Rahul Singh Sanghyuk Yoon Ilmi Yoon Jennifer A. Dunne
Sensing the Air We Breathe - The OpenSense Zurich Dataset.
An Intelligent Battery Controller Using Bias-Corrected Q-learning.
Lagrangian Relaxation Techniques for Scalable Spatial Conservation Planning.
Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images.
Kristian Kersting Zhao Xu Mirwaes Wahabzada Christian Bauckhage Christian Thurau Christoph Römer Agim Ballvora Uwe Rascher Jens Leon Lutz Plümer
Patrol Strategies to Maximize Pristine Forest Area.
Learning Non-Stationary Space-Time Models for Environmental Monitoring.
A Novel and Scalable Spatio-Temporal Technique for Ocean Eddy Monitoring.
James H. Faghmous Yashu Chamber Shyam Boriah Frode Vikebø Stefan Liess Michel dos Santos Mesquita Vipin Kumar
Fine-Grained Photovoltaic Output Prediction Using a Bayesian Ensemble.
MOMDPs: A Solution for Modelling Adaptive Management Problems.
The Automated Vacuum Waste Collection Optimization Problem.
Discovering Constraints for Inductive Process Modeling.
Lessons Learned From a Rational Reconstruction of Minstrel.
Social Cognition: Memory Decay and Adaptive Information Filtering for Robust Information Maintenance.
A Grounded Cognitive Model for Metaphor Acquisition.
Functional Interactions Between Memory and Recognition Judgments.
Using Expectations to Drive Cognitive Behavior.
Crossing Boundaries: Multi-Level Introspection in a Complex Robotic Architecture for Automatic Performance Improvements.
Learning Qualitative Models by Demonstration.
Towards a Cognitive System that Can Recognize Spatial Regions Based on Context.
A Multi-Domain Evaluation of Scaling in a General Episodic Memory.
Sentic Activation: A Two-Level Affective Common Sense Reasoning Framework.
Towards Automated Choreographing of Web Services Using Planning.
Discovering Spammers in Social Networks.
A Data-Driven Approach to Question Subjectivity Identification in Community Question Answering.
Ontological Smoothing for Relation Extraction with Minimal Supervision.
Improved Convergence of Iterative Ontology Alignment using Block-Coordinate Descent.
A Mouse-Trajectory Based Model for Predicting Query-URL Relevance.
Predicting Disease Transmission from Geo-Tagged Micro-Blog Data.
REWOrD: Semantic Relatedness in the Web of Data.
Adaptive Polling for Information Aggregation.
Multinomial Relation Prediction in Social Data: A Dimension Reduction Approach.
BabelRelate! A Joint Multilingual Approach to Computing Semantic Relatedness.
Social Context-Aware Trust Network Discovery in Complex Contextual Social Networks.
Fine-Grained Entity Recognition.
Dynamically Switching between Synergistic Workflows for Crowdsourcing.
Diagnosing Changes in An Ontology Stream: A DL Reasoning Approach.
A Convex Formulation for Learning from Crowds.
Predictive Mining of Comparable Entities from the Web.
ET-LDA: Joint Topic Modeling for Aligning Events and their Twitter Feedback.
Music-Inspired Texture Representation.
Online Task Assignment in Crowdsourcing Markets.
Quality Expectation-Variance Tradeoffs in Crowdsourcing Contests.
Querying Linked Ontological Data through Distributed Summarization.
Building Contextual Anchor Text Representation using Graph Regularization.
Fused Matrix Factorization with Geographical and Social Influence in Location-Based Social Networks.
SPARQL Query Containment Under SHI Axioms.
Combining Hashing and Abstraction in Sparse High Dimensional Feature Spaces.