\begin{thebibliography}{}

\bibitem[\protect\BCAY{Allen, Kautz, Pelavin,\ \BBA\ Tenenberg}{Allen
  et~al.}{1991}]{allen:91}
Allen, J., Kautz, H., Pelavin, R., \BBA\ Tenenberg, J. \BBOP1991\BBCP.
\newblock {\Bem Reasoning about plans}.
\newblock Morgan Kaufmann.

\bibitem[\protect\BCAY{Allen}{Allen}{1983}]{allen:83a}
Allen, J.~F. \BBOP1983\BBCP.
\newblock \BBOQ Maintaining knowledge about temporal intervals\BBCQ\
\newblock {\Bem Communications of the ACM}, {\Bem 26\/}(11), 832--843.

\bibitem[\protect\BCAY{Allen\ \BBA\ Koomen}{Allen\ \BBA\
  Koomen}{1983}]{allen:83b}
Allen, J.~F.\BBACOMMA\  \BBA\ Koomen, J.~A. \BBOP1983\BBCP.
\newblock \BBOQ Planning using a temporal world model\BBCQ\
\newblock In {\Bem Proceedings of the International Joint Conference on
  Artificial Intelligence}, \BPGS\ 741--747.

\bibitem[\protect\BCAY{Bock}{Bock}{1996}]{psl1}
Bock, C. \BBOP1996\BBCP.
\newblock \BBOQ Unified process specification language: Requirements for
  modeling process\BBCQ\
\newblock \BTR\ NISTIR 5910, National Institute of Standards and Technology.

