\begin{thebibliography}{10}

\bibitem{Binger+Hoffman:1998}
B.R. Binger and E.~Hoffman.
\newblock {\em Microeconomics with Calculus}.
\newblock Longman, 1998.

\bibitem{Bistarelli+Montanari+Rossi:1997}
S.~Bistarelli, U.~Montanari, and F.~Rossi.
\newblock Semiring-based constraint satisfaction and optimization.
\newblock {\em Journal of the {ACM}}, 44(2):201--236, 1997.

\bibitem{BobrowEtAl:1996}
D.~Bobrow, B.~Falkenhainer, A.~Farquhar, R.~Fikes, K.D. Forbus, T.R. Gruber,
  Y.~Iwasaki, and B.J. Kuipers.
\newblock A compositional modeling language.
\newblock In {\em Proceedings of the 10th International Workshop on Qualitative
  Reasoning about Physical Systems}, pages 12--21, 1996.

\bibitem{Bradley+Easley+Stolle:2001}
E.~Bradley, M.~Easley, and R.~Stolle.
\newblock Reasoning about nonlinear system identification.
\newblock {\em Artificial Intelligence}, 133:139--188, 2001.

\bibitem{Dague:1993b}
P.~Dague.
\newblock Numeric reasoning with relative orders of magnitude.
\newblock In {\em Proceedings of the National Conference on Artificial
  Intelligence}, pages 541--547, 1993.

\bibitem{Dague:1993a}
P.~Dague.
\newblock Symbolic reasoning with relative orders of magnitude.
\newblock In {\em Proceedings of the 13th International Joint Conference on
  Artificial Intelligence}, pages 1509--1514, 1993.

\bibitem{deKleer:1986a}
J.~de~Kleer.
\newblock An assumption-based {TMS}.
\newblock {\em Artificial Intelligence}, 28:127--162, 1986.

\bibitem{deKleer:1988}
J.~de~Kleer.
\newblock A general labeling algorithm for assumption-based truth maintenance.
\newblock In {\em Proceedings of the 7th National Conference on Artificial
  Intelligence}, pages 188--192, 1988.

\bibitem{Easley+Bradley:1999}
M.~Easley and E.~Bradley.
\newblock Generalized physical networks for automated model building.
\newblock In {\em Proceedings of the 16th International Joint Conference on
  Artificial Intelligence}, pages 1047--1053, 1999.

\bibitem{Falkenhainer+Forbus:1991}
B.~Falkenhainer and K.~Forbus.
\newblock Compositional modeling: finding the right model for the job.
\newblock {\em Artificial Intelligence}, 51:95--143, 1991.

\bibitem{Ford:1999}
A.~Ford.
\newblock {\em Modeling the Environment - An Introduction to System Dynamics
  Modeling of Environmental Systems}.
\newblock Island Press, 1999.

\bibitem{Forrester:1968}
J.W. Forrester.
\newblock {\em Principles of Systems}.
\newblock Wright-Allen Press, Cambridge, MA, USA, 1968.

\bibitem{Hart+Nilsson+Raphael:1968}
P.E. Hart, N.I. Nilsson, and B.~Raphael.
\newblock A formal basis for the heuristic determination of minimal cost paths.
\newblock {\em {IEEE} Transactions on Systems, Science and Cybernetics},
  {SSC}-4(2):100--107, 1968.

\bibitem{Heller+Struss:1998}
U.~Heller and P.~Struss.
\newblock Diagnosis and therapy recognition for ecosystems - usage of
  model-based diagnosis techniques.
