A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots

Zhiyu Liu, Meng Jiang, Hai Lin

We propose a new graph-based spatial temporal logic for knowledge representation and automated reasoning in this paper. The proposed logic achieves a balance between expressiveness…