A Model-Based Approach to Blame-Assignment in Design

This publication has 6 references indexed in Scilit:

• Behavioral synthesis in CADET, a case-based design tool
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A task structure for case-based design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model Revision: A Theory of Incremental Model Learning
  Published by Elsevier ,1991
• The Redesign System: A Knowledge-Based Approach to VLSI CAD
  IEEE Design & Test of Computers, 1985
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• Some Studies in Machine Learning Using the Game of Checkers. II—Recent Progress
  IBM Journal of Research and Development, 1967