Automated Reasoning
Theorem Proving
Automatic Programming
Constraints
Planning
Reasoning about Action Using a Possible Models Approach
PDFA Theory of Debugging Plans and Interpretations
PDFPlan Abstraction Based on Operator Generalization
PDFGeometric Reasoning and Organized Optimization for Automated Process Planning
PDFPrevention Techniques for a Temporal Planner
PDFAn Analysis of Time-Dependent Planning
PDFExtending Conventional Planning Techniques to Handle Actions with Context-Dependent Effects
PDFGoals as Parallel Program Specifications
PDFPredictability Versus Responsiveness: Coordinating Problem Solvers in Dynamic Domains
PDFIntelligent Real-Time Monitoring
PDFReactive Plan Revision
PDFIntegrating Planning, Execution and Monitoring
PDF
Rule-Based Reasoning
Search
A Rearrangement Search Strategy for Determining Propositional Satisfiability
PDFParallel Best-First Search of State-Space Graphs: A Summary of Results
PDFDistributed Tree Search and Its Application to Alpha-Beta Pruning
PDFSome Experiments with Case-Based Search
PDFReal-Time Heuristic Search: New Results
PDFAn Exact Best-First Search Procedure for the Constrained Rectangular Guillotine Knapsack Problem
PDFTree-Clustering Schemes for Constraint-Processing
PDF