References
- Anderson, D.J.; Sweeney, D.J.; and Williams, T.A. An Introduction to Management Science: Quantitative Approaches to Decision Making. St. Paul, MN: West Publishing, 1988.
- Barrow, H.G. VERIFY: a program for proving correctness of digital hardware design. Artificial Intelligence, 24 (December 1984), 437–491.
- Binbasioglu, M., and Jarke. M. Domain-specific DSS tools for knowledge-based model building. Decision Support Systems, 2 (June-July 1986), 213–223.
- Blanning, R.; Whinston, A.; Holsapple, J.M.; Kimbrough, S.O.; and Prietula, M. Model management systems. In E.A. Stohr and B.R. Konsynski (eds.), Information Systems and Decision Processes. New York: Academic Press, 1992.
- Bobrow, D.G. Qualitative Reasoning about Physical Systems. Cambridge, MA: MIT Press, 1985.
- De Kleer, J. How circuits work. Artificial Intelligence, 24 (December 1984), 205–280.
- Dhar, V. Using knowledge generated in heuristic search for non-chronological backtracking. Computational Intelligence, 2 (1986), 151–158.
- Doyle, J. A truth maintenance system. Artificial Intelligence, 12 (1979), 231–272.
- Genesereth, M.R. The use of design principles in automated diagnosis. Artificial Intelligence, 24 (December 1984), 411–437.
- Geoffrion, A.M. An introduction to structured modeling. Management Science, 33 (1987), 547–588.
- Geoffrion, A.M. Integrated modeling systems. Computer Science in Economics and Management, 2 (1989), 3–15.
- Greenberg, H.J. A functional description of ANALYZE: a computer-assisted analysis system for linear programming models. A CM Transactions on Mathematical Software, 9 (1983), 18–56.
- Greenberg, H.J., and Murphy, F.H. Approaches to diagnosing infeasible linear programs. ORSA Journal on Computing, 3 (Summer 1991), 180–201.
- Karwan, M.H.; Lofti, V.; Telgen, J.; and Zionts, S. Redundancy in Mathematical Programming: A State of the Art Survey. Berlin: Springer Verlag, 1983.
- Kendrick D., and Meeraus, A. GAMS: An Introduction. Palo Alto, CA: The Scientific Press, 1987.
- Krishnan, R. Automated model construction: a logic based approach. Annals of Operations Research, 21 (1989), 195–226.
- Kuipers, B. Commonsense reasoning about causality: deriving behavior from structure. Artificial Intelligence, 24 (December 1984), 169–205.
- Lodwick, W.A. The use of interval arithmetic in uncovering the structure of linear systems. In R.E. Moore (ed.), Reliability in Computing. London: Academic Press, 1988.
- Neumaier, I. Interval Methods for Systems of Equations. Cambridge: Cambridge University Press, 1990.
- Murphy, F., and Stohr, E. An intelligent system for formulating linear programs. Decision Support Systems, 2 (June-July 1986), 39–47.
- Raghunathan, S.; Krishnan, R.; and May, J. On using belief maintenance systems to assist mathematical modeling. Working Paper, AI in Management Laboratory, Joseph M Katz Graduate School of Business, University of Pittsburgh, 1991.
- Raghunathan, S.; Krishnan, R.; and May, J. MODFORM: a knowledge based tool to support the modeling process. Information Systems Research, 4 (December 1993), 331–358.
- Schrage, L. Linear, Integer, and Quadratic Programming with LINDO. Palo Alto, CA: Scientific Press, 1984.
- Simmons, R. Commonsense arithmetic reasoning. Proceedings of the National Conference on Artificial Intelligence, Philadelphia, PA (1986), pp. 118–124.
- Vinze, A.; Sen, A.; and Liou, S.F.T. AEROBA: a blackboard approach to model formulation, Proceedings of Hawaii International Conference on System Sciences, vol. 3, January 1992, pp. 551–564.
- Weld, D.S., and de Kleer, J. Readings in Qualitative Reasoning about Physical Systems. Palo Alto, CA: Morgan Kaufmann, 1988.