Bibliography 593
[316] H. Kautz and B. Selman. Unifying SAT-based and graph-based planning. In
Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI),
pp. 318–325, 1999.
[317] H. Kautz and J. P. Walser. State-space planning by integer optimization. In
AAAI/IAAI Proceedings, pp. 526–533, 1999.
[318] H. Kautz. Planning with first order dynamic logic. In Proceedings of the
CSCSI/SCEIO, pp. 19–26, 1982.
[319] L. Kavraki. Algorithms in robotics: The motion planning perspective. In Frontiers
of Engineering Publication, pp. 90–93. National Academy of Engineering, 1999.
[320] L. Kavraki, M. Kolountzakis, and J. Latombe. Analysis of probabilistic roadmaps
for path planning. IEEE Transactions on Robotics and Automation, 14(1):166–171, ...