Abstract
A Truth Maintenance -System (TMS) maintains a consistent state of belief given a set
J of justifications, i.e. arguments for belief. To resolve contradictions dependency-directed backtracking is performed.
In this paper we introduce a method that can, be used to track all dependency-directed
backtracking methods simultaneously. This has been, previously done, by adding
... read more