A logical approach to high level robot programming { a progress report (1994)

by Y Lesperance, H Levesque, F Lin, D Marcu, R Reiter, R Scherl
Venue:In Working notes of the 1994 AAAI fall symposium on Control of the Physical World by Intelligent Systems