Reasoning About Physical Systems
Diagnosis
Tractable Inference
Qualitative Analysis
Aggregation and Geometric Reasoning
Behavioral Aggregation Within Complex Situations: A Case Study Involving Dynamic Equilibria
PDFGeometric Reasoning for Shape Design
PDFIncremental Configuration Space Construction for Mechanism Analysis
PDFStructural Aggregation in Common-Sense Reasoning
PDFThe Use of Intelligently Controlled Simulation to Predict a Machine’s Long-Term Behavior
PDF