Sign in
A Geometric Dynamic Temporal Reasoning Method with Tags for Cognitive Systems.
Rui Xu
Zhaoyu Li
Pingyuan Cui
Shengying Zhu
Ai Gao
Published in:
Int. J. Softw. Sci. Comput. Intell. (2016)
Keyphrases
</>
temporal reasoning
cognitive systems
first order logic
temporal relations
constraint reasoning