On knowledge-based programming with sensing in the situation calculus (0)

by R Reiter
Venue:In Proc. of the Second International Cognitive Robotics Workshop