A sound, complete, partial order planner for ADL

J. Penberthy and D. S. Weld. UCPOP: A sound, complete, partial order planner for ADL. In Proceedings of the Third International Conference on Knowledge Representation and Reasoning, pages 103- 114. Morgan Kauhnann Publishers, Inc., 1992.

1992