Logic planning in robotics

摘要

A focus of the present paper is to demonstrate how logic programming can help to manage a dynamic planner, so that a robot's trajectory can be modified online as a response to a changing environment.