References

1

Crawford, J. M., Farquhar, A. and Kuipers, B. QPC: A compiler from physical models into qualitative differential equations. Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, MA, August, 1990.

2

de Kleer, J. and J.S. Brown. A Qualitative Physics Based on Confluences. Artificial Intelligence, 24, 7-83, 1984.

3

Falkenhainer, B. and Forbus, K. Compositional modeling: Finding the right model for the job. Artificial Intelligence, 51(1-3), 95-143, October, 1991.

4

Farquhar, A. Automated Modeling of Physical Systems in the Presence of Incomplete Knowledge. Ph.D. Thesis available as technical report UT-AI-93-207. University of Texas, May, 1993.

5

Forbus, K. Qualitative Process theory. Artificial Intelligence, 24, 85-168, 1984.

6

Genesereth, M. R. and Fikes, R. E. Knowledge Interchange Format, Version 3.0, Reference Manual. Logic group report Logic-92-1, Computer Science Department, Stanford University, June, 1992.

7

Iwasaki, Y. and Low, C.M. Model generation and simulation of device behavior with continuous and discrete changes. Knowledge Systems Laboratory KSL 91-69, Stanford University, 1991.

8

Kuipers, B. Qualitative Simulation. Artificial Intelligence, 29, 289-338, 1986.

9

Nado, B., Van Baalen, J, Fikes, R. JOSIE: An integration of specialized representation and reasoning tools. Working notes. AAAI Spring Symposium Series. March, 1991.

10

Spiby, P. (Ed.) EXPRESS language reference manual. ISO TC184/SC4/WG5 Document N14, April 1991.

11

Steele, G. L, Jr. Common Lisp: The Language (second edition), Digital Press, 1990.

12

Genesereth M. R., Nilsson, N. Logical foundations of artificial intelligence. Morgan Kaufmann, 1987.