Dependency-Directed Reconsideration Belief Base Optimization for Truth Maintenance Systems.

Frances L. Johnson, Stuart C. Shapiro

Browse the full AAAI paper archive.