Static and Completion Analysis for Planning Knowledge Base Development and Verification (1996)

by S Chien
Venue:In Proceedings of the Third International Conference on AI Planning Systems, 53–61. Menlo Park, Calif