aaai 2002 论文列表
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada.
|
Most Informative Dimension Reduction.
Perspectives on Artificial Intelligence Planning.
CAUI Demonstration Composing Music Based on Human Feelings.
Fuzzy Neural Networks in a Palm Environment.
Multi-ViewPoint Clustering Analysis (MVP-CA) Tool.
UTTSExam: A University Examination Timetable Scheduler.
FlexBot, Groo, Patton and Hamlet: Research Using Computer Games as a Platform.
An Automated Negotiator for an International Crisis.
SpeechWeb: A Web of Natural-Language Speech Applications.
Research Applications of the MAGNET Multi-Agent Contracting Testbed.
JYAG & IDEY: A Template-Based Generator and Its Authoring Tool.
Disciple-RKF/COG: Agent Teaching by Subject Matter Experts.
A Dialogue System with Digression Handling-An Ontology-Based Approach.
A Reputation-Oriented Reinforcement Learning Approach for Agents in Electronic Marketplaces.
Generating Trading Agent Strategies.
Distributed Constraint Optimization and Its Application to Multiagent Resource Allocation.
Organizations of Self-Interested Agents.
Generalized Features: Their Application to Classification.
An Agent Approach to Security in Pervasive Environments.
A Bayesian Metareasoner for Algorithm Selection for Real-Time Bayesian Network Inference Problems.
Combining Inference and Search for the Propositional Satisfiability Problem.
Dynamic Bayesian Networks for Automatic Speech Recognition.
Learning in Open-Ended Dynamic Distributed Environments.
Efficient Modeling of Temporally Variable User Properties with Dynamic Bayesian Networks.
Decision-Theoretic Planning for Intelligent User Interfaces.
Multiple Sequence Alignment Using Anytime A*.
Incrementally Solving Functional Constraints.
Consistency and Set Intersection.
An Extended Alternating-Offers Bargaining Protocol for Automated Negotiation in Multi-Agent Systems.
Student Modeling for a Web-Based Learning Environment: A Data Mining Approach.
Optimizing Parameter Learning Using Temporal Differences.
BN-Tools: A Software Toolkit for Experimentation in BBNs.
Multi-Player Game Approach to Solving Multi-Entity Problems.
Localizing while Mapping: A Segment Approach.
MAKEBELIEVE: Using Commonsense Knowledge to Generate Stories.
Analogical Inference over a Common Sense Database.
A Model Checker for Verifying ConGolog Programs.
A Genetic Algorithm for Tuning Variable Orderings in Bayesian Network Structure Learning.
Fuzzy Numbers for the Improvement of Causal Knowledge Representation in Fuzzy Cognitive Maps.
Mixed-Initiative Exception-Based Learning for Knowledge Base Refinement.
Toward a Framework for Assembling Broken Pottery Vessels.
Multiple Instance Learning with Generalized Support Vector Machines.
The 2001 Trading Agent Competition.
A Web-Based Ontology Browsing and Editing System.
Computational Vulnerability Analysis for Information Survivability.
Intelligent Control of Auxiliary Ship Systems.
AI on the Battlefield: An Experimental Exploration.
Knowledge Formation and Dialogue Using the KRAKEN Toolset.
Toward Practical Knowledge-Based Tools for Battle Planning and Scheduling.
Applying Perceptually Driven Cognitive Mapping to Virtual Urban Environments.
An Analogy Ontology for Integrating Analogical Processing and First-Principles Reasoning.
WhyNot: Debugging Failed Queries in Large Knowledge Bases.
Getting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel.
Development and Deployment of a Disciple Agent for Center of Gravity Analysis.
A Structure Based Configuration Tool: Drive Solution Designer - DSD.
UTTSExam: A Campus-Wide University Exam-Timetabling System.
A Decision-Support System for Quote Generation.
Staff Scheduling for Inbound Call Centers and Customer Contact Centers.
RightNow eService Center: Internet Customer Service Using a Self-Learning Knowledge Base.
MiTAP, Text and Audio Processing for Bio-Security: A Case Study.
Stochastic Link and Group Detection.
Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.
A Maximum Entropy Approach to Information Extraction from Semi-Structured and Free Text.
The OD Theory of TOD: The Use and Limits of Temporal Information for Object Discovery.
Recognizing Multitasked Activities from Video Using Stochastic Context-Free Grammar.
Detection and Classification of Motion Boundaries.
An Average-Case Analysis of Graph Search.
On Preference-Based Search in State Space Graphs.
PROMPTDIFF: A Fixed-Point Algorithm for Comparing Ontology Versions.
Memory-Efficient A* Heuristics for Multiple Sequence Alignment.
A New Algorithm for Optimal Bin Packing.
Optimal Depth-First Strategies for And-Or Trees.
Optimal Schedules for Parallelizing Anytime Algorithms: The Case of Independent Processes.
Multiple-Goal Search Algorithms and their Application to Web Crawling.
Searching for Backbones and Fat: A Limit-Crossing Approach with Applications.
Scheduling Contract Algorithms on Multiple Processors.
The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT.
Easy Predictions for the Easy-Hard-Easy Transition.
Using Weighted MAX-SAT Engines to Solve MPE.
Dynamic Restart Policies.
SetA*: An Efficient BDD-Based Heuristic Search Algorithm.
A Mixture-Model for the Behaviour of SLS Algorithms for SAT.
An Adaptive Noise Mechanism for WalkSAT.
Learning for Quantified Boolean Logic Satisfiability.
Automated Discovery of Composite SAT Variable-Selection Heuristics.
Inference Methods for a Pseudo-Boolean Satisfiability Solver.
A Compiler for Deterministic, Decomposable Negation Normal Form.
Comparing Phase Transitions and Peak Cost in PP-Complete Satisfiability Problems.
Enhancing Davis Putnam with Extended Binary Clause Reasoning.
CD*: A Real-Time Resolution Optimal Re-Planner for Globally Constrained Problems.
Watch Their Moves: Applying Probabilistic Multiple Object Tracking to Autonomous Robot Soccer.
FastSLAM: A Factored Solution to the Simultaneous Localization and Mapping Problem.
Experiences with a Mobile Robotic Guide for the Elderly.
Robust Global Localization Using Clustered Particle Filtering.
A New Characterization of the Experimental Implications of Causal Bayesian Networks.
A General Identification Condition for Causal Effects.
Accuracy vs. Efficiency Trade-offs in Probabilistic Diagnosis.
Tree Approximation for Belief Updating.
Strategies for Determining Causes of Events.
A Distance Measure for Bounding Probabilistic Belief Change.
A Graphical Criterion for the Identification of Causal Effects in Linear Models.
Visual Exploration and Incremental Utility Elicitation.
Non-Markovian Control in the Situation Calculus.
A Method for Metric Temporal Reasoning.
Reasoning about Actions in a Probabilistic Setting.
A Logical Measure of Progress for Planning.
Iterative-Refinement for Action Timing Discretization.
Speeding Up the Calculation of Heuristics for Heuristic Search-Based Planning.
D*Lite.
Algorithms for a Temporal Decoupling Problem in Multi-Agent Planning.
Plan Evaluation with Incomplete Action Descriptions.
Symbolic Heuristic Search for Factored Markov Decision Processes.
Planning with a Language for Extended Goals.
Towards CST-Enhanced Summarization.
Exploiting Auditory Fovea in Humanoid-Human Interaction.
CobotDS: A Spoken Dialogue System for Chat.
Language Modeling for Soft Keyboards.
Learning Pattern Rules for Chinese Named Entity Extraction.
Competitive Safety Analysis.
Dispersion Games: General Definitions and Some Specific Learning Results.
Vote Elicitation: Complexity and Strategy-Proofness.
Structural Leverage and Fictitious Play in Sequential Auctions.
Truthful Approximation Mechanisms for Restricted Combinatorial Auctions.
Bidding Clubs in First-Price Auctions.
Partial-Revelation VCG Mechanism for Combinatorial Auctions.
Solving Concisely Expressed Combinatorial Auction Problems.
Distributed Breakout Revisited.
Multi-Agent Algorithms for Solving Graphical Games.
(Im)possibility of Safe Exchange Mechanism Design.
The Design of Collectives of Agents to Control Non-Markovian Systems.
Reinforcement Learning of Coordination in Cooperative Multi-Agent Systems.
A Logic-Based Model of Intentions for Multi-Agent Subcontracting.
Complexity of Manipulating Elections with Few Candidates.
Value Iteration Working with Belief Subset.
Bayesian Networks for Speech and Image Integration.
Piecewise Linear Value Function Approximation for Factored MDPs.
Greedy Linear Value-Approximation for Factored Markov Decision Processes.
Efficient Utility Functions for Ceteris Paribus Preferences.
On Policy Iteration as a Newton s Method and Polynomial Policy Iteration Algorithms.
The Size of MDP Factored Policies.
Nearly Deterministic Abstractions of Markov Decision Processes.
Context-Specific Multiagent Coordination and Planning with Factored MDPs.
Segmenting Time Series with a Hybrid Neural Networks - Hidden Markov Model.
A POMDP Formulation of Preference Elicitation Problems.
Hierarchical Latent Class Models for Cluster Analysis.
Extended Isomap for Pattern Classification.
Rule-Based Anomaly Pattern Detection for Detecting Disease Outbreaks.
Constrained Formulations and Algorithms for Stock-Price Predictions Using Recurrent FIR Neural Networks.
Polynomial-Time Reinforcement Learning of Near-Optimal Policies.
Reinforcement Learning for POMDPs Based on Action Values and Stochastic Optimization.
Constructive Adaptive User Interfaces - Composing Music Based on Human Feelings.
Content-Boosted Collaborative Filtering for Improved Recommendations.
Minimum Majority Classification and Boosting.
Bootstrap Learning for Place Recognition.
Structural Extension to Logistic Regression: Discriminative Parameter Learning of Belief Net Classifiers.
Learning Temporal, Relational, Force-Dynamic Event Definitions from Video.
Specific-to-General Learning for Temporal Events.
Pruning and Dynamic Scheduling of Cost-Sensitive Ensembles.
Progressive Rademacher Sampling.
Data Perturbation for Escaping Local Maxima in Learning.
Contentful Mental States for Robot Baby.
State Abstraction for Programmable Reinforcement Learning Agents.
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.
A Three-Valued Characterization for Strong Equivalence of Logic Programs.
Logic Programming with Ordered Disjunction.
Cluster Ensembles A Knowledge Reuse Framework for Combining Partitionings.
A Regression Based Adaptation Strategy for Case-Based Reasoning.
Representing and Reasoning about Mappings between Domain Models.
A Hoare-Style Proof System for Robot Programs.
Measuring Inconsistency in Knowledge via Quasi-Classical Models.
On Computing all Abductive Explanations.
Model Induction: A New Source of CSP Model Redundancy.
Node and Arc Consistency in Weighted CSP.
Human-Guided Tabu Search.
Preference-Based Search and Multi-Criteria Optimization.
Reducing Search Space in Local Search for Constraint Satisfaction.
Graph Coloring with Quantum Heuristics.
Generating Random Solutions for Constraint Satisfaction Problems.
Integrating Local Search and Network Flow to Solve the Inventory Routing Problem.
The Yard Allocation Problem.
