2 papers
cs.AI2020
Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic
Zhiyu Liu, Meng Jiang, Hai Lin
We aim to enable an autonomous robot to learn new skills from demo videos and use these newly learned skills to accomplish non-trivial high-level tasks. The goal of developing such…
cs.LO2020
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…