\bibitem[\protect\BCAY{Castillo, {Fdez-Olivares}, {Garc\'{i}a-P\'{e}rez},\
  \BBA\ Palao}{Castillo et~al.}{2006}]{castillo:06}
Castillo, L., {Fdez-Olivares}, J., {Garc\'{i}a-P\'{e}rez}, O., \BBA\ Palao, F.
  \BBOP2006\BBCP.
\newblock \BBOQ Efficiently handling temporal knowledge in an {HTN}
  planner\BBCQ\
\newblock In {\Bem 16th International Conference on Automated Planning and
  Scheduling (ICAPS-06)}, \BPGS\ 63--72. AAAI.

\bibitem[\protect\BCAY{Chien, Knight, Stechert, Sherwood,\ \BBA\
  Rabideau}{Chien et~al.}{2000a}]{chien:00}
Chien, S., Knight, R., Stechert, A., Sherwood, R., \BBA\ Rabideau, G.
  \BBOP2000a\BBCP.
\newblock \BBOQ Using iterative repair to improve the responsiveness of
  planning and scheduling\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on AI Planning
  and Scheduling}, \BPGS\ 300--307.

\bibitem[\protect\BCAY{Chien, Rabideu, Knight, Sherwood, Engelhardt, Mutz,
  Estlin, Smith, Fisher, Barrett, Stebbins,\ \BBA\ Tran}{Chien
  et~al.}{2000b}]{rabideau:00}
Chien, S., Rabideu, G., Knight, R., Sherwood, R., Engelhardt, B., Mutz, D.,
  Estlin, T., Smith, B., Fisher, F., Barrett, T., Stebbins, G., \BBA\ Tran, D.
  \BBOP2000b\BBCP.
\newblock \BBOQ Automating space mission operations using automated planning
  and scheduling\BBCQ\
\newblock In {\Bem Proc. SpaceOps}.

\bibitem[\protect\BCAY{Clement}{Clement}{2002}]{clement:02}
Clement, B. \BBOP2002\BBCP.
\newblock {\Bem Abstract Reasoning for Multiagent Coordination and Planning}.
\newblock Ph.D.\ thesis, University of Michigan, Ann Arbor.

\bibitem[\protect\BCAY{Clement\ \BBA\ Durfee}{Clement\ \BBA\
  Durfee}{1999}]{clement:99}
Clement, B.\BBACOMMA\  \BBA\ Durfee, E. \BBOP1999\BBCP.
\newblock \BBOQ Top-down search for coordinating the hierarchical plans of
  multiple agents\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on Autonomous
  Agents}.

\bibitem[\protect\BCAY{Corkill}{Corkill}{1979}]{corkill:79}
Corkill, D. \BBOP1979\BBCP.
\newblock \BBOQ Hierarchical planning in a distributed environment\BBCQ\
\newblock In {\Bem Proceedings of the International Joint Conference on
  Artificial Intelligence}, \BPGS\ 168--175.

\bibitem[\protect\BCAY{Cox\ \BBA\ Durfee}{Cox\ \BBA\ Durfee}{2003}]{cox:03}
Cox, J.~S.\BBACOMMA\  \BBA\ Durfee, E.~H. \BBOP2003\BBCP.
\newblock \BBOQ Discovering and exploiting synergy between hierarchical
  planning agents\BBCQ\
\newblock In {\Bem Proceedings of the International Joint Conference on
  Autonomous Agents and MultiAgent Systems}, \BPGS\ 281--288.

\bibitem[\protect\BCAY{Currie\ \BBA\ Tate}{Currie\ \BBA\
  Tate}{1991}]{currie:91}
Currie, K.\BBACOMMA\  \BBA\ Tate, A. \BBOP1991\BBCP.
\newblock \BBOQ {O-Plan}: The open planning architecture\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 52}, 49--86.

\bibitem[\protect\BCAY{Decker}{Decker}{1995}]{decker:95a}
Decker, K. \BBOP1995\BBCP.
\newblock {\Bem Environment centered analysis and design of coordination
  mechanisms}.
\newblock Ph.D.\ thesis, University of Massachusetts.

\bibitem[\protect\BCAY{desJardins\ \BBA\ Wolverton}{desJardins\ \BBA\
  Wolverton}{1999}]{desjardins:99}
desJardins, M.\BBACOMMA\  \BBA\ Wolverton, M. \BBOP1999\BBCP.
\newblock \BBOQ Coordinating a distributed planning system\BBCQ\
\newblock {\Bem AI Magazine}, {\Bem 20\/}(4), 45--53.

\bibitem[\protect\BCAY{Drabble\ \BBA\ Tate}{Drabble\ \BBA\
  Tate}{1994}]{drabble94}
Drabble, B.\BBACOMMA\  \BBA\ Tate, A. \BBOP1994\BBCP.
\newblock \BBOQ The use of optimistic and pessimistic resource profiles to
  inform search in an activity based planner\BBCQ\
\newblock In {\Bem Artificial Intelligence Planning Systems}, \BPGS\ 243--248.

\bibitem[\protect\BCAY{Durfee\ \BBA\ Montgomery}{Durfee\ \BBA\
  Montgomery}{1991}]{durfee:91b}
Durfee, E.~H.\BBACOMMA\  \BBA\ Montgomery, T.~A. \BBOP1991\BBCP.
\newblock \BBOQ Coordination as distributed search in a hierarchical behavior
  space\BBCQ\
\newblock {\Bem IEEE Transactions of Systems, Man and Cybernetics}, {\Bem
  21\/}(6), 1363--1378.

\bibitem[\protect\BCAY{echter, Meiri,\ \BBA\ Pearl}{echter
  et~al.}{1991}]{dechter:91}
echter, R., Meiri, I., \BBA\ Pearl, J. \BBOP1991\BBCP.
\newblock \BBOQ Temporal constraint networks\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 49}, 61--95.

\bibitem[\protect\BCAY{Emerson\ \BBA\ Halpern}{Emerson\ \BBA\
  Halpern}{1985}]{ctl}
Emerson, E.\BBACOMMA\  \BBA\ Halpern, J.~Y. \BBOP1985\BBCP.
\newblock \BBOQ Decision procedures and expressiveness in the temporal logic of
  branching time\BBCQ\
\newblock {\Bem Journal of Computer and System Sciences}, {\Bem 30\/}(1),
  1--24.

\bibitem[\protect\BCAY{Ephrati\ \BBA\ Rosenschein}{Ephrati\ \BBA\
  Rosenschein}{1994}]{ephrati:94}
Ephrati, E.\BBACOMMA\  \BBA\ Rosenschein, J. \BBOP1994\BBCP.
\newblock \BBOQ Divide and conquer in multi-agent planning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 375--380.

\bibitem[\protect\BCAY{Erol, Hendler,\ \BBA\ Nau}{Erol et~al.}{1994a}]{erol:94}
Erol, K., Hendler, J., \BBA\ Nau, D. \BBOP1994a\BBCP.
\newblock \BBOQ Semantics for hierarchical task-network planning\BBCQ\
\newblock \BTR\ CS-TR-3239, University of Maryland.

\bibitem[\protect\BCAY{Erol, Nau,\ \BBA\ Hendler}{Erol
  et~al.}{1994b}]{erol:94a}
