10
Views
2
CrossRef citations to date
0
Altmetric
Original Articles

Foundations of linear-time logic programming

Pages 199-219 | Received 23 Jan 1995, Published online: 19 Mar 2007

References

  • Abadi , M. 1989 . The power of temporal proofs . Theoretical Computer Science , 65 : 35 – 83 .
  • Abadi , M. and Manna , Z. . Proceedings of the 1987 Symposium on Logic Programming . Temporal logic programming . pp. 4 – 16 . San Fransisco, Calif : IEEE Computer Society Press .
  • Abadi , M. and Manna , Z. 1989 . Temporal logic programming . Journal of Symbolic Computation , 8 : 277 – 295 .
  • Aoyagi , T. , Fujita , M. and Moto-oka , T. 1986 . “ Temporal logic programming language Tokio ” . In Logic Programming ′85 , Edited by: Wada , E. Vol. 221 , 138 – 147 . Springer-Verlag . LNCS
  • Apt , K. R. and van Emden , M. H. 1982 . Contributions to the theory of logic programming . Journal of the Association of Computing Machinery , 29 July : 841 – 862 .
  • Balbiani , Philippe . . Proceedings of the 1988 International Conference on Fifth Generation Computer Systems . Luis Fariñas del Cerro, and Andreas Herzig, Declarative semantics for model logic programs . pp. 507 – 514 . ICOT .
  • Baudinet , M. . Conference Record of the Sixteenth ACM Symposium on Principles of Programming Languages . Temporal logic programming is complete and expressive . January , pp. 267 – 280 . Austin, Texas : The Association for Computing Machinery .
  • Baudinet , M. 1992 . “ A simple proof of the completeness of temporal logic programming ” . In Intensional Logic for Programming , Edited by: Fariñas del Cerro , L. and Penttonen , M. 51 – 83 . Oxford University Press .
  • Baudinet , M. , Chomicki , J. and Wolper , P. 1993 . “ Temporal deductive databases ” . In Temporal Databases: Theory, Design, and Implementation , Redwood City, CA : Benjamin/Cummings Publishing Company .
  • Brzoska , Christoph . 1991 . Proceedings of the 1991 International Logic Programming Symposium . Temporal logic programming and its relation to constraint logic programming . October 28-31 1991 , San Diego, Calif. Edited by: Saraswat , V. and Ueda , K. pp. 661 – 677 .
  • Brzoska , Christoph . 1993 . Proceedings of the 1991 International Logic Programming Symposium . Temporal logic programming and its relation to constraint logic programming . October 28-31 1993 , San Diego, Calif. Edited by: Saraswat , V. and Ueda , K. pp. 661 – 677 .
  • Burgess , J. P. 1984 . “ Basic tense logic ” . In Handbook of Philosophical Logic , Edited by: Gabby , D. M. and Guethner , S. Vol. II , 89 – 134 . D. Reidel Publishing Company .
  • Chellas , B. F. 1980 . Modal Logic: An Introduction , Cambridge University Press .
  • Fariñas del Cerro , L. 1992 . Intensional Logics for Programming , Edited by: Penttonen , M. Oxford University Press . ISBN 019-853775-1
  • Fariñas del Cerro , Luis . 1986 . MOLOG: A system that extends PROLOG with modal logic . New Generation Computing , 4 : 35 – 50 .
  • Faustini A. A. Wadge W. W. An eductive interpreter for pLucid Technical Report TR-006-86, Department of Computer Science and Engineering Arizona State University 1986
  • Faustini , A. A. and Wadge , W. W. . Proceedings of the 2nd Conference on Languages and Problem Solving . Intensional programming . June , Johns Hopkins University . Applied Physics Laboratory
  • Gabbay , D. and Mc Brien , P. . Proceedings of the 17th Very Large Data Bases Conference . Temporal logic & historical databases . September , pp. 423 – 430 . Barcelona, Los Altos, , Spain : Morgan Kauffman .
  • Gabbay , D. M. 1987 . “ Modal and temporal logic programming ” . In Temporal Logics and Their Applications , Edited by: Galton , A. 197 – 237 . Academic Press .
  • Gabbay , D. M. 1990 . “ Modal and temporal logic programming ” . In Logic Programming: Expanding the Horizons , Edited by: Dodd , T. , Owens , R. and Torrance , S. 82 – 124 . Black wells . Part II
  • Galton , A. , ed. 1987 . Temporal Logics and Their Applications , Academic Press .
  • Hale , R. 1987 . “ Temporal logic programming ” . In Temporal Logics and Their Applications , Edited by: Galton , A. 91 – 119 . Academic Press .
  • Hrycej , Tomas . 1993 . A temporal extension of Prolog . Journal of Logic Programming , 15 ( 1&2 ) January : 113 – 145 .
  • Jackson , P. and Reichgelt , H. 1989 . “ A general proof method for modal predicate logic ” . In Logic-Based Knowledge Representation , Edited by: Jackson , P. , Reichgelt , H. and van Harmelen , F. 177 – 228 . MIT Press .
  • Jaffar , J. and Lassez , J. L. . Conference Record of the Fourteenth ACM Symposium on Principles of Programming Languages . Constraint logic programming . pp. 111 – 119 . Munich, , Germany : ACM Press .
  • Kline , Nick . 1993 . An update of the temporal database bibliography . SIGMOD RECORD , 22 ( 4 ) December : 66 – 80 .
  • Kono , S. , Aoyagi , T. , Fujita , M. and Tanaka , H. 1986 . “ Implementation of temporal logic programming language Tokio ” . In Logic Programming ′85 , Edited by: Wada , E. Vol. 221 , 138 – 147 . Springer-Verlag . LNCS
  • Kowalski , R. A. 1979 . Logic for Problem Solving , Amsterdam : North-Holland Publishing Company .
  • Lichtenstein , O. , Pnueli , A. and Zuck , L. 1985 . “ The glory of the past ” . In Logic of Programs , Edited by: Parikh , Rohit . Vol. 193 , 196 – 218 . Springer-Verlag . LNCS
  • Lloyd , J. W. 1984 . Foundations of Logic Programming , Springer-Verlag .
  • Manna , Z. and Pnueli , A. 1981 . “ Verification of concurrent programs: the temporal framework ” . In Correctness Problem in Computer Science , Edited by: Boyer and Moore . 215 – 273 . Academic Press .
  • Mitchell , W. H. and Faustini , A. A. 1989 . Proceedings of the 1989 International Symposium on Lucid and Intensional Programming . The intensional logic language In Tense . May 8 1989 . Arizona State University .
  • Moszkowski , B. 1986 . Executing Temporal Logic Programs , Cambridge University Press .
  • Orgun , M. A. and Ma , W. . Proc. of ICTL ′94: First International Conference on Temporal Logic . An overview of temporal and modal logic programming . July 11-15 . Edited by: Gabbay , D. M. and Ohlbach , H. J. Vol. 827 , pp. 445 – 479 . Bonn, , Germany : Gustav Stresemann Institut, Springer-Verlag . LNAI
  • Orgun , M. A. and Wadge , W. W. January 1988 . Chronolog: A temporal logic programming language and its formal semantics , January , Victoria, , Canada : University of Victoria . Department of Computer Science
  • Orgun , M. A. and Wadge , W. W. 1992 . “ Theory and practice of temporal logic programming ” . In Intensional Logics for Programming , Edited by: Fariñas del Cerro , L. and Penttonen , M. 23 – 50 . Oxford University Press .
  • Orgun , M. A. and Wadge , W. W. 1992 . Towards a unified theroy of intensional logic programming . Journal of Logic Programming , 13 ( 4 ) August : 413 – 440 .
  • Orgun , M. A. and Wadge , W. W. 1994 . Extending temporal logic programming with choice predicates non-determinism . Journal of Logic and Computation , 4 ( 6 ) August : 877 – 903 .
  • Orgun , M. A. , Wadge , W. W. and Du , W. 1993 . Proceedings of ICCI ′93: The Fifth International Conference on Computing and Information . Chronolog(ℒ): Linear-time logic programming . May 27-29 1993 . Sudbury, , Canada : IEEE Computer Society Press, Laurentian University .
  • Pliu[sbreve]kevičius , Regimantas . . First and Second Russian Conference on Logic Programming . Logical foundation for logic programming based on first-order linear temporal logic . pp. 391 – 406 . Berlin : Springer-Verlag .
  • Rescher , N. and Urquhart , A. 1971 . Temporal Logic. , Springer-Verlag .
  • Sadri , F. 1987 . “ Three approaches to temporal reasoning ” . In Temporal Logics and Their Applications , Edited by: Galton , A. 121 – 168 . Academic Press .
  • Shapiro , E. Y. 1989 . “ Three approaches to temporal reasoning ” . In Temporal Logics and Their Applications , Edited by: Galton , A. 121 – 168 . Academic Press .
  • Shoham , Yoav . 1988 . Reasoning About Change , MIT Press .
  • Szalas , A. 1986 . Concerning the semantic consequence relation in first-order temporal logic . Theoretical Computer Science , 47 : 329 – 334 .
  • van Emden , M. H. and Kowalski , R. A. 1976 . The semantics of predicate logic as a programming language . Journal of the Association for Computing Machinery , 23 : 733 – 42 .
  • Wadge , W. W. 1988 . Proceedings of the 1988 International Symposium on Lucid and Intensional Programming . Tense logic programming a respectable alternative . April 7-8 1988 , Sidney, BC, Canada. pp. 26 – 32 .
  • Zhang , K. and Orgun , M. A. 1994 . Proceedings of ICCI ′94: The Sixth International Conference on Computing and Information . Parallel execution of temporal logic programs using dataflow computation . May 26-28 1994 . pp. 791 – 809 . Peterborough, , Canada : Trent University .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.