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
Copyright © Mon Nov 30 20:23:13 2009
by Michael Ley (ley@uni-trier.de)