Erol, K., Nau, D., \BBA\ Hendler, J. \BBOP1994b\BBCP.
\newblock \BBOQ {UMCP}: A sound and complete planning procedure for
  hierarchical task-network planning.\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on AI Planning
  and Scheduling}.

\bibitem[\protect\BCAY{Fagin, Halpern, Moses,\ \BBA\ Vardi}{Fagin
  et~al.}{1995}]{RAK}
Fagin, R., Halpern, J., Moses, Y., \BBA\ Vardi, M. \BBOP1995\BBCP.
\newblock {\Bem Reasoning about knowledge}.
\newblock MIT Press.

\bibitem[\protect\BCAY{Firby}{Firby}{1989}]{firby:89}
Firby, J. \BBOP1989\BBCP.
\newblock {\Bem Adaptive Execution in Complex Dynamic Domains}.
\newblock Ph.D.\ thesis, Yale University.

\bibitem[\protect\BCAY{Georgeff}{Georgeff}{1983}]{georgeff:83}
Georgeff, M.~P. \BBOP1983\BBCP.
\newblock \BBOQ Communication and interaction in multiagent planning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 125--129.

\bibitem[\protect\BCAY{Georgeff}{Georgeff}{1984}]{georgeff:84}
Georgeff, M.~P. \BBOP1984\BBCP.
\newblock \BBOQ A theory of action for multiagent planning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 121--125.

\bibitem[\protect\BCAY{Georgeff\ \BBA\ Lansky}{Georgeff\ \BBA\
  Lansky}{1986}]{georgeff:86}
Georgeff, M.~P.\BBACOMMA\  \BBA\ Lansky, A. \BBOP1986\BBCP.
\newblock \BBOQ Procedural knowledge\BBCQ\
\newblock {\Bem Proceedings of IEEE}, {\Bem 74\/}(10), 1383--1398.

\bibitem[\protect\BCAY{Giunchiglia\ \BBA\ Traverso}{Giunchiglia\ \BBA\
  Traverso}{1999}]{giunchiglia:99}
Giunchiglia, F.\BBACOMMA\  \BBA\ Traverso, P. \BBOP1999\BBCP.
\newblock \BBOQ Planning as model checking\BBCQ\
\newblock In {\Bem Proceedings of the 5th European Conference on Planning},
  \BPGS\ 1--20, London, UK. Springer-Verlag.

\bibitem[\protect\BCAY{Glabbeek}{Glabbeek}{1997}]{glabbeek:97}
Glabbeek, R.~v. \BBOP1997\BBCP.
\newblock \BBOQ Notes on the methodology of {CCS} and {CSP}\BBCQ\
\newblock {\Bem Theoretical Computer Science}, {\Bem 177\/}(2), 329--349.
\newblock Originally appeared as Report CS-R8624, CWI, Amsterdam, 1986.

\bibitem[\protect\BCAY{Grosz\ \BBA\ Kraus}{Grosz\ \BBA\ Kraus}{1996}]{grosz:95}
Grosz, B.\BBACOMMA\  \BBA\ Kraus, S. \BBOP1996\BBCP.
\newblock \BBOQ Collaborative plans for complex group action\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 86}, 269--358.

\bibitem[\protect\BCAY{Huber}{Huber}{1999}]{huber:99}
Huber, M. \BBOP1999\BBCP.
\newblock \BBOQ {JAM}: A {BDI}-theoretic mobile agent architecture\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on Autonomous
  Agents}, \BPGS\ 236--243.

\bibitem[\protect\BCAY{Knight, Rabideau,\ \BBA\ Chien}{Knight
  et~al.}{2000}]{knight:00}
Knight, R., Rabideau, G., \BBA\ Chien, S. \BBOP2000\BBCP.
\newblock \BBOQ Computing valid intervals for collections of activities with
  shared states and resources\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on AI Planning
  and Scheduling}, \BPGS\ 600--610.

\bibitem[\protect\BCAY{Knoblock}{Knoblock}{1991}]{knoblock:91}
Knoblock, C. \BBOP1991\BBCP.
\newblock \BBOQ Search reduction in hierarchical problem solving\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 686--691.

\bibitem[\protect\BCAY{Korf}{Korf}{1987}]{korf:87}
Korf, R. \BBOP1987\BBCP.
\newblock \BBOQ Planning as search: A quantitative approach\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 33}, 65--88.

\bibitem[\protect\BCAY{Laborie\ \BBA\ Ghallab}{Laborie\ \BBA\
  Ghallab}{1995}]{laborie:95}
