6 citations · 11 across the 7 of their papers we have counts for
1 paper · 1 filter
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…