Expressing time intervals and repetition within a formalization of calendars

Computational Intelligence

Volumn 14, Issue 4, 1998, Pages 563-597

  Cukierman, Diana ^a   Delgrande, James P ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

Calendars; Knowledge representation; Repetition; Temporal ontology; Temporal reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; DECISION THEORY; HIERARCHICAL SYSTEMS; KNOWLEDGE REPRESENTATION;

TEMPORAL ONTOLOGY; TEMPORAL REASONING;

FORMAL LOGIC;

EID: 0032210420     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00075     Document Type: Article

References (32)

1. ALLEN, J. F. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832-843.
2. ALLEN, J. F. 1984. Towards a general theory of action and time. Artificial Intelligence, 23, 123-154.
3. ALLEN, J. F., and P. J. HAYES. 1989. Moments and points in an interval-based temporal logic. Computational Intelligence, 5, 225-238.
4. ALLEN, J. F., and H. A. KAUTZ. 1985. A model of naive temporal reasoning. In Formal Theories of the Common Sense World. Edited by J. R. Hobs and R. C. Moore. Ablex Publishing, Norwood, NJ, pp. 251-268.
5. BETTINI, C., X. S. WANG, and S. JAJODIA. 1996. A general framework and reasoning models for time granularity. International Workshop on Temporal Representation and Reasoning, TIME'96, pp. 104-111.
6. CHANDRA, R., A. SEGEV, and M. STONEBRAKER. 1994. Implementing calendars and temporal rules in next generation databases. In Proceedings of the International Conference on Data Engineering, ICDE-94, pp. 264-273.
7. CIAPESSONI, E., E. CORSETTI, A. MONTANARI, and P. SAN PIETRO. 1993. Embedding time granularity in a logical specification language for synchronous real-time systems. Science of Computer Programming, 20, 141-171.
8. CLIFFORD, J., and A. RAO. 1988. A simple, general structure for temporal domains. In Temporal aspects of information systems. Edited by C. Rolland, F. Bodart, and M. Leonard. Elsevier Science Publishers B.V., North-Holland, pp. 17-28.
9. CUKIERMAN, D. 1994. Formalizing the temporal domain with hierarchical structures of time units. M.Sc. thesis, Simon Fraser University, Vancouver.
10. CUKIERMAN, D. 1998. Temporal reasoning in Artificial Intelligence: A survey, with focus on repetition and calendar formalization. Technical report SFU CMPT TR 1998-06. Simon Fraser University, School of Computing Science.
11. CUKIERMAN, D., and J. DELGRANDE. 1998. Expressing time intervals and repetition within a formalization of calendars. Technical Report SFU CMPT TR 1998-05. Simon Fraser University, School of Computing Science, Vancouver.
12. DECHTER, R., I. MEIRI, and J. PEARL. 1991. Temporal constraint networks. Artificial Intelligence, 49, 61-95.
13. DYRESON, C. E., R. T. SNODGRASS, and M. FREIMAN. 1995. Efficiently supporting temporal granularities in a DBMS. Technical Report TR 95-07. Department of Computer Science, James Cook University of North Queensland.
14. EVANS, C. O. 1967. States, activities and performances. Australasian Journal of Philosophy, 45(3), 293-308.
15. GHEZZI, C., D. MANDRIOLI, and A. MORZENTI. 1990. TRIO, a logic language for executable specifications of real-time systems. Journal of Systems and Software, 12(2).
16. GOLUMBIC, M. C., and R. SHAMIR. 1993. Complexity and algorithms for reasoning about time: A graph-theoretic approach. Journal of the ACM, 40(5), 1108-1133.
17. HOBBS, J. 1985. Granularity. In Proceedings of the Ninth IJCAI-85, pp. 1-2.
18. KAUTZ, H. A., and P. B. LADKIN. 1991. Integrating metric and qualitative temporal reasoning. In Proceedings of AAAI-91, pp. 241-246.
19. KOOMEN, J. A. G. M. 1989. Localizing temporal constraint propagation. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning. Special Issue on Temporal Reasoning, pp. 198-202.
20. KOOMEN, J. A. G. M. 1991. Reasoning about recurrence. International Journal of Intelligent Systems, 6, 461-496.
21. LADKIN, P. B. 1986a. Primitives and units for time specification. In Proceedings of the AAAI-86, pp. 354-359.
22. LADKIN, P. B. 1986b. Time representation: A taxonomy of interval relations. In Proceedings of the AAAI-86, pp. 360-366.
23. LADKIN, P. B., and R. D. MADDUX. 1994. On binary constraint problems. Journal of the ACM, 41(3), 435-469.
24. LEBAN, B., D. D. MCDONALD, and D. R. FORSTER. 1986. A representation for collections of temporal intervals. In Proceedings of the AAAI-86, pp. 367-371.
25. LIGOZAT, G. 1991. On generalized interval calculi. In Proceedings of the AAAI-91, pp. 234-240.
26. MILLER, S. A., and L. K. SCHUBERT. 1990. Time revisited. Computational Intelligence, 6(2), 108-118.
27. MORRIS, R. A., W. D. SHOAFF, and L. KHATIB. 1993. Path consistency in a network of non-convex intervals. In Proceedings of the IJCAI-93, pp. 655-660.
28. MOTA, E., M. HAGGITH, A. SMAILL, and D. ROBERTSON. 1995. Time granularity in simulation models of ecological systems. In Proceedings of the IJCAI'95 Workshop on Executable Temporal Logics.
29. MOTA, E., and D. ROBERTSON. 1996. Representing interaction of agents at different time granularities. International Workshop on Temporal Representation and Reasoning, TIME'96, pp. 72-79.
30. NIÉZETTE, M., and JEAN-MARC STÉVENNE. 1992. An efficient symbolic representation of periodic time. In Proceedings of the 1st International Conference on Information and Knowledge Management.
31. POESIO, M., and R. J. BRACHMAN. 1991. Metric constraints for maintaining appointments: Dates and repeated activities. In Proceedings of the AAAI-91, pp. 253-259.
32. TERENZIANI, P. 1995. Reasoning about periodic events. International Workshop on Temporal Representation and Reasoning, TIME'95, pp. 137-144.