A bibliography for the development of an Intelligent Mathematical Programming System

The purpose of this paper is to provide references in the rapidly growing area of intelligent environments for modeling and analysis, particularly for the development and use of decision support systems couched in mathematical programming. This is the focus of the project to develop anIntelligent Mathematical Programming System (IMPS). One way to divide the project's scope is: formulation, analysis and discourse. There are, however, interdependent components that pertain to model management, software engineering, learning models, and other elements taken from a variety of disciplines.

[1]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[2]  Lawrence F. Young.  Knowledge-based systems for idea processing support , 1991, DATB.

[3]  J. Telgen.  Minimal representation of convex polyhedral sets , 1982 .

[4]  Paul S. Barth.  An object-oriented approach to graphical interfaces , 1986, TOGS.

[5]  R. Nance,et al.  The methodology roles in the realization of a model development environment , 1988, 1988 Winter Simulation Conference Proceedings.

[6]  Harvey J. Greenberg,et al.  Rectangular Matrices and Signed Graphs , 1983 .

[7]  Arthur M. Geoffrion,et al.  The SML Language for Structured Modeling: Levels 3 and 4 , 1992, Oper. Res..

[8]  R. C. Daniel,et al.  LP-MODEL:XPRESS-LP's Model Builder , 1986 .

[9]  P. Fayers,et al.  The Visual Display of Quantitative Information , 1990 .

[10]  J. Telgen.  Identifying Redundant Constraints and Implicit Equalities in Systems of Linear Constraints , 1983 .

[11]  Michael Brady,et al.  Computational Models of Discourse , 1983 .

[12]  Charles Stanton Lorens.  Flowgraphs for the modeling and analysis of linear systems , 1964 .

[13]  Jennifer Ryan.  IIS-Hypergraphs , 1996, SIAM J. Discret. Math..

[14]  Ramayya Krishnan.  PDM: a knowledge-based tool for model construction , 1991, Decis. Support Syst..

[15]  B. Jansen,et al.  The theory of linear programming:skew symmetric self-dual problems and the central path * , 1994 .

[16]  Ramayya Krishnan,et al.  Automated model construction: A logic based approach , 1990 .

[17]  Stein W. Wallace,et al.  Feasibility in uncapacitated networks: The effect of individual arcs and nodes , 1996, Ann. Oper. Res..

[18]  Hemant K. Bhargava.  Dimensional Analysis in Mathematical Modeling Systems: A Simple Numerical Method , 1993, INFORMS J. Comput..

[19]  Harvey M. Wagner,et al.  Global Sensitivity Analysis , 1995, Oper. Res..

[20]  Richard E. Nance,et al.  Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications , 1986 .

[21]  Meral Binbasioglu.  Process-based reconstructive approach to model building , 1994, Decis. Support Syst..

[22]  Ellis L. Johnson,et al.  Duality and Pricing in Multiple Right-Hand Choice Linear Programming Problems , 1982, Math. Oper. Res..

[23]  Harvey J. Greenberg,et al.  The ANALYZE rulebase for supporting LP analysis , 1996, Ann. Oper. Res..

[24]  Norbert Hornstein,et al.  Logic as Grammar: An Approach to Meaning in Natural Language , 1986 .

[25]  Gautam Mitra,et al.  Analysis of mathematical programming problems prior to applying the simplex algorithm , 1975, Math. Program..

[26]  Chan S. Park.  Interactive Microcomputer Graphics , 1985 .

[27]  Christopher V. Jones.  Animated sensitivity Analysis , 1992, Computer Science and Operations Research.

[28]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[29]  J. S. Welch,et al.  A pathological case in the reduction of linear programs , 1983 .

[30]  John W. Chinneck,et al.  Localizing and Diagnosing Infeasibilities in Networks , 1996, INFORMS J. Comput..

[31]  Gautam Mitra,et al.  Data and Optimisation Modelling: A Tool for Elicitation and Browsing (DOME) , 1997 .

[32]  Soren S. Nielsen,et al.  A C++ Class Library for Mathematical Programming , 1995 .

[33]  James R. Evans,et al.  DEGENERACY AND THE (MIS)INTERPRETATION OF SENSITIVITY ANALYSIS IN LINEAR PROGRAMMING , 1982 .

[34]  Ike Sagie.  Computer-aided modeling and planning (CAMP) , 1986, TOMS.

[35]  R. E. Wendell.  The Tolerance Approach to Sensitivity Analysis in Linear Programming , 1985 .

[36]  Marjorie A. McClain,et al.  Problem Specification for Linear Programs , 1986 .

[37]  Geoffrey E. Hinton,et al.  Schemata and Sequential Thought Processes in PDP Models , 1986 .

