Knowledge-based Problem Solving and Reasoning methods | IEEE Conference Publication | IEEE Xplore