High-level reasoning in cooperative knowledge system | IEEE Conference Publication | IEEE Xplore