[38]  Daniel R. Dolk,et al.  Model management and structured modeling: the role of an information resource dictionary system , 1988, CACM.

[39]  Roger C. Schank,et al.  SCRIPTS, PLANS, GOALS, AND UNDERSTANDING , 1988 .

[40]  David Kendrick,et al.  GAMS, a user's guide , 1988, SGNM.

[41]  Harvey J. Greenberg,et al.  Intelligent analysis support for linear programs , 1992 .

[42]  Ronald E. Mills,et al.  A Computer Language for Mathematical Program Formulation. , 1977 .

[43]  Takeo Yamada.  Controllability and the theory of economic policy: a structural approach , 1990 .

[44]  Alfred Kobsa,et al.  User Models in Dialog Systems , 1989, Symbolic Computation.

[45]  Mitsuhiko Toda,et al.  Methods for Visual Understanding of Hierarchical System Structures , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[46]  Albert A. Angehrn,et al.  Intelligent Decision Support Systems: A Visual Interactive Approach , 1990 .

[47]  Bruce A. McCarl,et al.  Improving on Shadow Price Information for Identifying Critical Farm Machinery , 1990 .

[48]  T. E. Baker,et al.  Successive Linear Programming at Exxon , 1985 .

[49]  Nikolaos V. Sahinidis,et al.  Reformulation of the Multiperiod MILP Model for Capacity Expansion of Chemical Processes , 1992, Oper. Res..

[50]  Arthur M. Geoffrion.  Indexing in Modeling Languages for Mathematical Programming , 1992 .

[51]  Michael A. Arbib,et al.  From Schema Theory To Language , 1987 .

[52]  G. Maddala,et al.  The Pooling Problem , 1996 .

[53]  Weldon A. Lodwick,et al.  Preprocessing Nonlinear Functional Constraints with Applications to the Pooling Problem , 1992, INFORMS J. Comput..

[54]  P. Samuelson.  Complementarity-An Essay on the 40th Anniversary of the Hicks-Allen Revolution in Demand Theory , 1974 .

[55]  John A. Tomlin,et al.  Formal optimization of some reduced linear programming problems , 1983, Math. Program..

[56]  Gerald G. Brown,et al.  Extracting embedded generalized networks from linear programming problems , 1985, Math. Program..

[57]  Ramayya Krishnan,et al.  MODFORM: A Knowledge-Based Tool to Support the Modeling Process , 1993, Inf. Syst. Res..

[58]  Claude H. Moog,et al.  Model-matching and factorization for nonlinear systems: a structural approach , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[59]  G. Paul Wilhelmij.  Symbolic Software for Interactive Descriptions of Dynamic Systems , 1991 .

[60]  Ramesh Sharda,et al.  Graphical Interfaces for Network Modeling: A Model Management System Perspective , 1993, INFORMS J. Comput..

[61]  Georgios I. Doukidis,et al.  Research into Expert Systems to Aid Simulation Model Formulation , 1985 .

[62]  Gautum Mitra.  Models for decision making: an overview of problems tools and major issues , 1988 .

[63]  Weldon A. Lodwick.  The Use of Interval Arithmetic in Uncovering Structure of Linear Systems**This work was partially supported by the Industrial Consortium to Develop an Intelligent Mathematical Programming System. , 1988 .

[64]  John M. Lucas,et al.  PLANETS: A Modeling System for Business Planning , 1987 .

[65]  Terry Winograd,et al.  Language as a Cognitive Process , 1983, CL.

[66]  George J. Klir,et al.  Reconstructability analysis: Aims, results, open problems , 1985 .

[67]  Ramesh Sharda,et al.  LP modeling languages for personal computers: A comparison , 1993, Ann. Oper. Res..

[68]  Hemant K. Bhargava,et al.  On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend , 1998, INFORMS J. Comput..

[69]  Robert W. Blanning.  Sensitivity analysis in logic-based models , 1987, Decis. Support Syst..

[70]  Donald V. Steward,et al.  The question of determinacy in square systems of equations , 1967 .

[71]  Harvey J. Greenberg,et al.  A comparison of mathematical programming modeling systems , 1992, Ann. Oper. Res..

[72]  Peter Zörnig,et al.  Survey of solved and open problems in the degeneracy phenomenon , 1988, Math. Program..

[73]  Brigitte Jaumard,et al.  A selected artificial intelligence bibliography for operations researchers , 1988 .

[74]  Richard E. Nance.  Model Representation in Discrete Event Simulation: The Conical Methodology , 1981 .

[75]  Edward A. Stohr.  Automated Support for Formulating Linear Programs , 1988 .

[76]  Gautam Mitra,et al.  UIMP: User Interface for Mathematical Programming , 1982, TOMS.

[77]  Daniel R. Dolk.  An introduction to model integration and integrated modeling environments , 1993, Decis. Support Syst..

