References
- Allen , J.F. and Koomen , J.A. 1983 . Planning using a temporal world Model . Proc.IJCAI-83 , : 741 – 747 .
- Allen , J.F. 1983 . Maintaining Knowledge about Temporal Intervals . CACM , 26 ( 11 ) : 832 – 834 .
- Allen , J.F. 1984 . Towards a general theory of action and time . Artificial Intelligence , 23 : 123 – 154 .
- Allen , J.F. and Hayes , P.J. 1985 . A Commonsense Theory of Time . Proc. of Ninth IJCAI-85 , 23 : 528 – 531 .
- Allen , J.F. and Henry , A.K. 1986 . Generalized plan recognition . Proc. AAAI-86 , 1 : 32 – 37 .
- Allen , J.F. and Hayes , P.J. 1987 . Short time periods . Proc. IJCAI-87 , 2 : 981 – 983 .
- Allen , J.F. and George Ferguson . 1994 . Action and Events in Interval Temporal Logic . J. Logic Computation , 4 ( 5 ) : 531 – 579 .
- Chapman , D. 1987 . Planning for conjunctive goals . Artificial Intelligence , 32 : 333 – 377 .
- Dean , T. and McDermot , D. 1987 . Temporal data base management . Artificial Intelligence , 32 : 1 – 55 .
- Fikes , R.E. and Nilsson , N.J. 1971 . STRIPS: a new approach to the application of theorem proving to problem solving . Artificial Intelligence , 2 : 198 – 208 .
- Shoham , Y. 1987 . Temporal logics in AI: semantical and ontological considerations . Artificial Intelligence , 33 : 89 – 104 .
- Vilain , M. and Kautz , H. 1986 . Constraint propagation algorithms for temporal reasoning . Proc. AAAI-86 , : 377 – 382 .
- Kahn , K. and Gorry , G. 1977 . Mechanizing temporal knowledge . Artificial Intelligence , 9 : 87 – 108 .
- Ladkin , P. 1987 . Model of axioms for time intervals . AAAI-87 , : 234 – 239 .
- McDermot , D. 1982 . A temporal logic for reasoning about process and plans . Cognitive Science , 6 : 101 – 155 .