ASP+POMDP: Integrating non-monotonic logic programming and probabilistic planning on robots
Robot Task Planning using Semantic Maps