This paper reports our experience in using the KADS framework to describe problem-solving methods. To illustrate our work, we implement the Cover&Diierentiate problem-solving method with the knowledge representation language Loom. We concentrate on Loom primitives to model the domain knowledge, the domain view and the control knowledge of Cover&Diierentiate. Furthermore, we emphasize the advant...
