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

by Y Lesp'erance, H J Levesque, F Lin, D Marcu, R Reiter, R Scherl
Venue:In Control of the Physical World by Intelligent Systems, Working Notes of the 1994 AAAI Fall Symp