Formalizing calendars with the category of ordinals

Applied Intelligence

Volumn 17, Issue 3, 2002, Pages 275-295

  Schwer, Sylviane R ^a  

^a UNIVERSITÉ PARIS 13   (France)

Author keywords

Calendar; Chronology; Finite ordinals category; Temporal granularities; Time

Indexed keywords

ARTIFICIAL INTELLIGENCE; HEURISTIC PROGRAMMING; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; TIME AND MOTION STUDY;

CALENDAR; CHRONOLOGY; FINITE ORDINALS CATEGORY; INFIMUM OPERATIONS; SUPREMUM OPERATIONS;

FORMAL LOGIC;

EID: 0036839427     PISSN: 0924669X     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1020091400553     Document Type: Article

References (35)

1. N. Dershowitz and E.M. Reingold, Calendrical Calculations, Cambridge University Press: Cambridge, 1997.
2. S.R. Schwer, "Temporal granularity enlightened by knowledge," in Natural Language Processing and Information Systems, 5th International Conference on Applications of Natural Language to Information Systems, NLDB 2000, Versailles, France, June 28-30, 2000, Revised Papers. Lecture Notes in Computer Science 1959, edited by Mokrane Bouzeghoub, Zoubida Kedad, and Elisabeth Métais, Springer, pp. 30-41, 2001.
3. J.-R. Hobbs, Granularity in Proc. Int. Joint Conf. Artif. Intell., 1985, pp. 1-4.
4. J. Euzenat, "Représentation granulaire du temps," Revue D'Intelligence Artificielle, vol. 7, no. 3, pp. 329-361, 1993.
5. C.E. Dyreson, W.S. Evans, H. Lin, and R.T. Snodgrass, "Efficiently supporting temporal granularities," A TIME-CENTER Technical Report TR-31 1998.
6. C. Bettini, X.S. Wang, and S. Jajodia, "A general framework for time granularity and its application to temporal reasoning," in Annals of Mathematics and Artificial Intelligence, vol. 22, pp. 29-58, 1998.
7. M. Niezette and J.-M. Stevenne, "An efficient symbolic representation of periodic time," in the Proc. Conf. Inf. Knowl. Man., Baltimore, Maryland, 1992, pp. 161-168.
8. 1-Logic, Part 1: DILATORS," Annals of Mathematical Logic, vol. 21, pp. 75-219, 1981.
9. J. Clifford and A. Rao, "A simple general structure for temporal domains," in Proc. Conf. on Temporal Aspects in Information Systems, AFCET, France, 1987, pp. 247-265.
10. X.S. Wang, S. Jajodia, and V.S. Subrahmanian, "Temporal modules: An approach toward federated temporal databases," in SIGMOD, May 1995, pp. 227-236.
11. C. Bettini, C.E. Dyreson. W.S. Evans, R.T. Snodgrass, and X.S. Wang, "A glossary of time granularity concepts," in Temporal Databases-Research and Practice, LNCS 1399, pp. 406-413, 1998.
12. H. Lin, "Efficient conversion between temporal granularities," M.S. Thesis, Department of Computer Science, University of Arizona, TIMECENTER Technical Report TR-19, 1997.
13. P. Ladkin, "The completeness of a natural system for reasoning with time interval," in Proc. Amer. Assoc. Artif. Intell., 1987, pp. 462-467.
14. D. Boorstin, The Discoverers, Random House: New York, 1983.
15. P. Ladkin, "Primitives and units for time specification," in Proc. Amer. Assoc. Artif. Intell., 1986, pp. 354-359.
16. P. Ladkin, "Time representation: A taxonomy of interval relations," in Proc. Amer. Assoc. Artif. Intell., 1986, pp. 360-366.
17. R. Chandra, A. Segev, and M. Stonebraker, "Implementing calendars and temporal rules in next generation databases," in Proc. Int. Conf. on Data Engineering, pp. 264-273, 1994.
18. J. Allen, "Maintaining knowledge about temporal intervals," in Conf. of the ACM, vol. 26, no. 11, 1983.
19. Y.E. Kandrashina, "Representation of temporal knowledge," in Proc. Int. Joint Conf. Artif. Intell., 1983, pp. 346-348.
20. B. Leban, D. McDonald, and D. Forster, "A representation for collections of temporal intervals," in Proc. Amer. Assoc. Artif. Intell., 1986, pp. 367-371.
21. S.R. Schwer, "A tree-like temporal structure," Rapport Interne Cedric 1992. CNAM Paris.
22. J.M.E. McTaggart, "The unreality of time," Mind, vol. 68, pp. 457-474. 1908.
23. K. Kunen, Set Theory, Studies in Logic, vol. 102, 1992.
24. M. Ferbus-Zanda and J. Vauzeilles, "Ordinals I: Basic notions," Annals of Mathematics and Artificial Intelligence, vol. 16, pp. 1-26, 1996.
25. J. Vauzeilles, "Ordinals II: Some applications and a functional approach," in Annals of Mathematics and Artificial Intelligence, vol. 16, pp. 27-57, 1996.
26. J. Chevalier, Histoire de la pensée, vol. 1, Editions Universitaires, 1991.
27. S.R. Schwer and co, "Going up, down and through periodic calendars," in preparation.
28. W. Rudin, Principles of Mathematical Analysis, McGraw-Hill: New York. 1973.
29. F. George, "Physical time and intrinsic temporality," in Inside and Versus Outside, Endo and Exo-Concepts of Observation and Knowledge in Physics, Philosophy and Cognitive Science, 1994 XII, edited by H. Atmanspacher and G. Dalencort, Springer Series in Synergetics, vol. 63, 1994.
30. R.T. Snodgrass et al., "TSQL2 language specification," in Sigmod Record, vol. 23, no. 1, pp. 65-85, 1994.
31. M. Soo and R. Snodgrass, "Mixed calendar query language support for temporal constants," Tempis Technical Report N. 29. D. C. S. University of Arizona, Tucson, AZ 85721, 1992.
32. R.T. Snodgrass et al., "Transitioning temporal support in TSQL2 to SQL3," in Temporal Databases-Research and Practice, LNCS 1399, pp. 150-194, 1998.
33. C.S. Jensen et al., "The consensus glossary of temporal database concepts," in Temporal Databases-Research and Practice, LNCS 1399, pp. 406-413. 1998.
34. A. Troesch, "Droites discrètes et calendriers," in Math. Inf. Sci. Hum, no. 141, 1998. pp. 11-41.
35. S.R. Schwer and J. Vauzeilles, "Calendars inside the framework of finite ordinals category," in Proc. Workshop W22 (Spatial and Temporal Reasoning), Europ. Conf. Artif. Intell. 1998, pp. 65-73.