[78]  Leo Joskowicz,et al.  Practical tools for reasoning about linear constraints , 1991, Fundamenta Informaticae.

[79]  John W. Chinneck,et al.  Analyzing infeasible nonlinear programs , 1995, Comput. Optim. Appl..

[80]  Harvey J. Greenberg,et al.  How to Analyze the Results of Linear Programs-Part 3: Infeasibility Diagnosis , 1993 .

[81]  Themistocles Politof,et al.  Substitutes and complements in network flow problems , 1981, Discret. Appl. Math..

[82]  Jean-Louis Lassez,et al.  Querying constraints , 1990, PODS '90.

[83]  Frieda Granot,et al.  Substitutes, Complements and Ripples in Network Flows , 1985, Math. Oper. Res..

[84]  Bruce A. McCarl,et al.  Validation of Linear Programming Models , 1986, Journal of Agricultural and Applied Economics.

[85]  Joobin Choobineh.  SQLMP: A Data Sublanguage for Representation and Formulation of Linear Mathematical Models , 1991, INFORMS J. Comput..

[86]  H. J. Greenberg,et al.  Graph Theoretic Methods for the Qualitative Analysis of Rectangular Matrices , 1981 .

[87]  Arthur M. Geoffrion,et al.  Knowledge representation using structured modeling , 1988 .

[88]  Thomas L. Magnanti,et al.  Sensitivity Analysis for Variational Inequalities , 1992, Math. Oper. Res..

[89]  Soon-Young Huh.  An object-oriented model management framework for decision support systems , 1992 .

[90]  Ca Lucas,et al.  Modelling of mathematical programs: An analysis of strategy and an outline description of a computer assisted system , 1983 .

[91]  H. Müller-Merbach.  Database-Oriented Design of Planning Models , 1989 .

[92]  Harvey J. Greenberg.  Modeling by Object-Driven Linear Elemental Relations: A User's Guide for MODLER(C) , 1993 .

[93]  Stanley Zionts,et al.  Techniques for Removing Nonbinding Constraints and Extraneous Variables from Linear Programming Problems , 1966 .

[94]  Frieda Granot,et al.  A parametric analysis of a nonlinear asset allocation management model , 1992, Oper. Res. Lett..

[95]  Arthur M. Geoffrion,et al.  The design and implementation of a prototype structured modeling environment , 1992, Ann. Oper. Res..

[96]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[97]  Arthur M. Geoffrion.  Computer-Based Modeling Environments , 1989 .

[98]  Roger J.-B. Wets,et al.  Preprocessing in Stochastic Programming: The Case of Linear Programs , 1992, INFORMS J. Comput..

[99]  I. Grossmann,et al.  Reformulation of multiperiod MILP models for planning and scheduling of chemical processes , 1991 .

[100]  William E. Pracht.  GISMO: A Visual Problem-Structuring and Knowledge-Organization Tool , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[101]  R. Simons.  Mathematical Programming Modelling Using MGG , 1986 .

[102]  Andrew B. Whinston,et al.  FUTURE DIRECTIONS FOR DEVELOPING DECISION SUPPORT SYSTEMS , 1980 .

[103]  Harvey J. Greenberg,et al.  Logical testing for rule-base management , 1988 .

[104]  Gary M. Roodman.  Note—Post-Infeasibility Analysis in Linear Programming , 1979 .

[105]  Melanie L. Lenard.  Structured model management , 1988 .

[106]  Melanie L. Lenard.  Representing Models as Data , 1986, J. Manag. Inf. Syst..

[107]  Harvey J. Greenberg,et al.  Diagnosing Infeasibility in Min-cast Network Flow Problems Part I: Dual Infeasibility , 1986 .

[108]  W. Lodwick.  Analysis of structure in fuzzy linear programs , 1990 .

[109]  Daniel E. O'Leary,et al.  The use of mathematical programming with artificial intelligence and expert systems , 1993 .

[110]  T. Gal.  Shadow prices and sensitivity analysis in linear programming under degeneracy , 1986 .

[111]  Robert W. Blanning.  A framework for expert modelbase systems , 1899 .

[112]  J. S. Welch,et al.  Finding duplicate rows in a linear programming model , 1986 .

[113]  Robert W. Blanning.  A System for natural language communication between a decision model and its users , 1986 .

[114]  Jan Telgen,et al.  Note on prime representations of convex polyhedral sets , 1989 .

[115]  Thomas L. Magnanti,et al.  Sensitivity Analysis for Variational Inequalities Defined on Polyhedral Sets , 1989, Math. Oper. Res..

[116]  Dorit S. Hochbaum,et al.  OR Practice - Lagrangian Relaxation for Testing Infeasibility in VLSI Routing , 1986, Oper. Res..

