Bibliography

Allen, J., Kautz, H., Pelavin, R., Tenenberg, J. 1991.

Reasoning about plans.
Morgan Kaufmann.

Allen, J. F. 1983.

Maintaining knowledge about temporal intervals
Communications of the ACM, 26(11), 832-843.

Allen, J. F. Koomen, J. A. 1983.

Planning using a temporal world model
In Proceedings of the International Joint Conference on Artificial Intelligence, 741-747.

Bock, C. 1996.

Unified process specification language: Requirements for modeling process
NISTIR 5910, National Institute of Standards and Technology.

Castillo, L., Fdez-Olivares, J., García-Pérez, O., Palao, F. 2006.

Efficiently handling temporal knowledge in an HTN planner
In 16th International Conference on Automated Planning and Scheduling (ICAPS-06), 63-72. AAAI.

Chien, S., Knight, R., Stechert, A., Sherwood, R., Rabideau, G. 2000a.

Using iterative repair to improve the responsiveness of planning and scheduling
In Proceedings of the International Conference on AI Planning and Scheduling, 300-307.

Chien, S., Rabideu, G., Knight, R., Sherwood, R., Engelhardt, B., Mutz, D., Estlin, T., Smith, B., Fisher, F., Barrett, T., Stebbins, G., Tran, D. 2000b.

Automating space mission operations using automated planning and scheduling
In Proc. SpaceOps.

Clement, B. 2002.

Abstract Reasoning for Multiagent Coordination and Planning.
Ph.D. thesis, University of Michigan, Ann Arbor.

Clement, B. Durfee, E. 1999.

Top-down search for coordinating the hierarchical plans of multiple agents
In Proceedings of the International Conference on Autonomous Agents.

Corkill, D. 1979.

Hierarchical planning in a distributed environment
In Proceedings of the International Joint Conference on Artificial Intelligence, 168-175.

Cox, J. S. Durfee, E. H. 2003.

Discovering and exploiting synergy between hierarchical planning agents
In Proceedings of the International Joint Conference on Autonomous Agents and MultiAgent Systems, 281-288.

Currie, K. Tate, A. 1991.

O-Plan: The open planning architecture
Artificial Intelligence, 52, 49-86.

Decker, K. 1995.

Environment centered analysis and design of coordination mechanisms.
Ph.D. thesis, University of Massachusetts.

desJardins, M. Wolverton, M. 1999.

Coordinating a distributed planning system
AI Magazine, 20(4), 45-53.

Drabble, B. Tate, A. 1994.

The use of optimistic and pessimistic resource profiles to inform search in an activity based planner
In Artificial Intelligence Planning Systems, 243-248.

Durfee, E. H. Montgomery, T. A. 1991.

Coordination as distributed search in a hierarchical behavior space
IEEE Transactions of Systems, Man and Cybernetics, 21(6), 1363-1378.

Dechter, R., Meiri, I., Pearl, J. 1991.

Temporal constraint networks
Artificial Intelligence, 49, 61-95.

Emerson, E. Halpern, J. Y. 1985.

Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences, 30(1), 1-24.

Ephrati, E. Rosenschein, J. 1994.

Divide and conquer in multi-agent planning
In Proceedings of the National Conference on Artificial Intelligence, 375-380.

Erol, K., Hendler, J., Nau, D. 1994a.

Semantics for hierarchical task-network planning
CS-TR-3239, University of Maryland.

Erol, K., Nau, D., Hendler, J. 1994b.

UMCP: A sound and complete planning procedure for hierarchical task-network planning.
In Proceedings of the International Conference on AI Planning and Scheduling.

Fagin, R., Halpern, J., Moses, Y., Vardi, M. 1995.

Reasoning about knowledge.
MIT Press.

Firby, J. 1989.

Adaptive Execution in Complex Dynamic Domains.
Ph.D. thesis, Yale University.

Georgeff, M. P. 1983.

Communication and interaction in multiagent planning
In Proceedings of the National Conference on Artificial Intelligence, 125-129.

Georgeff, M. P. 1984.

A theory of action for multiagent planning
In Proceedings of the National Conference on Artificial Intelligence, 121-125.

Georgeff, M. P. Lansky, A. 1986.

Procedural knowledge
Proceedings of IEEE, 74(10), 1383-1398.

Giunchiglia, F. Traverso, P. 1999.

Planning as model checking
In Proceedings of the 5th European Conference on Planning, 1-20, London, UK. Springer-Verlag.

Glabbeek, R. v. 1997.

