Using a truth maintenance system to support knowledge base construction and evolution | IEEE Conference Publication | IEEE Xplore