[117]  A. Nagurney.  Network Economics: A Variational Inequality Approach , 1992 .

[118]  David W. Etherington.  Reasoning With Incomplete Information , 1988 .

[119]  Ben P. Wise,et al.  Overview of rome: a reason-oriented modeling environment , 1986 .

[120]  Darwin Klingman,et al.  Netform Modeling and Applications , 1990 .

[121]  Joyce J. Elam,et al.  USING ARTIFICIAL INTELLIGENCE TECHNIQUES TO ENHANCE THE CAPABILITIES OF MODEL MANAGEMENT SYSTEMS , 1987 .

[122]  Harvey J. Greenberg,et al.  Analyzing the Pooling Problem , 1995, INFORMS J. Comput..

[123]  J. Telgen.  Redundancy and linear programs , 1981 .

[124]  Gautam Mitra,et al.  Tools for modelling support and construction of optimization applications , 1988 .

[125]  Gerald G. Brown,et al.  Automatic Identification of Generalized Upper Bounds in Large-Scale Optimization Models , 1980 .

[126]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[127]  Gordon H. Bradley,et al.  A Type Calculus for Executable Modelling Languages , 1986 .

[128]  Michael J. Todd,et al.  Identifying the set of always-active constraints in a system of linear inequalities by a single linear program , 1985 .

[129]  K.R. McKeown.  Language generation: Applications, issues, and approaches , 1986, Proceedings of the IEEE.

[130]  George M. Lady,et al.  THE STRUCTURE OF QUALITATIVELY DETERMINATE RELATIONSHIPS , 1983 .

[131]  Monique Guignard-Spielberg,et al.  Variations in model formulations , 1992, Ann. Oper. Res..

[132]  R. Fourer,et al.  Finding Embedded Network Rows in Linear Programs I. Extraction Heuristics , 1988 .

[133]  H. Benson.  On the optimal value function for certain linear programs with unbounded optimal solution sets , 1985 .

[134]  Jane Fedorowicz,et al.  Representing modeling knowledge in an intelligent decision support system , 1986, Decision Support Systems.

[135]  N. Chakravarti.  Some results concerning post-infeasibility analysis , 1994 .

[136]  George J. Klir,et al.  Architecture of Systems Problem Solving , 1985, Springer US.

[137]  Ramesh Sharda,et al.  Functional Description of a Graph-based Interface for Network Modeling (GIN) , 1992, Computer Science and Operations Research.

[138]  Helmut Engelke,et al.  Integrated Manufacturing Modeling System , 1985, IBM J. Res. Dev..

[139]  A. F. Bausch,et al.  Selected Topics in Economics Involving Mathematical Reasoning , 1959 .

[140]  Harvey J. Greenberg,et al.  Inverting graphs of rectangular matrices , 1984, Discret. Appl. Math..

[141]  Harvey J. Greenberg,et al.  Inverting Signed Graphs , 1984 .

[142]  Michael Rodeh,et al.  A System for Constructing Linear Programming Models , 1980, IBM Syst. J..

[143]  Robert Fourer,et al.  Expressing Special Structures in an Algebraic Modeling Language for Mathematical Programming , 1995, INFORMS J. Comput..

[144]  Ralph E. Steuer,et al.  Computer Graphics at the Multicriterion Computer/User Interface , 1985 .

[145]  D. Luenberger,et al.  Algorithms to verify generic causality and controllability of descriptor systems , 1985 .

[146]  Harvey J. Greenberg.  ANALYZE rulebase , 1988 .

[147]  Robert W. Blanning.  An entity-relationship approach to model management , 1986, Decis. Support Syst..

[148]  W. Lodwick.  Fuzzy set theoretic approaches to natural language in decision support systems , 1988 .

[149]  Weldon A. Lodwick,et al.  Constraint propagation, relational arithmetic in AI systems and mathematical programs , 1990 .

[150]  Pascal Van Hentenryck,et al.  A Note on Redundant Linear Constraints , 1992 .

[151]  Daniel R. Dolk,et al.  A generalized model management system for mathematical programming , 1986, TOMS.

[152]  Avraham Shtub,et al.  Metagraphs in hierarchical modeling , 1997 .

[153]  Harvey J. Greenberg,et al.  Views of mathematical programming models and their instances , 1995, Decis. Support Syst..

[154]  Terry Winograd,et al.  Understanding natural language , 1974 .

[155]  D. Aucamp,et al.  The Computation of Shadow Prices in Linear Programming , 1982 .

[156]  Linus E Schrage.  User's manual for LINDO , 1981 .

[157]  Robert Fourer.  Database structures for a class of mathematical programming models , 1991, Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences.

