A Logical Approach to High-Level Robot Programming - A Progress Report (1994)

by Y Lésperance, H J Levesque, F Lin, D Marcu, R Reiter, R B Scherl
Venue:In Control of the