An intelligent system for formulating linear programs
Decision Support Systems
An entity-relationship approach to model management
Decision Support Systems
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
An introduction to structured modeling
Management Science
A natural language discourse model to explain linear programming models and solutions
Decision Support Systems
A relational theory of model management
Proc. of the NATO Advanced Study Institute on Decision support systems: theory and application
Artificially intelligent decision support systems—criteria for tool selection
Proc. of the NATO Advanced Study Institute on Decision support systems: theory and application
Proceedings of the Twenty-First Annual Hawaii International Conference on Decision Support and Knowledge Based Systems Track
A logic modeling language for automated model construction
Decision Support Systems
Dynamic Programming Treatment of the Travelling Salesman Problem
Journal of the ACM (JACM)
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
ACM Computing Surveys (CSUR)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Building Effective Decision Support Systems
Building Effective Decision Support Systems
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The design of store-and-forward (s/f) networks for computer communications
The design of store-and-forward (s/f) networks for computer communications
Web-Based System Configuration and Performance Evaluation Using a Knowledge-Based Methodology
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
A Systematic Approach for Configuring Web-Based Information Systems
Distributed and Parallel Databases
Engineering Applications of Artificial Intelligence
A Knowledge-Based Ant Colony Optimization for Flexible Job Shop Scheduling Problems
Applied Soft Computing
Efficient Optimization of Reliable Two-Node Connected Networks: A Biobjective Approach
INFORMS Journal on Computing
Hi-index | 0.00 |
A method is developed for integrating heuristic design knowledge with optimization models to create a tool for the topological design of computer communication networks. Design choices are based on suggestions from optimization models, as well as heuristic knowledge, which interact through a blackboard. A truth maintenance system (TMS) records justification for current design choices, as well as promising alternatives. A dependency-directed backtracking mechanism works with the TMS to choose other alternatives as warranted. This hybrid tool can consider a wider range of design requirements than is possible using one type of knowledge alone, is flexible in handling variations in these requirements, and has a modular structure which facilitates incremental refinement. Computational results on separate networks show it is effective in identifying good low-cost solutions.