ASP+POMDP: Integrating non-monotonic logic programming and probabilistic planning on robots
ROS: an open-source Robot Operating System