Intervals, Points, and Branching Time
暂无分享,去创建一个
[1] Frank D. Anger,et al. Atomic temporal interval relations in branching time: calculation and application , 1991, Defense, Security, and Sensing.
[2] Jean-François Rit,et al. Propagating Temporal Constraints for Scheduling , 1986, AAAI.
[3] Henry A. Kautz,et al. Reasoning about plans , 1991, Morgan Kaufmann series in representation and reasoning.
[4] Peter van Beek,et al. Approximation Algorithms for Temporal Reasoning , 1989, IJCAI.
[5] Johan de Kleer,et al. Readings in qualitative reasoning about physical systems , 1990 .
[6] Henry A. Kautz,et al. Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .
[7] D. McDermott. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[8] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[9] Johan van Benthem,et al. The Logic of Time , 1983 .
[10] Marc B. Vilain,et al. A System for Reasoning About Time , 1982, AAAI.