Temporal annotated constraint logic programming

Journal of Symbolic Computation

Volumn 22, Issue 5-6, 1996, Pages 555-583

  Frühwirth, Thom ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (24)

1. Abada, M., Manna, Z. (1989). Temporal logic programming, J. Symbolic Computation 8, 277-295.
2. Allen, J.F. (1984). Towards a general theory of action and time, Artificial Intelligence 23, 123-154.
3. Brzoska, C. (1993). Temporal Logic Programming with Bounded Universal Goals, 10th ICLP, Budapest, Hungary, MIT Press.
4. Fisher, M., Owens, R. (1992). From the Past to the Future: Executing Temporal Logic Programs, Proc. LPAR 92, Springer LNCS 624, 369-380.
5. Fisher, M., Owens, R. (eds) (1995). Executable Modal and Temporal Logics, Springer LNAI 897.
6. Frisch, A.M., Scherl, R.B. (1991). A General framework for Modal Deduction, Proc. 2nd KR '91, Morgan Kaufmann, 196-207.
7. Frühwirth, T. (1994). Annotated Constraint Logic Programming Applied to Temporal Reasoning, Programming Language Implementation and Logic Programming (PLILP), Springer LNCS 844, 230-243.
8. Frühwirth, T. (1995). Temporal logic and annotated constraint logic programming, Executable Modal and Temporal Logics, Fisher, M., Owens, R. (eds), Springer LNAI 897, 58-68.
9. Frühwirth, T., et al. (1992). Constraint Logic Programming - An Informal Introduction, Logic Programming in Action, Springer LNCS 636.
10. Galton, A. (ed.) (1987). Temporal Logics and Their Applications, Academic Press.
11. Galton, A. (1990). A critical examination of Allen's theory of action and time, Artificial Intelligence 42, 159-188.
12. Jaffar, J., Maher, M.J. (1994). Constraint logic programming: a survey, J. Logic Programming 19, 20, 503-581.
13. Kifer, M., Subrahmanian, V.S. (1992). Theory of generalized annotated logic programming and its applications, J. Logic Programming 12, 335-367.
14. Kono, S. (1995). A Combination of Clausal and Non Clausal Temporal Logic Programs, Executable Modal and Temporal Logics, Fisher, M., Owens, R. (eds), Springer LNAI 897, 40-57.
15. Leach, S.M., Lu, J.J. (1994). Computing Annotated Logic Programs: Theory and Implementation, Proc. 11th ICLP, MIT Press.
16. Lu, J.J., Frühwirth, T. (1994). Private communication at the 11th ICLP, Santa Margherita Ligure, Italy.
17. McDermot, D. (1982). A Temporal Logic for Reasoning about Processes and Plans, Cognitive Science 6, 101-155.
18. Meier, M., et al. (1994). ECLiPSe 3.4 User Manual and Extensions User Manual, ECRC Munich, Germany.
19. Meiri, I. (1991). Combining Qualitative and Quantitative Constraints in Temporal Reasoning, Proc. AAAI 91, 260-267.
20. Moszkowski, B. (1986). Executing Temporal Logic Programs, Cambridge University Press.
21. Orgun, M.A., Ma, W. (1994). An Overview of Temporal and Modal Logic Programming, Department of Computing, Macquarie University, Sydney, Australia.
22. Sterling, L., Shapiro, E. (1994). "Interpreters", Chapter 17 in The Art of Prolog, Second Edition, MIT Press.
23. van Benthem, J.K. (1983). The Logic of Time, Synthese Library 156, D. Reidel Publications.
24. van Hentenryck, P. (1991). Constraint Logic Programming, The Knowledge Engineering Review 6, 151-194.