[158]  Hemant K. Bhargava,et al.  Model management : An embedded languages approach , 1993, Decis. Support Syst..

[159]  Arthur M. Geoffrion.  Modeling Approaches and Systems Related to Structured Modeling. , 1987 .

[160]  Edward R. Tufte,et al.  The Visual Display of Quantitative Information , 1986 .

[161]  John W. Chinneck,et al.  Computer Codes for the Analysis of Infeasible Linear Programs , 1996 .

[162]  Sa Neung Hong,et al.  Measurement theoretic representation of large, diverse model bases : The unified modeling language LU , 1993, Decis. Support Syst..

[163]  Harvey J. Greenberg.  MODLER: Modeling by object-driven linear elemental relations , 1992, Ann. Oper. Res..

[164]  Sadaaki Miyamoto,et al.  Directed Graph Representations of Association Structures: A Systematic Approach , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[165]  Harvey J. Greenberg.  How to Analyze the Results of Linear Programs—Part 1: Preliminaries , 1993 .

[166]  Wieslawa T. Obuchowska,et al.  Minimal representation of quadratically constrained convex feasible regions , 1995, Math. Program..

[167]  G. Knolmayer.  THE EFFECTS OF DEGENERACY ON COST-COEFFICIENT RANGES AND AN ALGORITHM TO RESOLVE INTERPRETATION PROBLEMS , 1984 .

[168]  Robert W. Blanning,et al.  A relational framework for join implementation in model management systems , 1985, Decis. Support Syst..

[169]  Linus Schrage,et al.  Identification of special structure constraints in linear programs , 1981, Math. Program..

[170]  Kurt J. Schmucker,et al.  Fuzzy Sets, Natural Language Computations, and Risk Analysis , 1983 .

[171]  Gerald G. Brown,et al.  Automatic identification of embedded network rows in large-scale optimization models , 1984, Math. Program..

[172]  John W. Chinneck.  Formulating processing network models: Viability theory , 1990 .

[173]  Kelvin Lancaster,et al.  The Scope of Qualitative Economics , 1962 .

[174]  Takeo Yamada,et al.  QUALITATIVE PROPERTIES OF SYSTEMS OF LINEAR CONSTRAINTS , 1985 .

[175]  Wojtek Michalowski,et al.  MOLP Formulation Assistance Using LP Infeasibility Analysis , 1996 .

[176]  Stavros A. Zenios.  Integrating network optimization capabilities into a high-level modeling language , 1990, TOMS.

[177]  Harvey J. Greenberg.  An Industrial Consortium to Sponsor the Development of an Intelligent Mathematical Programming System , 1990 .

[178]  Ramesh Sharda,et al.  Inductive Model Analysis Systems: Enhancing Model Analysis in Decision Support Systems , 1996, Inf. Syst. Res..

[179]  Fred W. Glover,et al.  Future paths for integer programming and links to artificial intelligence , 1986, Comput. Oper. Res..

[180]  James Quirk,et al.  Qualitative Problems in Matrix Theory , 1969 .

[181]  Hemant K. Bhargava,et al.  Unique Names Violations, a Problem for Model Integration or You Say Tomato, I Say Tomahto , 1991, INFORMS J. Comput..

[182]  Jacques Pasquier-Rocha,et al.  A Convenient Technique for Constructing your ouwn MPSX Generator Using dBASE II , 1986, Angew. Inform..

[183]  J.E. Kottemann,et al.  Process-oriented model integration , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[184]  Bernard J. Schroer,et al.  A Simulation Assistant for Modeling Manufacturing Systems , 1989, Simul..

[185]  David M. Smith,et al.  A model-management framework for mathematical programming , 1984 .

[186]  Ting-Peng Liang,et al.  Analogical reasoning and case-based learning in model management systems , 1993, Decis. Support Syst..

[187]  Lorne Olfman,et al.  Visualization Ability as a Predictor of User Learning Success , 1993, Int. J. Man Mach. Stud..

[188]  M GeoffrionArthur.  The SML Language for Structured Modeling , 1992 .

[189]  Mehrdad Tamiz,et al.  Detecting iis in infeasible linear programmes using techniques from goal programming , 1996, Comput. Oper. Res..

[190]  Frederic H. Murphy,et al.  A graphics interface for linear programming , 1989, CACM.

[191]  Gabriela P. Henning,et al.  MODEL.LA. A modeling language for process engineering—II. Multifaceted modeling of processing systems , 1990 .

[192]  Arthur M. Geoffrion,et al.  An Introduction to Structured Modeling , 1987 .

[193]  Paul Hudak,et al.  Conception, evolution, and application of functional programming languages , 1989, CSUR.

[194]  Arthur M. Geoffrion.  The Formal Aspects of Structured Modeling , 1989, Oper. Res..

