6 citations · 9 across the 4 of their papers we have counts for
1 paper · 2 filters
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…