Sign in
A geometric dynamic temporal reasoning method with tags.
Rui Xu
Zhaoyu Li
Pingyuan Cui
Shengying Zhu
Ai Gao
Published in:
ICCI*CC (2016)
Keyphrases
</>
temporal reasoning
temporal constraints
computational complexity
constraint reasoning