aaai32

aaai 2008 论文列表

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008.

IMT: A Mixed-Initiative Data Mapping and Search Toolkit.
Knowledge-Based Spatial Reasoning for Scene Generation from Text Descriptions.
Human-Robot Collaboration for Remote Surveillance.
ARMOR Security for Los Angeles International Airport.
Prometheus Design Tool.
Yoopick: A Combinatorial Sports Prediction Market.
CogSketch.
A Demonstration of the RADAR Personal Assistant.
A Hybrid Approach to Domino Portrait Generation.
The Benefits of an Ontological Patient Model in Clinical Decision-Support.
Managing Quality of Service with Soft Constraints.
Integrative Construction and Analysis of Condition-specific Biological Networks.
Computational Influence for Training and Entertainment.
Combining Global Relevance Information with Local Contextual Clues for Event-Oriented Information Extraction.
Distributed Robust Execution of Qualitative State Plan with Chance Constraints.
Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning.
Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains.
Autonomous Robot Skill Acquisition.
Tightly Coupled Cooperation among Independent Agents.
Social Interaction under Uncertainty in Multi Agent Systems.
Optimizations and Extensions for the Horn Transaction Logic Programs.
An Architecture and Formalism for Handling Modular Ontologies.
Unstructured Audio Classification for Environment Recognition.
Towards Answer Set Prolog Based Architectures for Intelligent Agents.
The Relational Push-Pull Model: A Generative Model for Relational Data Clustering.
Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach.
Eliminating False Positives during Corner Finding by Merging Similar Segments.
Efficient Haplotype Inference with Answer Set Programming.
Using a Geometric-Based Sketch Recognition Approach to Sketch Chinese Radicals.
The Validity of Providing Automated Hints in an ITS Using a MDP.
Toward Autonomous Learning of an Ontology of Tool Affordances by a Robot.
NP-Completeness of Outcome Optimization for Partial CP-Nets.
ADROIT: Automatic Discourse Relation Organizer of Internet-based Text.
The Swarm Application Framework.
Hierarchical Voting Experts: An Unsupervised Algorithm for Segmenting Hierarchically Structured Sequences.
2-Dimensional Cellular Automata Approach for Robot Grid Formations.
Discover Relevant Environment Feature Using Concurrent Reinforcement Learning.
Chatting Activity Recognition in Social Occasions Using Factorial Conditional Random Fields with Iterative Classification.
Constrained Classification on Structured Data.
Loop Calculus for Satisfiability.
A Self-organizing Multi-agent System for Adaptive Continuous Unsupervised Learning in Complex Uncertain Environments.
Text Beautifier: An Affective-Text Tool to Tailor Written Text.
Improving a Plan Library for Real-time Systems Using Nearly Orthogonal Latin Hypercube Sampling.
Predicting Appropriate Semantic Web Terms from Words.
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques.
Existentially Quantified Values for Queries and Updates of Facts in Transaction Logic Programs.
Unsupervised Categorization (Filtering) of Google Images Based on Visual Consistency.
User Identification by Means of Sketched Stroke Features.
Perpetual Learning for Non-Cooperative Multiple Agents.
Distinguishing between Sketched Scribble Look Alikes.
GLADDER: Combining Gesture and Geometric Sketch Recognition.
Sketch Recognition Based on Manifold Learning.
A Neuro-Fuzzy Strategy for Web Personalization.
Personalized Reasoner Based on Belief Strengths of Information Sources.
Conformant Planning Heuristics Based on Plan Reuse in Belief States.
Distributed Reasoning with Conflicts in a Multi-Context Framework.
Using Clustering Methods for Discovering Event Structures.
The Benefits of an Ontological Patient Model in Clinical Decision-Support.
Lexical and Grammatical Inference.
Using Reasoning Patterns to Simplify Games.
A Vehicle Routing System to Solve a Periodic Vehicle Routing Problem for a Food Chain in Hong Kong.
Semantic Web Development for Traditional Chinese Medicine.
Crops Selection for Optimal Soil Planning using Multiobjective Evolutionary Algorithms.
In-the-Dark Network Traffic Classification Using Support Vector Machines.
A Hybrid Approach to Convoy Movement Planning in an Urban City.
Real-time Alert Correlation Using Stream Data Mining Techniques.
COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies.
On-line Recognition of Surgical Activity for Monitoring in the Operating Room.
Learning to Improve Earth Observation Flight Planning.
Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images.
Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft.
Personalisation of Telecommunications Services as Combinatorial Optimisation.
Finding Ontological Correspondences for a Domain-Independent Natural Language Dialog Agent.
Enabling the Interoperability of Large-Scale Legacy Systems.
Adaptive Treatment of Epilepsy via Batch-mode Reinforcement Learning.
Learning Sparse Kernels from 3D Surfaces for Heart Wall Motion Abnormality Detection.
Reinforcement Learning for Vulnerability Assessment in Peer-to-Peer Networks.
Application of Artificial Intelligence to Operational Real-Time Clear-Air Turbulence Prediction.
The Law of Choice and the Decision Not to Decide.
Tactical Language and Culture Training Systems: Using Artificial Intelligence to Teach Foreign Languages and Cultures.
A Case Study of AI Application on Language Instruction: CSIEC.
Using AI for Olympic Equestrian Event Preparation.
Intelligence in Wikipedia.
Game Theory Pragmatics: A Challenge for AI.
Artificial Intelligence Needs Open-Access Knowledgebase Contents.
Learning to Connect Language and Perception.
What Is Answer Set Programming?.
An Interaction-Based Approach to Computational Epidemiology.
Breaking Value Symmetry.
Adaptive Management of Air Traffic Flow: A Multiagent Coordination Approach.
Using Signals of Human Interest to Enhance Single-document Summarization.
Make3D: Depth Perception from a Single Still Image.
Decompositions of Grammar Constraints.
Examining Difficulties Software Developers Encounter in the Adoption of Statistical Machine Learning.
Efficient Algorithms to Solve Bayesian Stackelberg Games for Security Applications.
An Analysis of Transformational Analogy: General Framework and Complexity.
Video Activity Recognition in the Real World.
Explicit-State Abstraction: A New Method for Generating Heuristic Functions.
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.
Achieving Master Level Play in 9 x 9 Computer Go.
Decision-Theoretic User Interface Generation.
Magic Sets for Data Integration.
Intelligent Email: Aiding Users with AI.
On-line Planning and Scheduling: An Application to Controlling Modular Printers.
Learning and Inference with Constraints.
Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners.
Online Learning in Monkeys.
Multi-Label Dimensionality Reduction via Dependence Maximization.
Computing Reserve Prices and Identifying the Value Distribution in Real-world Auctions with Market Disruptions.
Incremental Algorithms for Approximate Compilation.
Learning Grasp Strategies with Partial Shape Information.
Multi-HDP: A Non Parametric Bayesian Model for Tensor Factorization.
Bayes-Relational Learning of Opponent Models from Incomplete Information in No-Limit Poker.
A New Clause Learning Scheme for Efficient Unsatisfiability Proofs.
Towards Synthesizing Optimal Coordination Modules for Distributed Agents.
Efficiently Exploiting Dependencies in Local Search for SAT.
Fast Spectral Learning using Lanczos Eigenspace Projections.
Ensemble Forecasting for Disease Outbreak Detection.
Dynamic Distributed Constraint Reasoning.
A Bayesian Kernel Logistic Discriminant Model: An Improvement to the Kernel Fisher's Discriminant.
The Re-Representation Problem in a Logic-Based Framework for Analogy Making.
Learning to Identify Reduced Passive Verb Phrases with a Shallow Parser.
Expectation-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker.
Limits and Possibilities of BDDs in State Space Search.
Data-Driven Programming and Behavior for Autonomous Virtual Characters.
Hybrid Constraint Tightening for Solving Hybrid Scheduling Problems.
An Effective and Robust Method for Short Text Classification.
Generating Hard SAT/CSP Instances Using Expander Graphs.
Interaction Structure and Dimensionality Reduction in Decentralized MDPs.
Maximum Entropy Inverse Reinforcement Learning.
Transferring Multi-device Localization Models using Latent Multi-task Learning.
Transferring Localization Models over Time.
Feature Selection for Activity Recognition in Multi-Robot Domains.
Multimodal People Detection and Tracking in Crowded Scenes.
A Fast Data Collection and Augmentation Procedure for Object Recognition.
Reducing Particle Filtering Complexity for 3D Motion Capture using Dynamic Bayesian Networks.
Structure Learning on Large Scale Common Sense Statistical Models of Human State.
Transferring Localization Models across Space.
An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure.
Efficient Optimization of Information-Theoretic Exploration in SLAM.
CIGAR: Concurrent and Interleaving Goal and Activity Recognition.
Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study.
Adaptive Importance Sampling with Automatic Model Selection in Value Function Approximation.
The Hidden Permutation Model and Location-Based Activity Recognition.
Planning for Human-Robot Interaction Using Time-State Aggregated POMDPs.
Bimodal Spatial Reasoning with Continuous Motion.
Achieving Far Transfer in an Integrated Cognitive Architecture.
Adaptive Control for Autonomous Underwater Vehicles.
An Integrated Agent for Playing Real-Time Strategy Games.
Pervasive Diagnosis: The Integration of Diagnostic Goals into Production Plans.
Incorporating Mental Simulation for a More Effective Robotic Teammate.
The PELA Architecture: Integrating Planning and Learning to Improve Execution.
RADAR: A Personal Assistant that Learns to Reduce Email Overload.
An Integrated Reasoning Approach to Moral Decision-Making.
POIROT - Integrated Learning of Web Service Procedures.
Spatial Scaffolding for Sociable Robot Learning.
Efficient Querying Relaxed Dominant Relationship between Product Items Based on Rank Aggregation.
A User-Oriented Webpage Ranking Algorithm Based on User Attention Time.
An Unsupervised Approach for Product Record Normalization across Different Web Sites.
Finding Cars, Goddesses and Enzymes: Parametrizable Acquisition of Labeled Instances for Open-Domain Information Extraction.
Metalevel Information in Ontology-Based Applications.
Question Utility: A Novel Static Ranking of Question Search.
Turning Web Text and Search Queries into Factual Knowledge: Hierarchical Class Attribute Extraction.
Decoding Wikipedia Categories for Knowledge Acquisition.
Supporting Manual Mapping Revision using Logical Reasoning.
Neural Network based Constraint Satisfaction in Ontology Mapping.
Intelligent Output Interface for Intelligent Medical Search Engine.
Extracting Relevant Snippets for Web Navigation.
Query-URL Bipartite Based Approach to Personalized Query Recommendation.
A Utility-Theoretic Approach to Privacy and Personalization.
Minimizing the Spread of Contamination by Blocking Links in a Network.
Automatic Extraction of Data Points and Text Blocks from 2-Dimensional Plots in Digital Documents.
Generating Useful Network-based Features for Analyzing Social Networks.
Semi-Supervised Learning for Blog Classification.
Hierarchical Location and Topic Based Query Expansion.
Mining Translations of Web Queries from Web Click-through Data.
Linking Social Networks on the Web with FOAF: A Semantic Web Case Study.
Concept-Based Feature Generation and Selection for Information Retrieval.
On the Enactability of Business Protocols.
A General Framework for Generating Multivariate Explanations in Bayesian Networks.
Latent Tree Models and Approximate Inference in Bayesian Networks.
Hybrid Markov Logic Networks.
Bounding the False Discovery Rate in Local Bayesian Network Learning.
Lifted First-Order Belief Propagation.
Symbolic Heuristic Search Value Iteration for Factored POMDPs.
Dormant Independence.
A General Method for Reducing the Complexity of Relational Inference and its Application to MCMC.
Optimal Testing of Structured Knowledge.
Lifted Probabilistic Inference with Counting Formulas.
A Variance Analysis for POMDP Policy Evaluation.
Towards Faster Planning with Continuous Resources in Stochastic Domains.
Exploiting Symmetries in POMDPs for Point-Based Algorithms.
Preference Aggregation with Graphical Utility Models.
Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations.
Focusing Generalizations of Belief Propagation on Targeted Queries.
CRF-OPT: An Efficient High-Quality Conditional Random Field Solver.
Probabilistic Planning via Determinization in Hindsight.
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.
Hypothesis Pruning and Ranking for Large Plan Recognition Problems.
Learning Generalized Plans Using Abstract Counting.
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains.
Landmarks Revisited.
Route Planning under Uncertainty: The Canadian Traveller Problem.
Unknown Rewards in Finite-Horizon Domains.
Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains.
HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required.
How Good is Almost Perfect?.
Accuracy of Admissible Heuristic Functions in Selected Planning Domains.
Reasoning about Large Taxonomies of Actions.
Finding State Similarities for Faster Planning.
Computing Observation Vectors for Max-Fault Min-Cardinality Diagnoses.
Computing Minimal Diagnoses by Greedy Stochastic Search.
Error Classification in Action Descriptions: A Heuristic Approach.
Partitioned External-Memory Value Iteration.
Planning with Problems Requiring Temporal Coordination.
Fast Planning by Search in Domain Transition Graph.
PBA*: Using Proactive Search to Make A* Robust to Unplanned Deviations.
Optimal Metric Planning with State Sets in Automata Representation.
Optimal Scheduling of Contract Algorithms with Soft Deadlines.
Using Wiktionary for Computing Semantic Relatedness.
Single Document Keyphrase Extraction Using Neighborhood Knowledge.
Cross-lingual Propagation for Morphological Analysis.
Text Categorization with Knowledge Transfer from Heterogeneous Data Sources.
Discourse Topic and Gestural Form.
Importance of Semantic Representation: Dataless Classification.
Automatic Semantic Relation Extraction with Multiple Boundary Generation.
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions.
Using Knowledge Driven Matrix Factorization to Reconstruct Modular Gene Regulatory Network.
Prediction and Change Detection in Sequential Data for Interactive Applications.
Learning to Analyze Binary Computer Code.
Another Look at Search-Based Drama Management.
Exposing Parameters of a Trained Dynamic Model for Interactive Music Creation.
Speech-enabled Card Games for Language Learners.
Proactive Intrusion Detection.
Automating To-Do Lists for Users: Interpretation of To-Dos for Selecting and Tasking Agents.
Constraint Projections for Ensemble Learning.
Multi-View Local Learning.
Classification by Discriminative Regularization.
Hidden Dynamic Probabilistic Models for Labeling Sequence Data.
Learning Hidden Curved Exponential Family Models to Infer Face-to-Face Interaction Networks from Situated Speech Data.
Semi-supervised Classification Using Local and Global Regularization.
On Discriminative Semi-Supervised Classification.
Efficient Learning of Action Schemas and Web-Service Descriptions.
Adapting ADtrees for High Arity Features.
On-Line Case-Based Plan Adaptation for Real-Time Strategy Games.
Markov Blanket Feature Selection for Support Vector Machines.
Economic Hierarchical Q-Learning.
Active Learning for Pipeline Models.
Transfer Learning via Dimensionality Reduction.
Trace Ratio Criterion for Feature Selection.
From Comparing Clusterings to Combining Clusterings.
Clustering on Complex Graphs.
Dimension Amnesic Pyramid Match Kernel.
Zero-data Learning of New Tasks.
Instance-level Semisupervised Multiple Instance Learning.
Semi-Supervised Ensemble Ranking.
A Case Study on the Critical Role of Geometric Regularity in Machine Learning.
Integrating Multiple Learning Components through Markov Logic.
Clustering via Random Walk Hitting Time on Directed Graphs.
Sparse Projections over Graph.
Potential-based Shaping in Model-based Reinforcement Learning.
Distance Metric Learning Versus Fisher Discriminant Analysis.
Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programming.
Loop Formulas for Logic Programs with Arbitrary Constraint Atoms.
Towards Automatic Animated Storyboarding.
Grounding with Bounds.
Generating Application-Specific Benchmark Models for Complex Systems.
Hyperequivalence of Logic Programs with Respect to Supported Models.
An Extended Interpreted System Model for Epistemic Logics.
AnalogySpace: Reducing the Dimensionality of Common Sense Knowledge.
Factored Models for Probabilistic Modal Logic.
A Scalable Jointree Algorithm for Diagnosability.
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
A Semantic Approach for Iterated Revision in Possibilistic Logic.
New Compilation Languages Based on Structured Decomposability.
An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
A First-Order Theory of Stanislavskian Scene Analysis.
Minimal Contraction of Preference Relations.
A Formalization of Program Debugging in the Situation Calculus.
Abductive Logic Programming by Nonground Rewrite Systems.
A Reductive Semantics for Counting and Choice in Answer Set Programming.
Horn Complements: Towards Horn-to-Horn Belief Revision.
Nonmonotonic Modes of Inference.
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic.
A Meta-Programming Technique for Debugging Answer-Set Programs.
Extending the Knowledge Compilation Map: Krom, Horn, Affine and Beyond.
Efficient Haplotype Inference with Answer Set Programming.
Parallel Belief Revision.
Manifold Integration with Markov Random Walks.
Credulous Resolution for Answer Set Programming.
Prime Implicate Normal Form for ALC Concepts.
Non-monotonic Temporal Logics that Facilitate Elaboration Tolerant Revision of Goals.
On the Decidability of Role Mappings between Modular Ontologies.
Anytime Local Search for Distributed Constraint Optimization.
Reasoning with Cardinal Directions: An Efficient Algorithm.
Predicting the Performance of IDA* with Conditional Distributions.
Bound Consistency for Binary Length-Lex Set Constraints.
A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem.
Backdoor Trees.
Learning from Multiple Heuristics.
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving.
R* Search.
Exploiting Causal Independence Using Weighted Model Counting.
Online Learning with Expert Advice and Finite-Horizon Constraints.
H-DPOP: Using Hard Constraints for Search Space Pruning in DCOP.
Minimizing Disk I/O in Two-Bit Breadth-First Search.
Efficient Context-Free Grammar Constraints.
On the Power of Top-Down Branching Heuristics.
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
Piecewise Linear Dynamic Programming for Constrained POMDPs.
Clause Learning Can Effectively P-Simulate General Propositional Resolution.
On Range of Skill.
Studies in Solution Sampling.
Phase Transitions and Complexity of Weighted Satisfiability and Other Intractable Parameterized Problems.
Simulation-Based Approach to General Game Playing.
Virtual Arc Consistency for Weighted CSP.
Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT.
Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search.
The Parameterized Complexity of Global Constraints.
A New Incomplete Method for CSP Inconsistency Checking.
Measuring the Hardness of SAT Instances.
Manipulating the Quota in Weighted Voting Games.
Value-Based Policy Teaching with Active Indirect Elicitation.
Voting on Multiattribute Domains with Cyclic Preferential Dependencies.
Determining Possible and Necessary Winners under Common Voting Rules Given Partial Orders.
Optimal False-Name-Proof Voting Rules with Costly Voting.
Bidding Strategies for Realistic Multi-Unit Sealed-Bid Auctions.
Semantical Considerations on Dialectical and Practical Commitments.
Mathematical Modeling and Convergence Analysis of Trail Formation.
Partially Synchronized DEC-MDPs in Dynamic Mechanism Design.
Coalition Structure Generation: Dynamic Programming Meets Anytime Optimization.
Pareto Optimality in Abstract Argumentation.
Coordination and Multi-Tasking Using EMT.
The Impact of Vertical Specialization on Hierarchical Multi-Agent Systems.
Argument Theory Change Applied to Defeasible Logic Programming.
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions.
Resource Constrained Distributed Constraint Optimization with Virtual Variables.
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems.
An Expressive Auction Design for Online Display Advertising.
Agent Coordination with Regret Clearing.
Bayesian Coalitional Games.
Reasoning about the Appropriateness of Proponents for Arguments.
Agent Organized Networks Redux.
First-Order Algorithm with O(ln(1/e)) Convergence for e-Equilibrium in Two-Person Zero-Sum Games.
On the Dimensionality of Voting Games.
Generalized Point Based Value Iteration for Interactive POMDPs.
Achieving Cooperation in a Minimally Constrained Environment.
Efficient Metadeliberation Auctions.
Approximability of Manipulating Elections.
A Computational Analysis of the Tournament Equilibrium Set.
Expressive Banner Ad Auctions and Model-Based Online Optimization for Clearing.
Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality.
A Theory of Expressiveness in Mechanisms.
Physical Search Problems Applying Economic Search Models.
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance.