\begin{thebibliography}{}

\bibitem[Barret \& Weld, 1994]{Barret:94a}
{Barret, A. \& Weld, D.~S.} (1994).
\newblock Partial-order planning: evaluating possible efficiency gains.
\newblock {\em Artificial Intelligence}, 67.

\bibitem[Benjamins, 1994]{Benjamins:94a}
{Benjamins, V.~R.} (1994).
\newblock On a role of problem solving methods in knowledge acquisition:
  experiments with diagnostic strategies.
\newblock In Steels, L., Schreiber, A.~T., \& van~de Velde, W., {\rm (Eds.)},
  {\em Lecture Notes in Artificial Intelligence, 867, 8th European Knowledge
  Acquisition Workshop, EKAW-94}, pages 137--157, Berlin, Germany.
  Springer-Verlag.

\bibitem[Benjamins, 1995]{Benjamins:95b}
{Benjamins, V.~R.} (1995).
\newblock Problem-solving methods for diagnosis and their role in knowledge
  acquisition.
\newblock {\em International Journal of Expert Systems: Research and
  Applications}, 8(2):93--120.

\bibitem[Benjamins {\em et~al.}, 1996]{Benjamins:96d}
{Benjamins, V.~R., Fensel, D., \& Straatman, R.} (1996).
\newblock Assumptions of problem-solving methods and their role in knowledge
  engineering.
\newblock In Wahlster, W., {\rm (Ed.)}, {\em Proc. ECAI--96}, pages 408--412.
  J. Wiley \& Sons, Ltd.

\bibitem[Benjamins \& Pierret-Golbreich, 1996]{Benjamins:96b}
{Benjamins, V.~R. \& Pierret-Golbreich, C.} (1996).
\newblock Assumptions of problem-solving methods.
\newblock In Shadbolt, N., {O'Hara}, K., \& Schreiber, G., {\rm (Eds.)}, {\em
  Lecture Notes in Artificial Intelligence, 1076, 9th European Knowledge
  Acquisition Workshop, EKAW-96}, pages 1--16. Springer-Verlag.

\bibitem[Carbonell \& {the PRODIGY Research Group}, 1992]{Carbonell:92a}
{Carbonell, J. \& {the PRODIGY Research Group}} (1992).
\newblock {PRODIGY4.0: The manual and tutorial}.
\newblock Technical Report CMU-CS-92-150, School of Computer Science, CMU.

\bibitem[Chandrasekaran, 1986]{Chandrasekaran:86a}
{Chandrasekaran, B.} (1986).
\newblock Generic tasks in knowledge based reasoning: High level building
  blocks for expert system design.
\newblock {\em IEEE Expert}, 1(3):23--30.

\bibitem[Chandrasekaran, 1990]{Chandrasekaran:90b}
{Chandrasekaran, B.} (1990).
\newblock Design problem solving: A task analysis.
\newblock {\em AI Magazine}, 11:59--71.

\bibitem[Chapman, 1987]{Chapman:87a}
{Chapman, D.} (1987).
\newblock Planning for conjunctive goals.
\newblock {\em Artificial Intelligence}, 32:333--377.

\bibitem[Cottam \& Shadbolt, 1996]{Cottam:96a}
{Cottam, H. \& Shadbolt, N.} (1996).
\newblock Domain and system influences in problem solving models for planning.
\newblock In Shadbolt, N., {O'Hara}, K., \& Schreiber, G., {\rm (Eds.)}, {\em
  Lecture Notes in Artificial Intelligence, 1076, 9th European Knowledge
  Acquisition Workshop, EKAW-96}, pages 354--369. Springer-Verlag.

\bibitem[de~Barros {\em et~al.}, 1996]{Barros:96a}
{de~Barros, L.~N., Valente, A., \& Benjamins, V.~R.} (1996).
\newblock Modeling planning tasks.
\newblock In {\em Third International Conference on Artificial Intelligence
  Planning Systems, AIPS-96}, pages 11--18.

\bibitem[Doyle, 1979]{Doyle:79a}
{Doyle, J.} (1979).
\newblock A thruth maintenance system.
\newblock {\em Artificial Intelligence}, 12:231--272.

\bibitem[Drummond \& Currie, 1989]{Drummond:89a}
{Drummond, M. \& Currie, K.} (1989).
\newblock Goal ordering in partially ordered plans.
\newblock In {\em Proc.\ of the 11$^{~th}$ IJCAI}, pages 960--965, Detroit, MI.

\bibitem[Erol {\em et~al.}, 1994]{Erol:94a}
{Erol, K., Hendler, J., \& Nau, D.~S.} (1994).
\newblock {UMCP}: a sound and complete procedure for hierarchical task-network
  planning.
\newblock In {\em The Second International Conference on Artificial
  Intelligence Planning Systems (AIPS-94)}.

\bibitem[Fikes \& Nilsson, 1971]{Fikes:71a}
{Fikes, R.~E. \& Nilsson, N.~J.} (1971).
\newblock {STRIPS}: {A} new approach to the application of theorem proving to
  problem solving.
\newblock {\em Artificial Intelligence}, 2.

\bibitem[Friedland \& Iwasaki, 1985]{Friedland:85a}
{Friedland, P. \& Iwasaki, Y.} (1985).
\newblock The concept and implementation of skeletal plans.
\newblock {\em Journal of Automated Reasoning}, 1.

\bibitem[Kambhampati, 1994]{Kambhampati:94}
{Kambhampati, S.} (1994).
\newblock Refinement search as a unifying framework for analyzing planning
  algorithms.
\newblock In {\em Proc. Principles of Knowledge Representation and Reasoning
  (KRR)}. Proceedings of Knowledge Representation and Reasoning (KRR).

\bibitem[Kambhampati, 1995]{Kambhampati:95a}
{Kambhampati, S.} (1995).
\newblock Planning as refinement search: a unified framework for evaluating
  design tradeoffs in partial-order planning.
\newblock {\em Artificial Intelligence}, 76.
\newblock Special issue on planning and scheduling.

\bibitem[Kingston {\em et~al.}, 1996]{Kingston:96a}
{Kingston, J. K.~C., Shadbolt, N., \& Tate, A.} (1996).
\newblock {CommonKADS} models for knowledge based planning.
\newblock In {\em AAAI--96}.

\bibitem[Klinker {\em et~al.}, 1991]{Klinker:91a}
{Klinker, G., Bhola, C., Dallemagne, G., Marques, D., \& McDermott, J.} (1991).
\newblock Usable and reusable programming constructs.
\newblock {\em Knowledge Acquisition}, 3:117--136.

\bibitem[Knoblock, 1996]{Knoblock:96a}
{Knoblock, C.} (1996).
\newblock Building a planner for information gathering: a report from the
  trenches.
\newblock In {\em 3rd Internation Conference on AI Planning Systems, AIPS-96},
  pages 134--141. AAAI Press.

\bibitem[MacGregor, 1991]{MacGregor:91a}
{MacGregor, R.} (1991).
\newblock Inside the {LOOM} classifier.
\newblock {\em {SIGART} Bulletin}, 2(3):70--76.

\bibitem[McAllester \& Rosenblitt, 1991]{McAllester:91a}
{McAllester, D. \& Rosenblitt, D.} (1991).
\newblock Systematic nonlinear planning.
\newblock In {\em Proc.\ of AAAI-91}, pages 634--639, Anaheim, CA.

\bibitem[McCarthy \& Hayes, 1969]{McCarthy:69a}
{McCarthy, J. \& Hayes, P.~J.} (1969).
\newblock Some philosophical problems from the standpoint of artificial
  intelligence.
\newblock In {\em Machine Intelligence 4}.

\bibitem[Newell \& Simon, 1963]{Newell:63a}
{Newell, A. \& Simon, H.} (1963).
\newblock Gps: A program that simulates human thought.
\newblock In Feigenbaum, E. \& Feldman, J., {\rm (Eds.)}, {\em Computers and
  Thought}, pages 279--293. New York, McGraw-Hill.

\bibitem[{Orsv\"arn}, 1996]{Orsvarn:96a}
{{Orsv\"arn}, K.} (1996).
\newblock Principles for libraries of task decomposition methods -- conclusions
  from a case-study.
\newblock In Shadbolt, N., {O'Hara}, K., \& Schreiber, G., {\rm (Eds.)}, {\em
  Lecture Notes in Artificial Intelligence, 1076, 9th European Knowledge
  Acquisition Workshop, EKAW-96}, pages 48--65. Springer-Verlag.

\bibitem[Puerta {\em et~al.}, 1992]{Puerta:92a}
{Puerta, A., Egar, J., Tu, S., \& Musen, M.} (1992).
\newblock A multiple-method shell for the automatic generation of knowledge
  acquisition tools.
\newblock {\em Knowledge Acquisition}, 4:171--196.

\bibitem[Sacerdoti, 1974]{Sacerdoti:74a}
{Sacerdoti, E.~D.} (1974).
\newblock Planning in a hierarchy of abstraction spaces.
\newblock {\em Artificial Intelligence}, 5:115--135.

\bibitem[Schreiber {\em et~al.}, 1994]{Schreiber:94f}
{Schreiber, A.~T., Wielinga, B.~J., de~Hoog, R., Akkermans, J.~M., \& {Van de
  Velde}, W.} (1994).
\newblock {CommonKADS}: A comprehensive methodology for {KBS} development.
\newblock {\em IEEE Expert}, 9(6):28--37.

\bibitem[Stone {\em et~al.}, 1994]{Stone:94a}
{Stone, P., Veloso, M., \& Blythe, J.} (1994).
\newblock The need for different domain-independent heuristics.
\newblock In {\em Proceedings of the Second International Conference on AI
  Planning Systems}.

\bibitem[Sussman, 1975]{Sussman:75a}
{Sussman, G.~J.} (1975).
\newblock {\em A Computer Model of Skill Acquisition}, volume~1 of {\em
  Artificial Intelligence Series}.
\newblock New York, American Elsevier.

\bibitem[Swartout \& Gil, 1995]{Swartout:95a}
{Swartout, W. \& Gil, Y.} (1995).
\newblock Expect: Explicit representations for flexible acquisition.
\newblock In {\em Proceedings of the Ninth Knowledge Acquisition for
  Knowledge-Based Systems Workshop}.

\bibitem[Tate, 1977]{Tate:77a}
{Tate, A.} (1977).
\newblock Generating project networks.
\newblock In {\em Proceedings IJCAI--77, Paris}, pages 888--893.

\bibitem[Tate, 1996]{Tate:96a}
{Tate, A., {\rm (Ed.)}} (1996).
\newblock {\em Advanced planning technology - technological achievements of the
  {ARPA/Rome Planning Initiative}}.
\newblock AAAI Press.

\bibitem[Tate {\em et~al.}, 1990]{Tate:90}
{Tate, A., Hendler, J., \& Drummond, M.} (1990).
\newblock A review of ai planning techniques.
\newblock In Allen, J., Hendler, J., \& Tate, A., {\rm (Eds.)}, {\em Readings
  in Planning}, pages 26--49. San Mateo, CA, Kaufmann.

\bibitem[Valente, 1995]{Valente:95a}
{Valente, A.} (1995).
\newblock Knowledge level analysis of planning.
\newblock {\em SIGART Bulletin}, 6(1):33--41.

\bibitem[van Heijst {\em et~al.}, 1992]{vanHeijst:92a}
{van Heijst, G., Terpstra, P., Wielinga, B.~J., \& Shadbolt, N.} (1992).
\newblock Using generalised directive models in knowledge acquisition.
\newblock In Wetter, T., Althoff, K.~D., Boose, J., Gaines, B., Linster, M., \&
  Schmalhofer, F., {\rm (Eds.)}, {\em Current Developments in Knowledge
  Acquisition: EKAW-92}, Berlin, Germany. Springer-Verlag.

\end{thebibliography}
