References

Benjamins, 1993

Benjamins, V. R. (1993). Problem Solving Methods for Diagnosis. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands.

Brown & Chandrasekaran, 1989

Brown, D. C. & Chandrasekaran, B. (1989). Design Problem Solving: Knowledge Structures and Control Strategies. Research Notes in Artificial Intelligence. London, Pitman.

Chandrasekaran, 1990

Chandrasekaran, B. (1990). Design problem solving: A task analysis. AI Magazine, 11:59--71.

Clancey, 1985

Clancey, W. J. (1985). Heuristic classification. Artificial Intelligence, 27:289--350.

Console et al., 1992

Console, L., de Kleer, J., & Hamscher, W. (1992). Readings in Model-based Diagnosis. Morgan Kaufmann.

Dupré, 1994

Dupré, D. (1994). Characterizing and Mechanizing Abductive Reasoning. PhD thesis, Universita di Torino.

Fensel, 1995

Fensel, D. (1995). A case study on assumptions and limitations of a problem solving method. In Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'95), Banff, Canada.

Hayes-Roth et al., 1983

Hayes-Roth, F., Waterman, D. A., & Lenat, D. B. (1983). Building Expert Systems. New York, Addison-Wesley.

Istenes et al., 1996

Istenes, Z., Tchounikine, P., & Trichet, F. (1996). Using zola to model dynamic selection of tasks and methods as a knowledge level reflective activity. In Europeen Knowledge Acquisition Workshop (Position Papers, pages 42--53, Nottingham.

Löckenhoff & Messer, 1994

Löckenhoff, C. & Messer, T. (1994). Configuration. In Breuker, J. A. & Van de Velde, W., (Eds.), The CommonKADS Library for Expertise Modelling, chapter 9, pages 197--212. Amsterdam, The Netherlands, IOS Press.

Marcus et al., 1988

Marcus, S., Stout, J., & McDermott, J. (1988). VT: An expert elevator designer that uses knowledge-based backtracking. AI Magazine, Spring:95--111.

Mittal & Frayman, 1989

Mittal, S. & Frayman, F. (1989). Towards a generic model of configuration tasks. In Proceedings of IJCAI'89, pages 1395--1401.

Runkel et al., 1995

Runkel, J., Birmingham, W., & Balkany, A. (1995). Solving vt by reuse. Int. J. Human-Computer Studies, (43).

Schreiber & Birmingham, 1996

Schreiber, A. T. & Birmingham, W. P. (1996). The Sisyphus-VT initiative. International Journal of Human-Computer Studies. Editorial special issue.

Stroulia & Goel, 1994

Stroulia, E. & Goel, A. (1994). Reflective, self-adapative problem solvers. In Steels, L., Schreiber, G., & van de Velde, W., (Eds.), Proceedings of the 8th European Knowledge Acquisition Workshop (EKAW'94), volume 867 of Lecture Notes in Artificial Intelligence, pages 394--413, Hoegaarden, Belgium. Springer Verlang.

ten Teije & van Harmelen, 1994

ten Teije, A. & van Harmelen, F. (1994). An extended spectrum of logical definitions for diagnostic systems. In Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis, New Paltz, New York.

ten Teije & van Harmelen, 1996a

ten Teije, A. & van Harmelen, F. (1996a). Computing approximate diagnoses by using approximate entailment. In Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Boston, Massachusetts.

ten Teije & van Harmelen, 1996b

ten Teije, A. & van Harmelen, F. (1996b). Using reflection techniques for flexible problem solving. Future Generation Computer Systems, special issue Reflection and Meta-level AI Architectures. To appear in 1996.

Wielinga et al., 1995

Wielinga, B. J., Akkermans, J. M., & Schreiber, A. T. (1995). A formal analysis of parametric design problem solving. In Gaines, B. R. & Musen, M. A., (Eds.), Proceedings of the 8th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, volume II, pages 37.1--37.15, Alberta, Canada. SRDG Publications, University of Calgary.