[195]  Andrew B. Whinston,et al.  Model management , 1994 .

[196]  Richard J. Caron,et al.  Constraint classification in mathematical programming , 1993, Math. Program..

[197]  Harvey J. Greenberg.  SOFTWARE SECTION - RANDMOD: A System for Randomizing Modifications to an Instance of a Linear Program , 1991, INFORMS J. Comput..

[198]  D. R. Hughes.  Design Theory , 1985 .

[199]  Jean-Louis Laurière,et al.  A Language and a Program for Stating and Solving Combinatorial Problems , 1978, Artif. Intell..

[200]  Jean-Louis Lassez,et al.  Simplification and Elimination of Redundant Linear Arithmetic Constraints , 1989, NACLP.

[201]  Johannes J. Bisschop.  A Priori Model reduction and Error Checking in Large-scale Linear Programming Applications , 1986 .

[202]  Jeffrey E. Kottemann,et al.  Model integration and a theory of models , 1993, Decis. Support Syst..

[203]  Roger Alan Pick,et al.  Meta-modeling concepts and tools for model management: a systems approach , 1994 .

[204]  Robert Fourer,et al.  New constructs for the description of combinatorial optimization problems in algebraic modeling languages , 1996, Comput. Optim. Appl..

[205]  William A. Miller,et al.  A comparison of approaches and implementations for automating decision analysis , 1990 .

[206]  T. Gal.  Weakly redundant constraints and their impact on postoptimal analyses in LP , 1992 .

[207]  Fernando L. Alvarado,et al.  Manipulation and Visualization of Sparse Matrices , 1990, INFORMS J. Comput..

[208]  Arthur M. Geoffrion,et al.  Integrated Modeling Systems , 1989 .

[209]  L. S. Lasdon,et al.  Solving the pooling problem using generalized reduced gradient and successive linear programming algorithms , 1979, SMAP.

[210]  Gautam Mitra,et al.  Tools for reformulating logical forms into zero-one mixed integer programs , 1994 .

[211]  T. Liang.  Reasoning in model management systems , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[212]  J. S. Provan,et al.  Substitutes and complements in constrained linear models , 1987 .

[213]  Alexander Meeraus.  An algebraic approach to modeling , 1983 .

[214]  Lloyd S. Shapley,et al.  Complements and substitutes in the opttmal assignment problem , 1962 .

[215]  Harvey J. Greenberg,et al.  The use of the optimal partition in a linear programming solution for postoptimal analysis , 1994, Oper. Res. Lett..

[216]  Harvey J. Greenberg,et al.  Diagnosing Infeasibility in Min-cost Network Flow Problems Part II: Primal Infeasibility , 1988 .

[217]  Jeremy F. Shapiro,et al.  LOGS an optimization system for logistics planning , 1979 .

[218]  Christine M. Mitchell,et al.  A Discrete Control Model of Operator Function: A Methodology for Information Display Design , 1986, IEEE Transactions on Systems, Man, and Cybernetics.

[219]  Edoardo Amaldi,et al.  On the Approximability of Finding Maximum Feasible Subsystems of Linear Systems , 1994, STACS.

[220]  Chris Jones.  Attributed graphs, graph-grammars, and Structured Modeling , 1992, Ann. Oper. Res..

[221]  Harvey J. Greenberg,et al.  An empirical analysis of infeasibility diagnosis for instances of linear programming blending models , 1992 .

[222]  Richard E. Wendell,et al.  Using bounds on the data in linear programming: The tolerance approach to sensitivity analysis , 1984, Math. Program..

[223]  Christopher V. Jones,et al.  Developments in graph-based modeling for decision support , 1995, Decis. Support Syst..

[224]  Gordon P. Wright,et al.  OR/SM: A Prototype Integrated Modeling Environment Based on Structured Modeling , 1997, INFORMS J. Comput..

[225]  Richard E. Nanoe.  Model development revisited , 1984, WSC '84.

[226]  Jennifer Ryan.  The structure of an integral monoid and integer programming feasibility , 1990, Discret. Appl. Math..

[227]  Harvey J. Greenberg,et al.  Implementation Aspects of Model Management: A Focus on Computer-Assisted Analysis , 1981 .

[228]  Harvey J. Greenberg,et al.  Computer-assisted analysis and model simplification , 1981 .

[229]  Frederic H. Murphy,et al.  Computer-assisted Formulation of Linear Programs , 1986 .

[230]  Edward H. Freeman.  A Logic-Based Prototyping Environment For Process Oriented Second Generation Expert Systems , 1988, Defense, Security, and Sensing.

[231]  Ting-Peng Liang,et al.  User interface design for decision support systems: A self-adaptive approach , 1987, Inf. Manag..

