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