ASP+POMDP: Integrating non-monotonic logic programming and probabilistic planning on robots | IEEE Conference Publication | IEEE Xplore