Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based
暂无分享,去创建一个
[1] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[3] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[4] Henry A. Kautz,et al. Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.
[5] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[6] James F. Allen,et al. Performance of temporal reasoning systems , 1993, SGAR.
[7] Antony Galton,et al. A Critical Examination of Allen's Theory of Action and Time , 1990, Artif. Intell..
[8] James F. Allen. Towards a General Theory of Action and Time , 1984, Artif. Intell..
[9] Han Reichgelt,et al. A comparison of first order and modal logics of time. , 1989 .
[10] Drew McDermott,et al. Temporal Data Base Management , 1987, Artif. Intell..
[11] Robert Schrag,et al. Managing Disjunction for Practical Temporal Reasoning , 1992, KR.
[12] VilaLluís,et al. A survey on temporal reasoning in artificial intelligence , 1994 .
[13] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.
[14] Antony Galton,et al. Reified Temporal Theories and How to Unreify Them , 1991, IJCAI.
[15] Han Reichgelt,et al. The Token Reification Approach to Temporal Reasoning , 1996, Artif. Intell..
[16] Josh Tenenbergy,et al. A Non-reiied Temporal Logic , 1989 .
[17] Kenneth M. Kahn,et al. Mechanizing Temporal Knowledge , 1977, Artif. Intell..
[18] Rina Dechter,et al. Coping With Disjunctions in Temporal Constraint Satisfaction Problems , 1993, AAAI.
[19] Yoav Shoham,et al. Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..
[20] Lenhart K. Schubert,et al. Temporal reasoning in Timegraph I–II , 1993, SGAR.