Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics | Read Paper on Bytez