[232]  Sa Neung Hong,et al.  Model Libraries: Knowledge Representation and Reasoning , 1990, INFORMS J. Comput..

[233]  David Garlan,et al.  Views for Tools in Integrated Environments , 1986, Advanced Programming Environments.

[234]  Marvin Abram Wyant.  Design and implementation of a prototype graphical user interface for a model management system , 1988 .

[235]  Harvey J. Greenberg,et al.  A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models , 1983, TOMS.

[236]  Frieda Granot,et al.  Ripples, complements, and substitutes in singly constrained monotropic parametric network flow problems , 1994, Networks.

[237]  K. I. M. McKinnon,et al.  Constructing integer programming models by the predicate calculus , 1989 .

[238]  Shimon Schocken,et al.  Reframing Decision Problems: A Graph-Grammar Approach , 1991, Inf. Syst. Res..

[239]  Tjalling C. Koopmans,et al.  Identification problems in economic model construction , 1949 .

[240]  Richard E. Wendell,et al.  The Tolerance Approach to Sensitivity Analysis of Matrix Coefficients in Linear Programming: General Perturbations , 1985 .

[241]  John N. Warfield,et al.  Crossing Theory and Hierarchy Mapping , 1977, IEEE Transactions on Systems, Man, and Cybernetics.

[242]  T. Hürlimann,et al.  LPL: A structured language for linear programming modeling , 1988 .

[243]  Michael H. Wagner.  Supply-Demand Decomposition of the National Coal Model , 1981, Oper. Res..

[244]  Ramayya Krishnan,et al.  A comparison of structured modeling and GAMS , 1989 .

[245]  Ramesh Sharda,et al.  Using Artificial Intelligence to Enhance Model Analysis , 1995 .

[246]  P. Kettler,et al.  Rearranging Matrices to Block-Angular form for Decomposition (And Other) Algorithms , 1971 .

[247]  J. Meeraus A. Bisschop,et al.  ON THE DEVELOPMENT OF A GENERAL ALGEBRAIC MODELING SYSTEM IN A STRATEGIC PLANNING ENVIRONMENT , 1982 .

[248]  Jean-Louis Lassez,et al.  A Canonical Form for Generalized Linear Constraints , 1992, J. Symb. Comput..

[249]  Pai-chun MA,et al.  Composition Rules for Building Linear Programming Models from Component Models , 1990 .

[250]  Stewart N. T. Shen,et al.  Solving linear programming problems stated in English by computer , 1973, ACM Annual Conference.

[251]  Peter Piela.  Ascend: an object-oriented computer environment for modeling and analysis , 1989 .

[252]  Fred W. Glover,et al.  Network models in optimization and their applications in practice , 1992 .

[253]  Alice M. Ireland.  OBJECT-ORIENTED MODEL INTEGRATION IN MIDAS , 1989 .

[254]  A. S. Kydes,et al.  Determinacy in network models: a study of structure and correlation , 1980 .

[255]  Harvey M. Wagner,et al.  Shadow Prices: Tips and Traps for Managers and Instructors , 1990 .

[256]  Peter J. Stuckey.  Incremental Linear Constraint Solving and Detection of Implicit Equalities , 1991, INFORMS J. Comput..

[257]  Chris Jones,et al.  An integrated modeling environment based on attributed graphs and graph-grammars , 1993, Decis. Support Syst..

[258]  Robert Fourer,et al.  Modeling languages versus matrix generators for linear programming , 1983, TOMS.

[259]  Harvey J. Greenberg.  COMPUTER-ASSISTED ANALYSIS FOR DIAGNOSING INFEASIBLE OR UNBOUNDED LINEAR PROGRAMS , 1987 .

[260]  Cheng-Kiang Farn,et al.  An integrated information system architecture based on structured modeling , 1985 .

[261]  N. Ravi,et al.  The tolerance approach to sensitivity analysis in network linear programming , 1988, Networks.

[262]  B. Jansen,et al.  Sensitivity analysis in linear programming: just be careful! , 1997 .

[263]  Richard E. Cullingford.  Natural language processing , 1986 .

[264]  Saul I. Gass,et al.  Managing the modeling process: a personal reflection , 1987 .

[265]  Ronald M. Lee,et al.  Logic modeling: A tool for management science , 1988, Decis. Support Syst..

[266]  Linus Schrage,et al.  Modeling and Optimization With Gino , 1986 .

[267]  Ting-Peng Liang,et al.  Modeling by analogy : Use of analogical reasoning in model management systems , 1993, Decis. Support Syst..

[268]  David D. O'Dell.  The design and implementation of a visual user interface for a structured model management system , 1988 .

[269]  H. Paul Williams,et al.  MAGIC: The design and use of an interactive modelling language for mathematical programming , 1986 .

