Artificial Intelligence, Volume 24

Volume 24, Numbers 1-3, December, 1984

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