2019
A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.
[DOI]
Xu Lu
,
Jin Cui
,
Yansong Dong
,
Wensheng Wang
,
Runzhe Ma
,
Yifeng Li
,
Qing Feng
Proceedings of the Structured Object-Oriented Formal Language and Method, 2019