Validating knowledge systems: a scheduling example | IEEE Conference Publication | IEEE Xplore