Representing and reasoning about temporal granularities

Journal of Logic and Computation

Volumn 14, Issue 1, 2004, Pages 51-77

  Combi, Carlo ^a   Franceschet, Massimo ^b   Peron, Adriano ^c  

^a UNIVERSITY OF VERONA   (Italy)

^b UNIVERSITY OF CHIETI   (Italy)

^c UNIVERSITY OF NAPLES FEDERICO II   (Italy)

Author keywords

Calendar specification; Formal specification; Granularity; Temporal logics; Temporal representation and reasoning

Indexed keywords

COMPUTER SCIENCE; DATA MINING; DATABASE SYSTEMS; NATURAL LANGUAGE PROCESSING SYSTEMS; PROBLEM SOLVING; SEMANTICS;

FORMAL SPECIFICATION; TEMPORAL LOGICS; TEMPORAL REPRESENTATION AND REASONING; TIME GRANULARITY;

FORMAL LOGIC;

EID: 1342324764     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/14.1.51     Document Type: Article

References (60)

1. R. Agrawal and R. Srikant. Mining sequential patterns. In Proceedings of the International Conference on Data Engineering, P. S. Yu and A. L. P. Chen, eds, pp. 3-14, IEEE Press, 1995.
2. M. Benedetti, and A. Cimatti. Bounded model checking for past LTL. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, volume 2619 of Lecture Notes in Computer Science, pp. 18-33. Springer, 2003.
3. C. Bettini, A. Brodsky, S. Jajodia, and X. S. Wang. Logical design for temporal databases with multiple granularities. ACM Transactions on Database Systems, 22, 115-170, 1997.
4. C. Bettini, S. Jajodia, J. Lin, and X. S. Wang. Discovering frequent event patterns with multiple granularities in time sequences. IEEE Transactions on Knowledge and Data Engineering, 10, 222-237, 1998.
5. C. Bettini, S. Jajodia, and X. Wang. A general framework and reasoning models for time granularity. In Proceedings of the International Workshop on Temporal Representation and Reasoning, pp. 104-111. IEEE Computer Society Press, 1996.
6. C. Bettini, S. Jajodia, and X. S. Wang. Testing complex temporal relationships involving multiple granularities and its application to data mining. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Vol. 15, pp. 68-78. ACM Press, 1996.
7. C. Bettini, S. Jajodia, and X. S. Wang. A general framework for time granularity and its application to temporal reasoning. Annals of Mathematics and Artificial Intelligence, 22, 29-58, 1998.
8. C. Bettini, S. Jajodia, and X. S. Wang. Time Granularities in Databases, Data Mining, and Temporal Reasoning. Springer, 2000.
9. C. Bettini and R. D. Sibi. Symbolic representation of user-defined time granularities. Annals of Mathematics and Artificial Intelligence, 30, 53-92, 2000.
10. A. Biere, A. Cimatti, E. M. Clarke, M. Fujita, and Y. Zhu. Symbolic model checking using SAT procedures instead of BDDs. In Proceedings of Design Automation Conference, volume 1579 of Lectures Notes in Computer Science, pp. 193-207, Springer, 1999.
11. P. Blackburn and J. Bos. Representation and Inference for Natural Language. Studies in Logic, Language, and Information. CSLI Press. Available at http:www.comsem.org
12. R. Chandra, A. Segev and M. Stonebraker. Implementing calendars and temporal rules in next generation databases. In Proceedings of the International Conference on Data Engineering, A. K. Elmagarmid and E. Neuhold, eds, pp. 264-273, IEEE Computer Society Press, 1994.
13. E. Ciapessoni, E. Corsetti, A. Montanari, and P. San Pietro. Embedding time granularity in a logical specification language for synchronous real-time systems. Science of Computer Programming, 20, 141-171, 1993.
14. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A Tacchella. NuSMV 2: an opensource tool for symbolic model checking. In Proceedings of the International Conference on Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pp. 359-364. Springer, 2002.
15. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model verifier. In Proceedings of the International Conference on Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pp. 495-499. Springer, 1999.
16. C. Combi and L. Chittaro. Temporal granularity and indeterminacy in reasoning about actions and change: an approach based on the event calculus. Annals of Mathematics and Artificial Intelligence, 36, 81-119, 2002.
17. C. Combi, M. Franceschet, and A. Peron. A logical approach to represent and reason about calendars. In Proceedings of the International Symposium on Temporal Representation and Reasoning, pp. 134-140. IEEE Computer Society Press, 2002.
18. C. Combi and G. Pozzi. A Temporal Data Model Managing Intervals with Different Granularities and Indeterminacy from Natural Language Sentences. The VLDB Journal, 9, 294-311, 2001.
19. E. Corsetti, E. Crivelli, D. Mandrioli, A. Montanari, A. Morzenti, P. S. Pietro, and E. Ratto. Dealing with different time scales in formal specifications. In Proceedings of the International Workshop on Software Specification and Design, pp. 92-101. IEEE Computer Society Press, 1991.
20. E. Corsetti, A. Montanari, and E. Ratto. Dealing with different time granularities in formal specifications of real-time systems. The Journal of Real-Time Systems, 3, 191-215, 1991.
21. D. Cukierman and J. Delgrande. Expressing time intervals and repetition within a formalization of calendars. Computational Intelligence, 14, 563-597, 1998.
22. 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, pp. 279-298, 2001.
23. U. Dal Lago, A. Montanari, and G. Puppis. Time granularities, calendar algebra, and automata. Technical Report 4/2003, Department of Mathematics and Computer Science, University, of Udine - Italy, 2003.
24. U. Dal Lago, A. Montanari, and G. Puppis. Towards compact and tractable automaton-based representations of time granularity. In Proceedings of the Eighth Italian Conference on Theoretical Computer Science (ICTCS03), Lecture Notes in Computer Science, Springer, 2003.
25. W. Dreyer, A. K. Dittrich, and D. Schmidt. Research perspectives for time series management systems. SIGMOD Record (ACM Special Interest Group on Management of Data), 23, 10-15, 1994.
26. C. E. Dyreson and R. T. Snodgrass. Temporal granularity. In The TSQL2 Temporal Query Language, R. T. Snodgrass, ed., pp. 347-385. Kluwer Academic Press, 1995.
27. E. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., pp. 995-1972. Elsevier Science Publishers B.V., 1990.
28. J. Euzenat. An algebraic approach for granularity in qualitative space and time representation. In Proceedings of the International Joint Conference on Artificial Intelligence, pp. 894-900. Morgan Kaufmann, 1995.
29. J. L. Fiadeiro and T. Maibaum. Sometimes "tomorrow" is "sometime": Action refinement in a temporal logic objects. In Proceedings of the International Conference on Temporal Logic, D. M. Gabbay and H. J. Ohlbach. eds, Volume 827 of Lectures Notes on Artificial Intelligence, pp. 48-66. Springer, 1994.
30. D. Foster, B. Leban and D. McDonald. A representation for collections of temporal intervals. In Proceedings of the American National Conference on Artificial Intelligence, pp. 367-371, 1986.
31. M. Franceschet. Dividing and conquering the layered land. PhD thesis, Department of Mathematics and Computer Science, University of Udine, 2001.
32. M. Franceschet, M. de Rijke, and B.-H. Schlingloff. Hybrid logics on linear structures: Expressivity and complexity. In Proceedings of the International Symposium on Temporal Representation and Reasoning and of the International Conference on Temporal Logic, pp. 164-171. IEEE Computer Society Press, 2003.
33. M. Franceschet and A. Montanari. Branching within time: an expressively complete and elementarily decidable temporal logic for time granularity. Research on Language and Computation, 1, 229-263-2003.
34. D. Fum, G. Guida, A. Montanari, and C. Tasso. Using levels and viewpoints in text representation. In Proceedings of the International Conference on Artificial Intelligence and Information-Control Systems of Robots, pp. 37-44, 1989.
35. I. Goralwalla, Y. L. M. Ozsu, D. Szafron, and C. Combi. Temporal granularity: completing the puzzle. Journal of Intelligent Information Systems, 16, 41-63, 2001.
36. J. Greer and G. McCalla. A computational framework for granularity and its application to educational diagnosis. In Proceedings of the International Joint Conference on Artificial Intelligence, pp. 477-482. Morgan Kauffmann, 1989.
37. S. Jajodia, W. Litwin, and G. Wiederhold. Integrating temporal data in a heterogeneous environment. In Temporal Databases: Theory, Design and Implementation, A. Tansel et al., eds, pp. 563-579. Database Systems and Applications Series, Benjamin/Cummings Pub. Co., Redwood City, CA, 1993.
38. S. Jajodia, V. S. Subrahmanian, and X. S. Wang. Temporal modules: An approach toward federated temporal databases. Information Sciences, 82, 103-128, 1995.
39. P. Ladkin. The completeness of a natural system for reasoning with time intervals. In Proceedings of the International Joint Conference on Artificial Intelligence, pp. 462-467. Morgan Kaufmann, 1987.
40. L. Lamport. On interprocess communication. Technical Report Research 8, SRC, Palo Alto, CA, 1985.
41. M. Levine, C. Sawka, and D. 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, 644-646, 2001.
42. H. Mannila, H. Toivonen, and A. I. Verkamo. Discovering frequent episodes in sequences. In Proceedings of the International Conference on Knowledge Discovery and Data Mining, U. M. Fayyad and R. Uthurusamy, eds. AAAI Press, 1995.
43. N. Markey. Past is for free: on the complexity of verifying linear temporal properties with past. In Proceedings of the International Workshop on Expressiveness in Concurrency (EXPRESS'2002), Volume 68.2 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2002.
44. 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.
45. A. Montanari and B. Pernici. Temporal reasoning. In Temporal Databases: Theory, Design and Implementation, A. Tansell, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, eds, pp. 534-562. Database Systems and Applications Series, Benjamin/Cummings Pub. Co., Redwood City, CA, 1993.
46. A. Montanari, A. Peron, and A. Policriti. Decidable theories of ω-layered metric temporal structures. Logic Journal of the IGPL, 7, 79-102, 1999.
47. A. Montanari, A. Peron, and A. Policriti. The taming (timing) of the states. Logic Journal of the IGPL, 8, 681-699, 2000.
48. A. Montanari, A. Peron, and A. Policriti. Extending Kamp's theorem to model time granularity. Journal of Logic and Computation, 12, 641-67, 2002.
49. A. Montanari and A. Policriti. Decidability results for metric and layered temporal logics. Notre Dame Journal of Formal Logic, 37, 260-282, 1996.
50. E. Mota and D. Robertson. Representing interaction of agents at different time granularities. In Proceedings of the International Workshop on Temporal Representation and Reasoning, pp. 72-79. IEEE Computer Society Press, 1996.
51. M. Niezette and J. Stevenne. An efficient symbolic representation of periodic time. In Proceedings of the International Conference on Information and Knowledge Management, volume 752 of Lecture Notes in Computer Science, pp. 161-168, Baltimore, Maryland, Nov. 1993.
52. P. Ning, S. Jajodia, and X. S. Wang. An algebraic representation of calendars. Annals of Mathematics and Artificial Intelligence, 36, 5-38, 2002.
53. M. Poesio and R. J. Brachman. Metric constraints for maintaining appointments: Dates and repeated activities. In Proceedings of the National Conference on Artificial Intelligence, pp. 253-259. MIT Press, July 1991.
54. A. Segev and R. Chandra. A data model for time-series analysis. In Advanced Database Systems, volume 759 of Lecture Notes in Computer Science, pp. 191-212. Springer, 1993.
55. Y. Shahar. Dynamic temporal interpretation contexts for temporal abstraction. In Proceedings of the International Workshop on Temporal Representation and Reasoning, pp. 64-71. IEEE Computr Society Press, 1996.
56. A. P. Sistla and E. M. Clarke. The complexity of propositional linear temporal logics. Journal of the ACM, 32, 733-749, 1985.
57. W. Thomas. Automata on infinite objects. In Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen, ed., pp. 133-191. Elsevier Science Publishers, 1990.
58. J. Wijsen. Reasoning about qualitative trends in databases. Information Systems, 23, 469-493, 1998.
59. J. Wijsen. Temporal FDs on complex objects. ACM Transactions on Database Systems, 24, 127-176, 1999.
60. J. Wijsen. A string based-model for infinite granularities. In Proceedings of the AAAI Workshop on Spatial and Temporal Granularity, pp. 9-16. AAAI Press, 2000.