Notes on the methodology of CCS and CSP
Theoretical Computer Science, 177(2), 329-349.
Originally appeared as Report CS-R8624, CWI, Amsterdam, 1986.

Grosz, B. Kraus, S. 1996.

Collaborative plans for complex group action
Artificial Intelligence, 86, 269-358.

Huber, M. 1999.

JAM: A BDI-theoretic mobile agent architecture
In Proceedings of the International Conference on Autonomous Agents, 236-243.

Knight, R., Rabideau, G., Chien, S. 2000.

Computing valid intervals for collections of activities with shared states and resources
In Proceedings of the International Conference on AI Planning and Scheduling, 600-610.

Knoblock, C. 1991.

Search reduction in hierarchical problem solving
In Proceedings of the National Conference on Artificial Intelligence, 686-691.

Korf, R. 1987.

Planning as search: A quantitative approach
Artificial Intelligence, 33, 65-88.

Laborie, P. Ghallab, M. 1995.

Planning with sharable resource constraints
In Proceedings of the International Joint Conference on Artificial Intelligence, 1643-1649.

Lansky, A. 1990.

Localized search for controlling automated reasoning
In Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, 115-125.

Lee, J., Huber, M. J., Durfee, E. H., Kenny, P. G. 1994.

UMPRS: An implementation of the procedural reasoning system for multirobot applications
In Proceedings of the AIAA/NASA Conference on Intelligent Robotics in Field, Factory, Service, and Space, 842-849.

McAllester, D. Rosenblitt, D. 1991.

Systematic nonlinear planning
In Proceedings of the National Conference on Artificial Intelligence, 634-639.

Muscettola, N. 1994.

HSTS: Integrating planning scheduling
Intelligent Scheduling, 169-212.

Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, J., Wu, D., Yaman, F. 2003.

SHOP2: An HTN planning system
Journal of Artificial Intelligence Research, 20, 379-404.

Pappachan, P. 2001.

Coordinating Plan Execution in Dynamic Multiagent Environments.
Ph.D. thesis, University of Michigan, Ann Arbor.

Pratt, V. R. 1976.

Semantical considerations on floyd-hoare logic
In 17th Annual IEEE Symposium on Foundations of Computer Science, 109-121.

Rao, A. S. Georgeff, M. P. 1995.

BDI-agents: From theory to practice
In Proceedings of the International Conference on Multi-Agent Systems, San Francisco.

Sacerdoti, E. 1974.

Planning in a hierarchy of abstraction spaces
Artificial Intelligence, 5(2), 115-135.

Sacerdoti, E. D. 1977.

A Structure for Plans and Behavior.
Elsevier-North Holland.

Schlenoff, C., Knutilla, A., Ray, S. 2006.

Interprocess communication in the process specification language
NISTIR 7348, National Institute of Standards and Technology.

Tate, A. 1977.

Generating project networks
In Proceedings of the International Joint Conference on Artificial Intelligence, 888-893.

Thangarajah, J., Padgham, L., Winikoff, M. 2003.

Detecting & avoiding interference between goals in intelligent agents
In Proceedings of the International Joint Conference on Artificial Intelligence, 721-726.

Tsuneto, R., Hendler, J., Nau, D. 1997.

Space-size minimization in refinement planning
In Proceedings of the European Conference on Planning.

Tsuneto, R., Hendler, J., Nau, D. 1998.

Analyzing external conditions to improve the efficiency of HTN planning
In Proceedings of the National Conference on Artificial Intelligence, 913-920.

Vilain Kautz, H. 1986.

Constraint propagation algorithms for temporal reasoning
In Proceedings of the National Conference on Artificial Intelligence, 377-382.

Weld, D. 1994.

An introduction to least commitment planning
AI Magazine, 15(4), 27-61.

Wilkins, D. E. 1990.

Can AI planners solve practical problems?
Computational Intelligence, 6(4), 232-246.

Wolverton, M. desJardins, M. 1998.

Controlling communication in distributed planning using irrelevance reasoning
In Proceedings of the National Conference on Artificial Intelligence, 868-874.

Yang, Q. 1990.

Formalizing planning knowledge for hierarchical planning
Computational Intelligence, 6(1), 12-24.

Yang, Q.. 1997.

Intelligent Planning: A Decomposition and Abstraction Based Approach.
Springer.

Young, M., Pollack, M., Moore, J. 1994.

Decomposition and causality in partial-order planning
In Proceedings of the International Conference on AI Planning and Scheduling, 188-193.