A perspective on assumption-based truth maintenance | part of Artificial Intelligence in Perspective | MIT Press books | IEEE Xplore