Laborie, P.\BBACOMMA\  \BBA\ Ghallab, M. \BBOP1995\BBCP.
\newblock \BBOQ Planning with sharable resource constraints\BBCQ\
\newblock In {\Bem Proceedings of the International Joint Conference on
  Artificial Intelligence}, \BPGS\ 1643--1649.

\bibitem[\protect\BCAY{Lansky}{Lansky}{1990}]{lansky:90}
Lansky, A. \BBOP1990\BBCP.
\newblock \BBOQ Localized search for controlling automated reasoning\BBCQ\
\newblock In {\Bem Proceedings of the DARPA Workshop on Innovative Approaches
  to Planning, Scheduling and Control}, \BPGS\ 115--125.

\bibitem[\protect\BCAY{Lee, Huber, Durfee,\ \BBA\ Kenny}{Lee
  et~al.}{1994}]{lee:94}
Lee, J., Huber, M.~J., Durfee, E.~H., \BBA\ Kenny, P.~G. \BBOP1994\BBCP.
\newblock \BBOQ {UMPRS}: An implementation of the procedural reasoning system
  for multirobot applications\BBCQ\
\newblock In {\Bem Proceedings of the AIAA/NASA Conference on Intelligent
  Robotics in Field, Factory, Service, and Space}, \BPGS\ 842--849.

\bibitem[\protect\BCAY{McAllester\ \BBA\ Rosenblitt}{McAllester\ \BBA\
  Rosenblitt}{1991}]{snlp:91}
McAllester, D.\BBACOMMA\  \BBA\ Rosenblitt, D. \BBOP1991\BBCP.
\newblock \BBOQ Systematic nonlinear planning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 634--639.

\bibitem[\protect\BCAY{Muscettola}{Muscettola}{1994}]{muscettola:94}
Muscettola, N. \BBOP1994\BBCP.
\newblock \BBOQ {HSTS}: Integrating planning scheduling\BBCQ\
\newblock {\Bem Intelligent Scheduling}, 169--212.

\bibitem[\protect\BCAY{Nau, Au, Ilghami, Kuter, Murdock, Wu,\ \BBA\ Yaman}{Nau
  et~al.}{2003}]{nau:03}
Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, J., Wu, D., \BBA\ Yaman, F.
  \BBOP2003\BBCP.
\newblock \BBOQ {SHOP2}: An {HTN} planning system\BBCQ\
\newblock {\Bem Journal of Artificial Intelligence Research}, {\Bem 20},
  379--404.

\bibitem[\protect\BCAY{Pappachan}{Pappachan}{2001}]{pappachan:01}
Pappachan, P. \BBOP2001\BBCP.
\newblock {\Bem Coordinating Plan Execution in Dynamic Multiagent
  Environments}.
\newblock Ph.D.\ thesis, University of Michigan, Ann Arbor.

\bibitem[\protect\BCAY{Pratt}{Pratt}{1976}]{pratt:76}
Pratt, V.~R. \BBOP1976\BBCP.
\newblock \BBOQ Semantical considerations on floyd-hoare logic\BBCQ\
\newblock In {\Bem 17th Annual IEEE Symposium on Foundations of Computer
  Science}, \BPGS\ 109--121.

\bibitem[\protect\BCAY{Rao\ \BBA\ Georgeff}{Rao\ \BBA\ Georgeff}{1995}]{rao:95}
Rao, A.~S.\BBACOMMA\  \BBA\ Georgeff, M.~P. \BBOP1995\BBCP.
\newblock \BBOQ {BDI}-agents: From theory to practice\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on Multi-Agent
  Systems}, San Francisco.

\bibitem[\protect\BCAY{Sacerdoti}{Sacerdoti}{1974}]{sacerdoti:74}
Sacerdoti, E. \BBOP1974\BBCP.
\newblock \BBOQ Planning in a hierarchy of abstraction spaces\BBCQ\
\newblock {\Bem Artificial Intelligence}, {\Bem 5\/}(2), 115--135.

\bibitem[\protect\BCAY{Sacerdoti}{Sacerdoti}{1977}]{sacerdoti:77}
Sacerdoti, E.~D. \BBOP1977\BBCP.
\newblock {\Bem A Structure for Plans and Behavior}.
\newblock Elsevier-North Holland.

\bibitem[\protect\BCAY{Schlenoff, Knutilla,\ \BBA\ Ray}{Schlenoff
  et~al.}{2006}]{psl2}
