References

BCF⁺95

A. Barrett, D. Christianson, M. Friedman, C. Kwok, K. Golden, J. Penberthy, Y. Sun, and D. Weld. UCPOP User's manual, version 4.0. Technical Report 93-09-06d, Department of Computer Science and Engineering, University of Washington, 1995.

GL93

M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2,3,4):301--323, 1993.

Kah96

Y. G. Kahl. Planning in complex domains: Expressiveness and efficiency. Master's thesis, Dept of Computer Science, University of Texas at El Paso, 1996.

Lev96

Hector Levesque. What is planning in the presence of sensing? In Proc. of AAAI-96, pages 1139--1146, 1996.

LMT97

J. Lobo, G. Mendez, and S. Taylor. Adding knowledge to the action description languga . In In Proc. of AAAI97. AAAI Press, July 1997.