Network truth-maintenance for deduction and modelling

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

1977 • 736 citations

Truth maintenance systems for problem solving

1977 • 123 citations

Explicit Control of Reasoning

1977 • 57 citations

A network-based knowledge representation and its natural deduction system

1977 • 46 citations

Dependency networks as a representation for modelling in general problem solvers.

1978 • 21 citations