AI Reasoning Methods for Robotics. - Beetz, Michael; Chatila, Raja; Hertzberg, Joachim; Pecora, Federico (2016)