TY - RPRT TI - KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics AU - Shiqi Zhang AU - Mohan Sridharan AU - Michael Gelfond AU - Jeremy Wyatt PY - 2014 UR - https://arxiv.org/abs/1405.0999 ID - 1405.0999 ER -