[270]  Waleed A. Muhanna,et al.  An object-oriented framework for model management and DSS development , 1993, Decis. Support Syst..

[271]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[272]  Arthur M. Geoffrion,et al.  FW/SM: A Prototype Structured Modeling Environment , 1991 .

[273]  Edoardo Amaldi,et al.  The Complexity and Approximability of Finding Maximum Feasible Subsystems of Linear Relations , 1995, Theor. Comput. Sci..

[274]  Matthias Jarke,et al.  Domain-Specific Dss Tools for Knowledge-Based Model Building , 1985, Decis. Support Syst..

[275]  John W. Chinneck,et al.  Locating Minimal Infeasible Constraint Sets in Linear Programs , 1991, INFORMS J. Comput..

[276]  Mary Dee Harris.  Introduction to Natural Language Processing , 1984 .

[277]  Tamás Terlaky,et al.  An interior point approach to postoptimal and parametric analysis in linear programming Report 92-21 , 1993 .

[278]  David C. Brown,et al.  An experimental graphics system with natural language input , 1979, Comput. Graph..

[279]  Harvey J. Greenberg,et al.  Rule-based intelligence to support linear programming analysis , 1993, Decis. Support Syst..

[280]  Judy E. Scott.  Organizational knowledge and the Intranet , 1998, Decis. Support Syst..

[281]  Heiner Müller-Merbach,et al.  Model Design Based on the Systems Approach , 1983 .

[282]  H. J. Greenberg.  An analysis of degeneracy , 1986 .

[283]  H. Simon,et al.  Causal Ordering and Identifiability , 1977 .

[284]  Richard Lelliott,et al.  Fuzzy sets, natural language computations, and risk analysis , 1988 .

[285]  Kenneth A. Loparo,et al.  Artificial intelligence, simulation & modeling , 1989 .

[286]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[287]  James E. Ward,et al.  Approaches to sensitivity analysis in linear programming , 1991 .

[288]  Roger Alan Pick,et al.  A knowledge engineered linear programming formulation assistant , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[289]  Kelvin Lancaster,et al.  THE THEORY OF QUALITATIVE LINEAR SYSTEMS , 1965 .

[290]  Edward A. Stohr,et al.  Representation Schemes for Mathematical Programming Models , 1988 .

[291]  J. Scott Provan.  Determinacy in Linear Systems and Networks , 1983 .

[292]  John N. Warfield,et al.  Developing Subsystem Matrices in Structural Modeling , 1974, IEEE Trans. Syst. Man Cybern..

[293]  Daniel E. O'Leary,et al.  A knowledge-based system for cash management with management science expertise , 1989 .

[294]  Pai-chun MA,et al.  Representing knowledge about linear programming formulation , 1989 .

[295]  Roger J.-B. Wets,et al.  The facets of the polyhedral set determined by the Gale—Hoffman inequalities , 1993, Math. Program..

[296]  Y. Ye.  Eliminating columns in the simplex method for linear programming , 1989 .

[297]  James R. Evans,et al.  Using Pictorial Representations in Teaching Linear Programming Modeling , 1990 .

[298]  Harvey J. Greenberg,et al.  A computer-assisted analysis system for mathematical programming models and solutions : a user's guide for ANALYZE , 1993 .

[299]  H. P. Williams,et al.  Model Building in Mathematical Programming , 1979 .

[300]  Christopher Vyn Jones,et al.  Visualization and Optimization , 1997 .

[301]  A. J. Goldman,et al.  Technical Note - Recognizing Unbounded Integer Programs , 1987, Oper. Res..

[302]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[303]  Jennifer Ryan,et al.  Identifying Minimally Infeasible Subsystems of Inequalities , 1990, INFORMS J. Comput..

[304]  Pascal Van Hentenryck.  A logic language for combinatorial optimization , 1990 .

[305]  Charles J. Debrosse,et al.  A feasible‐point algorithm for structured design systems in chemical engineering , 1973 .

[306]  Jock D. Mackinlay,et al.  Automating the design of graphical presentations of relational information , 1986, TOGS.

[307]  Joobin Choobineh.  A diagramming technique for representation of linear models , 1991 .

[308]  Harvey J. Greenberg,et al.  Extensions of graph inversion to support an artificially intelligent modeling environment , 1989 .

[309]  Daniel R. Dolk,et al.  Knowledge Representation for Model Management Systems , 1984, IEEE Transactions on Software Engineering.

[310]  Takeo Yamada,et al.  A graph-theoretic approach to investigate structural and qualitative properties of systems: A survey , 1990, Networks.

[311]  Roger J.-B. Wets,et al.  Preprocessing in Stochastic Programming: The Case of Uncapacitated Networks , 1989, INFORMS J. Comput..