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

last updated on Sat May 18 05:47:00 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page