Stefan Schiffer 0002, Alexander Ferrein, Gerhard Lakemeyer. Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. Journal of Intelligent and Robotic Systems, 66(1-2):273-300, 2012. [doi]
Abstract is missing.