TY - RPRT TI - A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots AU - Zhiyu Liu AU - Meng Jiang AU - Hai Lin PY - 2020 UR - https://arxiv.org/abs/2001.07205 ID - 2001.07205 ER -