AI Reasoning for Robotics Archives - The Robotics Institute Carnegie Mellon University