Volume 51, Numbers 1-3, 1991

• 
  Brian C. Williams, Johan de Kleer: Qualitative Reasoning about Physical Systems: A Return to Roots. 1-9
• 
  Olivier Raiman: Order of Magnitude Reasoning. 11-38
• 
  Brian C. Williams: A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning. 39-94
• 
  Brian Falkenhainer, Kenneth D. Forbus: Compositional Modeling: Finding the Right Model for the Job. 95-143
• 
  Sanjaya Addanki, Roberto Cremonini, J. Scott Penberthy: Graphs of Models. 145-177
• 
  Kenneth Man-kam Yip: Understanding Complex Dynamics by Visual and Symbolic Reasoning. 179-221
• 
  Walter Hamscher: Modeling Digital Circuits for Troubleshooting. 223-271
• 
  Dennis DeCoste: Dynamic Across-Time Measurement Interpretation. 273-341
• 
  Benjamin Kuipers, Charles Chiu, David T. Dalle Molle, D. R. Throop: Higher Order Derivative Constraints in Qualitative Simulation. 343-379
• 
  Leo Joskowicz, Elisha Sacks: Computational Kinematics. 381-416
• 
  Kenneth D. Forbus, Paul Nielsen, Boi Faltings: Qualitative Spatial Reasoning: The Clock Project. 417-471

last updated on Tue May 21 02:37:35 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page