Reasoning About Physical Systems

Diagnosis

Characterizing Non-Intermittent Faults
Olivier Raiman, Johan de Kleer, Vijay Saraswat, Mark Shirley
PDF
Domain Structure and the Complexity of Diagnostic Problem Solving
Thomas D. Wu
PDF
Focusing on Probable Diagnoses
Johan de Kleer
PDF
Model-Based Reconfiguration: Toward an Integration with Diagnosis
Judith Crow, John Rushby
PDF

Tractable Inference

Knowledge Compilation Using Horn Approximations
Bart Selman, Henry Kautz
PDF
Natural Language Based Inference Procedures Applied to Schubert’s Steamroller
Robert Givan, David McAllester, Sameer Shalaby
PDF
Negation and Proof by Contradiction in Access-Limited Logic
J. M. Crawford, B. J. Kuipers
PDF
Observations on Cognitive Judgments
David McAllester
PDF

Qualitative Analysis

Analytic Solution of Qualitative Differential Equations
Philip Schaefer
PDF
Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis
Toyoaki Nishida, Kenji Mizutani, Atsushi Kubota, Shuji Doshita
PDF
Qualitative Analysis of Causal Feedback
Philippe Rose, Mark A. Kramer
PDF
The Qualitative Difference Resolution Rule
Tom Bylander
PDF

Aggregation and Geometric Reasoning

Behavioral Aggregation Within Complex Situations: A Case Study Involving Dynamic Equilibria
Shankar A. Rajamoney, Sang Hoe Koo
PDF
Geometric Reasoning for Shape Design
George Turkiyyah, Omar Ghattas
PDF
Incremental Configuration Space Construction for Mechanism Analysis
Leo Joskowicz, Elisha Sacks
PDF
Structural Aggregation in Common-Sense Reasoning
Zheng-Yang Liu, Arthur M. Farley
PDF
The Use of Intelligently Controlled Simulation to Predict a Machine’s Long-Term Behavior
Andrew Gelsey
PDF