KBCOPS: a knowledge-based co-ordinated problem solver | IEEE Conference Publication | IEEE Xplore