Artificial Intelligence, Volume 24

Volume 24, Numbers 1-3, December, 1984

• Daniel G. Bobrow: Qualitative Reasoning about Physical Systems: An Introduction. 1-5
• Johan de Kleer, John Seely Brown: A Qualitative Physics Based on Confluences. 7-83
• Kenneth D. Forbus: Qualitative Process Theory. 85-168
• Benjamin Kuipers: Commonsense Reasoning about Causality: Deriving Behavior from Structure. 169-203
• Johan de Kleer: How Circuits Work. 205-280
• Brian C. Williams: Qualitative Analysis of MOS Circuits. 281-346
• Randall Davis: Diagnostic Reasoning Based on Structure and Behavior. 347-410
• Michael R. Genesereth: The Use of Design Descriptions in Automated Diagnosis. 411-436
• Harry G. Barrow: VERIFY: A Program for Proving Correctness of Digital Hardware Designs. 437-491