Pattern Discovery in Temporal Databases: A Temporal Logic Approach1

Proceedings - 2nd International Conference on Knowledge Discovery and Data Mining, KDD 1996

Volumn , Issue , 1996, Pages 351-354

  Padmanabhan, Balaji ^a   Tuzhilin, Alexander ^a  

^a NEW YORK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; LOGIC PROGRAMMING;

CATEGORICAL DATA; FREQUENT EPISODES; LOGIC PATTERNS; LOGIC PROGRAMS; PATTERN DISCOVERY; TEMPORAL DATABASE; TEMPORAL LOGIC PROGRAMMING; TEMPORAL PATTERN;

TEMPORAL LOGIC;

EID: 0009990462     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Tansel, A.U., Clifford, J., Gadia, S., Jajodia, S., Segev, A. and Snodgrass, R., 1993. In Temporal Databases, Theory Design and Implementation. Benjamin/Cummings.
2. Clifford J., Tuzhilin A., 1995. Recent Advances in Temporal Databases. Springer-Verlag.
3. Agrawal, R., Giuseppe, P., Edward, W.L., and Zait, M., 1995. Querying Shapes of Histories. In Proceedings of the 21st VLDB Conference, pp. 502-514.
4. Mannila, H., Toivonen, H., and Verkamo, A.I., 1995. Discovering Frequent Episodesi n SequencesI.n The First International Co@ on Knowledge Discovery in Databases (KDD-95), pp 210-215.
5. Aho, A.V., 1990. Algorithms for Finding Patterns in Strings. In van Leeuwen, J., ed., Handbook of Theoretical Comp. SC., Vol A :AIgorithms and Complexity. Elsevier.
6. Manna, Z., and Pnueli, A., 1992. Temporal Logic. In The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag.
7. Abadi, M., and Manna, Z., 1989. Temporal Logic Programming. J. of Symb. Computation 8, pp. 277-295.
8. Baudinet, M., Chomicki, J., and Wolper, P., 1993. Temporal Deductive Databases. Ch13 in [ 11.
9. Tuzhilin, A., 1992. SimTL: A Simulation Language Based on Temporal Logic. Transactions of the Society for Computer Simulation, 9(2), pp. 87-100.
10. Kroger, F., 1987. Temporal Logic of Programs, volume 8. Springer-Verlag.
11. Padmanabhan, B., and Tuzhilin, A., 1996. Using Temporal Logic to Find Patterns in Temporal Databases. Working Paper #IS-96-2, Dept. of Info. Systems, NYU.
12. Koymans, R.,1990. Specifying Real-Time Properties with Metric Temporal Logic. J. of Real-Time Systems, v2.
13. Snodgrass, R.T., 1995. The TSQLZ Temporal Query Language. Kluwer.
14. Chomicki, J., and Imielinski, T., 1988. Temporal Deductive Databasesa nd Infinite Objects.P roc of PODS.
15. Abiteboul, S., and Vianu, V., 1991. Datalog Extensions for Database Queries and Updates. J. of Computer and System Sciences, vol. 43, pp. 62-124.
16. Agrawal, R., Mannila, H., Srikant, R., Toivonen, H. and Verkamo,A.I., 1995. Fast Discovery of Association Rules. In Fayyad, U.M., Piatetsky-Shapiro, G., Smyth, P., and Uthurusamy, R. eds., Advances in Knowledge Discovery and Data Mining. AAAl Press