H ? « ‹ ← → › »

Language peer sets for TempLog:
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

TempLog(ID:1369/tem002)

alternate simple view
Designed 1987
Published: 1987

A clausal subset of first-order temporal logic, with discrete time.
References:
  • Abadi, M. and Manna, Z. (1985) Abadi, M. and Manna, Z. "Nonclausal temporal deduction" pp1-15
          in Parikh, R. (1985) Parikh, R. editor, Proceedings of Conference on Logics of Programs, LNCS 193, Springer-Verlag, 1985
  • Abadi M. and Manna, Z. (1987) Abadi M. and Manna, Z. "Temporal Logic in Programming", pp4-16
          in Proc. (1987) Proc. of the 1987 Symposium on Logic Programming, San Fransisco, Calif, 1987. IEEE Computer Society Press.
  • Baudinet, M. (1988) Baudinet, M. "On the semantics of temporal logic programming" Technical Report STAN-CS-88-1203, Computer Science Department, Stanford University, Stanford, Calif, June 1988
          in Proc. (1987) Proc. of the 1987 Symposium on Logic Programming, San Fransisco, Calif, 1987. IEEE Computer Society Press.
  • Abadi, M. and Manna, Z. (1989) Abadi, M. and Manna, Z. "Temporal logic programming" pp277-295
          in (1989) Journal of Symbolic Computation, 8, 1989
  • Baudinet, M. (1989) Baudinet, M. "Logic Programming Semantics: Techniques and Applications", PhD Thesis, Department of Computer Science, Stanford University, 1989
          in (1989) Journal of Symbolic Computation, 8, 1989
  • Baudinet, M. (1989) Baudinet, M. "Temporal logic programming is complete and expressive" pp267-280
          in Conference Record of the Sixteenth ACM Symposium o (1989) Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages, pp. 267-280, Austin, Texas, Jan. 1989
  • Brzoska, C. (1991) Brzoska, C. "Temporal logic programming and its relation to constraint logic programming" pp661-677
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Baudinet, M. (1992) Baudinet, M. "A simple proof of the completeness of temporal logic programming" in L. Farinas del Cerro and M. Pentto-nen, editors, Intensional Logics for Programming, pp. 51-83. Oxford University Press, 1992
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Orgun, Mehmet A. (1994) Orgun, Mehmet A. "Temporal and Modal Logic Programming: An Annotated Bibliography" SIGART Bulletin 1994 Extract: TempLog
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder