Dealing with multiple granularity of time in temporal logic programming

Journal of Symbolic Computation

Volumn 22, Issue 5-6, 1996, Pages 699-720

  Liu, Chuchang ^a   Orgun, Mehmet A ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030295687     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1006/jsco.1996.0072     Document Type: Article

References (40)

1. Abadi, M., Manna, Z. (1989). Temporal logic programming. J. Symbolic Computation 8, 277-295.
2. Abrahamson, K. (1979). Model logics for concurrent programs. In LNCS 70, Berlin Heidelberg, Springer-Verlag.
3. Aoyagi, T. et al. (1986). Temporal logic programming language Tokio. In Wada, E., ed., Logic Programming'85, LNCS 221, pp. 138-147. Berlin Heidelberg, Springer-Verlag.
4. Badaloni, S., Berati, M. (1994). Dealing with time granularity in a temporal planning system. In Gabbay, D.M., Ohlbach, H.J., eds, Proceedings of ICTL'94, First International Conference on Temporal Logic, Bonn, Germany, July 1994. (Published in Lecture Notes in Artificial Intelligence 827, pp. 101-116. Berlin Heidelberg, Springer-Verlag.)
5. Baudinet, M. (1992). A simple proof of the completeness of temporal logic programming. In Fariñas del Cerro, L., Penttonen, M., eds, Intensional Logics for Programming, pp. 51-83. New York, Oxford University Press.
6. Ben-Ari, M., Manna, Z., Pnueli, A. (1981). The temporal logic of branching time. In Proc. 8th Annual ACM Symposium on Principles of Programming Languages, pp. 164-176, New York, ACM Press.
7. Brzoska, C. (1995). Temporal logic programming with metric and past operators. In Fisher, M., Owens, R., eds, Executable Modal and Temporal Logics (IJCAI'93 Workshop). (Published in Lecture Notes in Artificial Intelligence 897, pp. 21-39. Berlin Heidelberg, Springer-Verlag).
8. Ciapessoni, E., Corsetti, E., Montanari, A., San Pietro, P. (1993). Embedding time granularity in a logical specification language for synchronous real-time systems. Science of Computer Programming 20, pp. 141-171.
9. Chomicki, J. (1994). Temporal query languages: A survey. In Gabbay, D.M., Ohlbach, H.J., eds, Proc. ICTL'94, First International Conference on Temporal Logic, Bonn, Germany, July 1994. (Published in Lecture Notes in Artificial Intelligence 827, pp. 506-534. Berlin Heidelberg, Springer-Verlag.)
10. Clarke, E.M., Emerson, E.A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. In LNCS 131, pp. 52-71, Berlin Heidelberg, Springer-Verlag.
11. Clarke, E.M., Emerson, E.A., Sistla, A.P. (1983). Automatic verification of finite state concurrent systems using temporal logic specifications: a practical approach. Proc. 10th Annual ACM Symposium on Principles of Programming Languages, pp. 117-126, New York, ACM Press.
12. Cukierman, D., Delgrande, J. (1995). A language to express time intervals and repetition. In TIME'95: The 2nd International Workshop on Temporal Representation and Reasoning, April 26, 1995, Melbourne Beach, Florida.
13. Euzenat, J. (1995). An algebraic approach to granularity in time representation. In TIME'95: The 2nd International Workshop on Temporal Representation and Reasoning, April 26, 1995, Melbourne Beach, Florida.
14. Fisher, M. (1994). A survey of Concurrent METATEM - The language and its applications. In Gabbay, D.M., Ohlbach, H.J., eds, Proc. ICTL'94, First International Conference on Temporal Logic, Bonn, Germany, July 1994. (Published in Lecture Notes in Artificial Intelligence 827, pp. 480-505. Berlin Heidelberg, Springer-Verlag.)
15. Fisher, M., Owens, R. (1995). An introduction to executable modal and temporal logics. In Fisher, M., Owens, R., eds, Executable Modal and Temporal Logics (IJCAI'93 Workshop). (Published in Lecture Notes in Artificial Intelligence 897, pp. 1-20, Berlin Heidelberg, Springer-Verlag.)
16. Fisher, M., Reynolds, M. (1995). The power of METATEM rules. In Proc. IJCAI-95 Workshop on Executable Temporal Logics, pp. 35-49. Montreal, Canada.
17. Frühwirth, T. (1995). Temporal logic and annotated constraint logic programming. In Fisher, M., Owens, R., eds, Executable Modal and Temporal Logics (IJCAI'93 Workshop). (Published in Lecture Notes in Artificial Intelligence 897, pp. 58-68, Berlin Heidelberg, Springer-Verlag.)
18. Gabbay D.M. (1987). Modal and temporal logic programming. In Galton, A., ed., Temporal logics and their applications, pp. 197-237. San Diego, CA, Academic Press.
19. Gabbay D.M. (1991). Modal and temporal logic programming II (A temporal Prolog machine). In Dodd, T., Owens, R., Torrance, S., eds, Logic Programming - Expanding the Horizon. Intellect Books Ltd.
20. Gabbay D.M., McBrien, P. (1991). Temporal Logic & Historical Databases. In Proc. 17th Very Large Data Bases Conference, pp. 423-430, Los Altos, CA, Morgan Kauffman.
21. Gagné, J.-R., Plaice, J. (1995). A non-standard temporal deductive database system. In Proc. IJCAI-95 Workshop on Executable Temporal Logics, pp. 51-62. Montreal, Canada.
22. Goldblatt, R. (1987). Logics of time and computation. Lecture Notes No: 7. CSLI - Centre for the Study of Language and Information, Stanford University.
23. Hrycej, T. (1993). A temporal extension of Prolog. J. Logic Programming 15, 113-145.
24. Hobbs, J.R. (1985). Granularity. In Proc. IJCAI-85: The Ninth International Joint Conference on Artificial Intelligence, volume 1, pp. 1-4, Los Altos, CA, Morgan-Kaufman.
25. Ladkin, P. (1986). Primitives and units for time specification. In Proc. AAAI-86: The Fifth National Conference on Artificial Intelligence, pp. 354-359, Los Altos, CA, Morgan-Kaufman.
26. Liu, C. (1995). A temporal logic language with time granulation. In The 30th Anniversary of the Australian Association for Logic Conference, Armidale, Australia.
27. Liu, C., Orgun, M.A. (1995). Chronolog as a simulation language. In Proc. IJCAI-95 Workshop on Executable Temporal Logics, pp. 109-119. Montreal, Canada.
28. Liu, C., Orgun, M.A. (1996). Executing specifications of distributed computations with Chronolog(MC). In Proc. ACM Symposium on Applied Computing 1996, pp. 393-400. Marriott Hotel, Philadelphia, USA, February 18-20, 1996, New York, ACM Press.
29. Liu, C., Orgun, M.A., Zhang, K. (1995). A framework for exploiting parallelism in Chronolog. In Proc. First IEEE International Conference on Algorithms and Architectures for Parallel Processing, pp. 163-172. Brisbane, Australia. Piscataway, NJ, IEEE Press.
30. Lloyd, J.W. (1987). Foundations of Logic Programming, 2nd edn, Berlin Heidelberg, Springer-Verlag.
31. Manna, Z., Pnueli, A. (1981). Verification of concurrent programs: the temporal framework. In R.S. Boyer, J.S. Moore, eds, Correctness Problem in Computer Science, pp. 215-273. Academic Press.
32. Mota, E. et al. (1995). Time granularity in simulation of models of ecological systems. In Proc. IJCAI-95 Workshop on Executable Temporal Logics, pp. 77-94. Montreal, Canada.
33. Orgun, M.A., Ma, W. (1994). An overview of temporal and modal logic programming. In Gabbay, D.M., Ohlbach, H.J., eds, Proc. ICTL'94, First International Conference on Temporal Logic, Bonn, Germany, July 1994. (Published in Lecture Notes in Artificial Intelligence 827, pp. 445-479. Berlin Heidelberg, Springer-Verlag.)
34. Orgun, M.A., Wadge, W.W. (1992). Theory and practice of temporal logic programming. In Fariñas del Cerro, L., Penttonen, M., eds, Intensional Logics for Programming, pp. 23-50. New York, Oxford University Press.
35. Orgun, M.A., Wadge, W.W. (1993). Chronolog admits a complete proof procedure. In Proc. 6th International Symposium on Lucid and Intensional Programming, pp. 120-135. Quebec City, Canada.
36. Penczek, W. (1995). Branching time and partial order in temporal logics. In Bolc, L., Szalas, A., eds, Time and Logic: A Computational Approach, pp. 179-228. London, UCL Press.
37. Rescher, N., Urquhart, A. (1971). Temporal Logic, Berlin Heidelberg, Springer-Verlag.
38. Sadri, F. (1987). Three approaches to temporal reasoning. In Galton, A., ed., Temporal Logics and Their Applications, pp. 121-168. San Diego, CA, Academic Press.
39. van Emden, M.H., Kowalski, R.A. (1976). The semantics of predicate logic as a programming language. J. Association for Computing Machinery 23, 733-742.
40. Wiederhold, G., Jajoida, J., Litwin, W. (1991). Dealing with granularity of time in temporal databases. In Advanced Information Systems Enginering: Proc. Third International Conference CAiSE'91, pp. 124-140, Berlin Heidelberg, Springer-Verlag.