Combining Probabilistic Planning and Logic Programming on Mobile Robots