A Decision Tree Interface Based on Predicate Calculus | IEEE Conference Publication | IEEE Xplore