共 6 条
- [1] 胡鹤.本体方法及其时空推理应用研究[D].吉林大学,2004
- [2] Brandon Bennett,Anthony G. Cohn,Frank Wolter,Michael Zakharyaschev.Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning[J].Appl. Intell.,2002
- [3] Sm ith B,B rogaard B.Q uan tum m ereotopo logy[K].A nna lsofM athem atics and A rtificia l in telligence,2002
- [4] V ila L.A n ana lysis of the m a in approaches to tem pora lreason ing in A I[K].1993
- [5] C ohn A G,H azarika S M.Q ua litative spatia lrepresen tation and reason ing:A n overv iew[K].Fundam en ta l In form atics,2001
- [6] M u ller.T opo log ica l spatio-tem pora l reason ing andrepresen tation[K].C om pu tationa l In telligence,2002