A logical approach to represent and reason about calendars

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2002-January, Issue , 2002, Pages 134-140

  Combi, C ^a   Franceschet, M ^b   Peron, A ^c  

^a UNIVERSITY OF VERONA   (Italy)

^b University 'G d'Annunzio' of Pescara   (Italy)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Calendars; Computer science; Data mining; Databases; Formal specifications; Logic; Natural languages; Problem solving; Qualifications; Testing

Indexed keywords

COMPUTER SCIENCE; DATA MINING; DATABASE SYSTEMS; FORMAL SPECIFICATION; PROBLEM SOLVING; TESTING;

CALENDARS; LINEAR TIME LOGIC; LOGIC; LOGICAL APPROACHES; NATURAL LANGUAGES; QUALIFICATIONS; TIME GRANULARITIES; TIME POINTS;

TEMPORAL LOGIC;

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

References (14)

1. C. Bettini, S. Jajodia, and X. S. Wang. Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer, 2000.
2. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
3. U. Dal Lago and A. Montanari. Calendars, time granularities, and automata. In Proceedings of the International Symposium on Spatial and Temporal Databases, volume 2121 of Lectures Notes on Computer Science, pages 279-298, Los Angeles, CA, USA, 2001.
4. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 995-1072. Elsevier Science Publishers B.V., 1990.
5. D. Foster, B. Leban, and D. McDonald. A representation for collections of temporal intervals. In Proceedings of the American National Conference on Artificial Intelligence, pages 367-371, 1986.
6. M. Franceschet and A. Montanari. Branching within time: an expressively complete and elementarily decidable temporal logic for time granularity. Journal of Language and Computation. To appear.
7. M. Levine, C. Sawka, and D.M. Bowman. Clinical practice guidelines for the care and treatment of breast cancer: 8. adjuvant systemic therapy for women with node-positive breast cancer (2001 update). Canadian Medical Association Journal, 164, 2001.
8. A. Montanari. Metric and Layered Temporal Logic for Time Granularity. ILLC Dissertation Series 1996-02, Institute for Logic, Language and Computation, University of Amsterdam, 1996.
9. A. Montanari, A. Peron, and A. Policriti. Extending Kamp's theorem to model time granularity. Journal of Logic and Computation. To appear.
10. A. Montanari, A. Peron, and A. Policriti. Decidable theories of ω-layered metric temporal structures. Logic Journal of the IGPL, 7(1):79-102, 1999.
11. A. Montanari and A. Policriti. Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, 37:260-282, 1996.
12. M. Niezette and J. Stevenne. An efficient symbolic representation of periodic time. In Proceeding of the International Conference on Information and Knowledge Management, volume 752 of Lecture Notes in Computer Science, pages 161-168, Baltimore, Maryland, November 1993.
13. P. Ning, S. Jajodia, and X. S. Wang. An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligence. To appear.
14. J. Wijsen. A string based-model for infinite granularities. In Proceedings of the AAAI Workshop on Spatial and Temporal Granularity, pages 9-16. AAAI Press, 2000.