Schlenoff, C., Knutilla, A., \BBA\ Ray, S. \BBOP2006\BBCP.
\newblock \BBOQ Interprocess communication in the process specification
  language\BBCQ\
\newblock \BTR\ NISTIR 7348, National Institute of Standards and Technology.

\bibitem[\protect\BCAY{Tate}{Tate}{1977}]{tate:77}
Tate, A. \BBOP1977\BBCP.
\newblock \BBOQ Generating project networks\BBCQ\
\newblock In {\Bem Proceedings of the International Joint Conference on
  Artificial Intelligence}, \BPGS\ 888--893.

\bibitem[\protect\BCAY{Thangarajah, Padgham,\ \BBA\ Winikoff}{Thangarajah
  et~al.}{2003}]{thang:03}
Thangarajah, J., Padgham, L., \BBA\ Winikoff, M. \BBOP2003\BBCP.
\newblock \BBOQ Detecting {\&} avoiding interference between goals in
  intelligent agents\BBCQ\
\newblock In {\Bem Proceedings of the International Joint Conference on
  Artificial Intelligence}, \BPGS\ 721--726.

\bibitem[\protect\BCAY{Tsuneto, Hendler,\ \BBA\ Nau}{Tsuneto
  et~al.}{1997}]{tsuneto:97}
Tsuneto, R., Hendler, J., \BBA\ Nau, D. \BBOP1997\BBCP.
\newblock \BBOQ Space-size minimization in refinement planning\BBCQ\
\newblock In {\Bem Proceedings of the European Conference on Planning}.

\bibitem[\protect\BCAY{Tsuneto, Hendler,\ \BBA\ Nau}{Tsuneto
  et~al.}{1998}]{tsuneto:98}
Tsuneto, R., Hendler, J., \BBA\ Nau, D. \BBOP1998\BBCP.
\newblock \BBOQ Analyzing external conditions to improve the efficiency of
  {HTN} planning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 913--920.

\bibitem[\protect\BCAY{Vilain\ \BBA\ Kautz}{Vilain\ \BBA\
  Kautz}{1986}]{Vilain:86}
Vilain\BBACOMMA\  \BBA\ Kautz, H. \BBOP1986\BBCP.
\newblock \BBOQ Constraint propagation algorithms for temporal reasoning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 377--382.

\bibitem[\protect\BCAY{Weld}{Weld}{1994}]{weld:94}
Weld, D. \BBOP1994\BBCP.
\newblock \BBOQ An introduction to least commitment planning\BBCQ\
\newblock {\Bem AI Magazine}, {\Bem 15\/}(4), 27--61.

\bibitem[\protect\BCAY{Wilkins}{Wilkins}{1990}]{wilkins:90}
Wilkins, D.~E. \BBOP1990\BBCP.
\newblock \BBOQ Can {AI} planners solve practical problems?\BBCQ\
\newblock {\Bem Computational Intelligence}, {\Bem 6\/}(4), 232--246.

\bibitem[\protect\BCAY{Wolverton\ \BBA\ {desJardins}}{Wolverton\ \BBA\
  {desJardins}}{1998}]{wolverton98}
Wolverton, M.\BBACOMMA\  \BBA\ {desJardins}, M. \BBOP1998\BBCP.
\newblock \BBOQ Controlling communication in distributed planning using
  irrelevance reasoning\BBCQ\
\newblock In {\Bem Proceedings of the National Conference on Artificial
  Intelligence}, \BPGS\ 868--874.

\bibitem[\protect\BCAY{Yang}{Yang}{1990}]{yang:90}
Yang, Q. \BBOP1990\BBCP.
\newblock \BBOQ Formalizing planning knowledge for hierarchical planning\BBCQ\
\newblock {\Bem Computational Intelligence}, {\Bem 6\/}(1), 12--24.

\bibitem[\protect\BCAY{Yang}{Yang}{1997}]{yang:97}
Yang, Q.\BED. \BBOP1997\BBCP.
\newblock {\Bem Intelligent Planning: A Decomposition and Abstraction Based
  Approach}.
\newblock Springer.

\bibitem[\protect\BCAY{Young, Pollack,\ \BBA\ Moore}{Young
  et~al.}{1994}]{dpocl:94}
Young, M., Pollack, M., \BBA\ Moore, J. \BBOP1994\BBCP.
\newblock \BBOQ Decomposition and causality in partial-order planning\BBCQ\
\newblock In {\Bem Proceedings of the International Conference on AI Planning
  and Scheduling}, \BPGS\ 188--193.

\end{thebibliography}
