Using Knowledge Representation and Reasoning Tools in the Design of Robots
CORPP: commonsense reasoning and probabilistic planning, as applied to dialog with a mobile robot