期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2013
卷号：6
期号：6
出版社：SERSC
摘要：Briefly presenting a generalization of Allen's interval-based approach to temporal reasoning, this paper will see point & typed-based structure of time intervals as an intended model of point & interval-based time theory to illustrate a Consistency Checker for Uncertain or Incomplete Temporal System which can be used to check whether there are circuit(s) among the temporal intervals and whether the temporal intervals are consistent or not, and this paper also succinctly discourses the future work about how to find the best solution of this checker