\newblock In {\em Proceedings of the 12th International Symposium "Computer
  Science for Environment Protection"}, 1998.

\bibitem{Heller+Struss:2001}
U.~Heller and P.~Struss.
\newblock Transformation of qualitative dynamic models - application in
  hydro-ecology.
\newblock In L.~Hotz, P.~Struss, and T.~Guckenbienl, editors, {\em Intelligent
  Diagnosis in Industrial Applications}, pages 95--106. Shaker Verlag, 2001.

\bibitem{Holling:1959}
C.S. Holling.
\newblock Some characteristics of simple types of predation and parasitism.
\newblock {\em Canadian Entomologist}, 91:385--398, 1959.

\bibitem{Karnopp+Margolis+Rosenberg:1990}
D.C. Karnopp, D.L. Margolis, and R.C. Rosenberg.
\newblock {\em System Dynamics: A United Approach}.
\newblock John Wiley \& Sons, Inc, second edition edition, 1990.

\bibitem{Keppens:2002}
J.~Keppens.
\newblock {\em Compositional Ecological Modelling via Dynamic Constraint
  Satisfaction with Order-of-Magnitude Preferences}.
\newblock PhD thesis, The University of Edinburgh, 2002.

\bibitem{Keppens+Shen:2001b}
J.~Keppens and Q.~Shen.
\newblock Disaggregation in compositional modelling of ecological systems via
  dynamic constraint satisfaction.
\newblock In {\em Proceedings of the 15th International Workshop on Qualitative
  Reasoning about Physical Systems}, pages 21--28, 2001.

\bibitem{Keppens+Shen:2001a}
J.~Keppens and Q.~Shen.
\newblock On compositional modelling.
\newblock {\em Knowledge Engineering Review}, 16(2):157--200, 2001.

\bibitem{Keppens+Shen:2002a}
J.~Keppens and Q.~Shen.
\newblock On supporting dynamic constraint satisfaction with order of magnitude
  preferences.
\newblock In {\em Proceedings of the 16th International Workshop on Qualitative
  Reasoning about Physical Systems}, pages 75--82, 2002.

\bibitem{LangleyEtAl:2002}
P.~Langley, J.~Sanchez, L.~Todorovski, and S.~D\u{z}eroski.
\newblock Inducing process models from continuous data.
\newblock In {\em Proceedings of the 19th International Conference on Machine
  Learning}, pages 347--354, 2002.

\bibitem{Legg+Muetzelfeldt+Heathfield:1995}
C.J. Legg, R.I. Muetzelfeldt, and D.N. Heathfield.
\newblock Modelling vegetation dynamics in mediterranean ecosystems: Issues of
  scale.
\newblock In {\em Proceedings of the 39th Symposium of the International
  Association for Vegetation Science}, 1995.

\bibitem{Levy+Iwasaki+Fikes:1997}
A.Y. Levy, Y.~Iwasaki, and R.~Fikes.
\newblock Automated model selection for simulation based on relevance
  reasoning.
\newblock {\em Artificial Intelligence}, 96:351--394, 1997.

\bibitem{Lotka:1925}
A.J. Lotka.
\newblock {\em Elements of physical biology}.
\newblock Williams \& Wilkins Co., Baltimore, 1925.

\bibitem{Malthus:1798}
T.R. Malthus.
\newblock An essay on the principle of population.
\newblock Printed for J. Johnson in St. Paul's Church Yard, London, England,
  1798.

\bibitem{Miguel+Shen:1999b}
I.~Miguel and Q.~Shen.
\newblock Hard, flexible and dynamic constraint satisfaction.
\newblock {\em Knowledge Engineering Review}, 14(3):199--220, 1999.

\bibitem{Miguel+Shen:2001b}
I.~Miguel and Q.~Shen.
\newblock Solution techniques for constraint satisfaction problems: Advanced
  approaches.
\newblock {\em Artificial Intelligence Review}, 15(4):269--293, 2001.

\bibitem{Miguel+Shen:2001a}
I.~Miguel and Q.~Shen.
\newblock Solution techniques for constraint satisfaction problems:
  Foundations.
\newblock {\em Artificial Intelligence Review}, 15(4):243--267, 2001.

\bibitem{MintonEtAl:1992}
S.~Minton, M.D. Johnston, A.B. Philips, and P.~Laird.
\newblock Minimizing conflicts: A heuristic repair method for constraint
  satisfaction and scheduling problems.
\newblock {\em Artificial Intelligence}, 58:161--205, 1992.

\bibitem{Mittal+Falkenhainer:1990}
S.~Mittal and B.~Falkenhainer.
\newblock Dynamic constraint satisfaction problems.
\newblock In {\em Proceedings of the 8th National Conference on Artificial
  Intelligence}, pages 25--32, 1990.

\bibitem{Nayak+Joskowicz:1996}
P.P. Nayak and L.~Joskowicz.
\newblock Efficient compositional modeling for generating causal explanations.
\newblock {\em Artificial Intelligence}, 83:193--227, 1996.

\bibitem{Nicholson+Bailey:1935}
A.J. Nicholson and V.A. Bailey.
\newblock The balance of animal populations.
\newblock {\em Proceedings of the Zoological Society of London}, 1:551--598,
  1935.

\bibitem{Raphael:1990}
B.~Raphael.
\newblock {A*} algorithm.
\newblock In {Shapiro, S.C.}, editor, {\em Encyclopedia of Artificial
  Intelligence}, volume~1, pages 1--3. John Wiley \& Sons, 1990.

\bibitem{Rickel+Porter:1997}
J.~Rickel and B.~Porter.
\newblock Automated modeling of complex systems to answer prediction questions.
\newblock {\em Artificial Intelligence}, 93:201--260, 1997.

\bibitem{Rogers:1972}
D.J. Rogers.
\newblock Random search and insect population models.
\newblock {\em Journal of Animal Ecology}, 41:369--383, 1972.

\bibitem{Schiex+Fargier+Verfaillie:1995}
T.~Schiex, H.~Fargier, and G.~Verfaillie.
\newblock Valued constraint satisfaction problems: Hard and easy problems.
\newblock In {\em Proceedings of the 14th International Joint Conference on
  Artificial Intelligence}, pages 631--637, 1995.

\bibitem{Thompson:1929}
W.R. Thompson.
\newblock On the relative value of parasites and predators in the biological
  control of insect pests.
\newblock {\em Bull. Etnomol. Res.}, 19:343--350, 1929.

\bibitem{Todorovski+Dzeroski:1997}
L.~Todorovski and S.~D\u{z}eroski.
\newblock Declarative bias in equation discovery.
\newblock In {\em Proceedings of the 14th International Conference on Machine
  Learning}, pages 432--439, 1997.

\bibitem{Todorovski+Dzeroski:2001}
L.~Todorovski and S.~D\u{z}eroski.
\newblock Using domain knowledge on population dynamics modeling for equation
  discovery.
\newblock In {\em Proceedings of the 12th European Conference on Machine
  Learning}, pages 478--490, 2001.

\bibitem{Tsang:1993}
E.~Tsang.
\newblock {\em Foundations of Constraint Satisfaction}.
\newblock Academic Press, London and San Diego, 1993.

\bibitem{Verfaillie+Schiex:1994}
G.~Verfaillie and T.~Schiex.
\newblock Solution reuse in dynamic constraint satisfaction problems.
\newblock In {\em Proceedings of the 12th National Conference on Artificial
  Intelligence}, pages 307--312, 1994.

\bibitem{Verhulst:1838}
P.~Verhulst.
\newblock Recherches math\'{e}matiques sur la loi d'accroissement de la
  population.
\newblock {\em Nouveaux m\'{e}moires de l'acad\'{e}mie royale des sciences et
  belles-lettres de Bruxelles}, 18:1--38, 1838.

\bibitem{Volterra:1926}
V.~Volterra.
\newblock Fluctuations in the abundance of a species considered mathematically.
\newblock {\em Nature}, 118:558--560, 1926.

\end{thebibliography}
