The essence of problem-solving methods: making assumptions to gain efficiency

ion, Reformulation, and Approximation (SARA-95), Quebec, Canada, August1995.[van Heijst et al., 1992] G. van Heijst, P. Terpstra, B. J. Wielinga and N. Shadbolt: UsingGeneralised Directive Models in Knowledge Acquisition. In T. Wetter et al. (eds.),Current Developments in Knowledge Acquisition, LNAI, Springer-Verlag, 1992.[van Heijst et al., 1997] G. van Heijst, A. T. Schreiber, and B. J. Wielinga: Using ExplicitOntologies in Knowledge-Based System Development, International Journal of...