Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Stallman, R.M. | Sussman, G. J.

Feb-1-1977–Classics

. Artificial Intelligence 9 (2):135-196

artificial intelligence, computer-aided circuit analysis, forward reasoning and dependency-directed, (1 more...)

Feb-1-1977

Classics Web Page

Technology:
- Information Technology > Artificial Intelligence
  - Cognitive Science > Problem Solving (0.61)
  - Representation & Reasoning
    - Belief Revision (0.46)
    - Rule-Based Reasoning (0.57)
    - Search (0.61)