A framework for design problem-solving

This publication has 14 references indexed in Scilit:

• SOAR: An architecture for general intelligence
  Artificial Intelligence, 1987
• A Mechanism for Forming Composite Explanatory Hypotheses
  IEEE Transactions on Systems, Man, and Cybernetics, 1987
• Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design
  IEEE Expert, 1986
• PRIDE: An Expert System for the Design of Paper Handling Systems
  Computer, 1986
• PROUST: Knowledge-Based Program Understanding
  IEEE Transactions on Software Engineering, 1985
• The CRITTER System -- Automated Critiquing of Digital Circuit Designs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Planning with constraints (MOLGEN: Part 1)
  Artificial Intelligence, 1981
• Transformational Implementation: An Example
  IEEE Transactions on Software Engineering, 1981
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• Consistency in networks of relations
  Artificial Intelligence, 1977