Towards a formal characterization of temporal repetition with closed time

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1998, Pages 140-147

  Cukierman, Diana ^a   Delgrande, James ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ASSEMBLY LINE; CONVEX RELATIONS; LINEAR STRUCTURES; OBJECT CAPTURE; REPETITIVE PROCESS; TEMPORAL OBJECTS;

EID: 0002959190     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1998.674143     Document Type: Conference Paper

References (25)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. M. Baudinet, M. Niezette, and P. Wolper. On the representation of infinite temporal data and queries, (extended abstract). In 10th ACM Symposium on Principles of Database Systems, pages 280-290, Denver, Colorado, USA, 1991.
3. C. Bettini, X. S. Wang, and S. Jajodia. A general framework and reasoning models for time granularity. In International Workshop on Temporal Representation and Reasoning, TIME'96, pages 104-111,Key West, FL, USA, 1996.
4. J. Chomicki and T. Imielinski. Temporal deductive databases and infinite objects. In PODS'88, Proceedings of the 7th ACM Symposium on Principles of Database Systems, pages 61-73, Austin,Texas, 1988.
5. D. Cukierman. Temporal reasoning in artificial intelligence: A survey, with focus on repetition and calendar formalization. Technical report SFU CMPT TR 1998-06, Simon FraserUniversity, School of Computing Science, 1998. Submitted to Computational Surveys Journal.
6. D. Cukierman and J. Delgrande. Expressing time intervals and repetition within a formalization of calendars. To appear in the Computational Intelligence Journal, 1998.
7. D. Cukierman and J. Delgrande. Characterizing temporal repetition. In International Workshop on Temporal Representation and Reasoning, TIME'96, pages 80-87, Key West, FL, USA, 1996.
8. D. Cukierman and J. Delgrande. Towards a formal characterization of temporal repetition with closed time. Technical Report SFU CMPT TR 98-04, Simon Fraser University, School of Computing Science, 1998.
9. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, Inc., 1972.
10. F. Kabanza, J.-M. Stevenne, and P.Wolper. Handling infinite temporal data. In PODS'90, Proceedings of the 9th ACM Symposium on Principles of Database Systems, pages 392-403, Nashville, Tenessee, 1990.
11. L.Khatib. Reasoningwith sequencesof intervals for efficient constraint propagation. In Proceedings of the Florida Artificial Intelligence Research Symposium, FLAIRS'96, pages 122-126,Key West, FL., 1996.
12. J. A. G. M. Koomen. Reasoning about recurrence. International Journal of Intelligent Systems, 6:461-496, 1991.
13. P. B. Ladkin. Primitives and units for time specification. In Proc. of the AAAI-86, pages 354-359, 1986.
14. P. B. Ladkin. Time representation: A taxonomy of interval relations. In Proc. of the AAAI-86, pages 360-366, 1986.
15. B. Leban, D. D. McDonald, and D. R. Forster. A representation for collections of temporal intervals. In Proc. of the AAAI-86, pages 367-371, 1986.
16. G. Ligozat. On generalized interval calculi. In Proc. of the AAAI-91, pages 234-240, 1991.
17. R. Loganantharaj and S. Giambrone. Probabilistic approach for representing and reasoning with repetitive events. In Proc. of the the Eighth Florida Artificial Intelligence Research Symposium, FLAIRS-95, pages 26-30, 1995.
18. R. A. Morris, W. D. Shoaff, and L. Khatib. Path consistency in a network of non-convex intervals. In Proc. of the IJCAI-93, pages 655-660, 1993.
19. E. Mota, M. Haggith, A. Smaill, and D. Robertson. Time granularity in simulation models of ecological systems. In Proc. of the IJCAI'95 Workshop on Executable Temporal Logics, 1995.
20. W. H. Newton-Smith. The Structure of Time. Routledge and Kegan Paul Ltd. publishers, 1980.
21. M. Níezette and J.-M. Stevenne. An efficient symbolic representation of periodic time. In Proceedings of the 1st. International Conference on Information and Knowledge Management, Baltimore, Maryland, 1992.
22. P. Terenziani. Towards an ontology dealing with periodic events. In 12th European Conference on Artificial Intelligence, ECAI'96, pages 43-47, Budapest, Hungary, 1996.
23. P. Terenziani. Qualitative and quantitative constraints about numerically quantified periodic events. In International Workshop on Temporal Representation and Reasoning, TIME'97, pages 94-101, FL, USA, 1997.
24. A. Tuzhilin and J. Clifford. On periodicity in temporal databases. Information Systems, 20(8):619-639, 1995.
25. R.Wetprasit, A. Sattar, and L.Khatib. Reasoning with multipoint events. In 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, CSCSI'96, pages 26-40, Toronto, Canada, 1996.