Leveraging Supervised Learning and Automated Reasoning for Robot Sequential Decision-Making
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics