The ins and outs of reason maintenance

A truth maintenance system

1979 • 1,816 citations

Non-monotonic logic I

1980 • 903 citations

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

1977 • 736 citations

The Definition and Implementation of a Computer Programming Language Based on Constraints

1980 • 232 citations

An Outlook on Truth Maintenance.

1980 • 185 citations

Artificial Intelligence Programming

2014 • 181 citations

Epistemic importance and minimal changes of belief

1984 • 100 citations

Reasoning in Multiple Belief Spaces

1988 • 66 citations

Contexts and Data Dependencies: A Synthesis

1983 • 64 citations

Some theories of reasoned assumptions : an essay in rational psychology

1983 • 55 citations

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

1978 • 21 citations

Network truth-maintenance for deduction and modelling

1979 • 17 citations