Branching-Time Logic Programming: The Language Cactus and its Applications

@article{Rondogiannis1998BranchingTimeLP,
  title={Branching-Time Logic Programming: The Language Cactus and its Applications},
  author={P. Rondogiannis and M. Gergatsoulis and T. Panayiotopoulos},
  journal={Comput. Lang.},
  year={1998},
  volume={24},
  pages={155-178}
}
  • P. Rondogiannis, M. Gergatsoulis, T. Panayiotopoulos
  • Published 1998
  • Computer Science
  • Comput. Lang.
  • Temporal programming languages provide a powerful means for the description and implementation of dynamic systems. However, most temporal languages are based on linear time, a fact that renders them unsuitable for certain types of applications (such as expressing properties of non-deterministic programs). In this paper we introduce the new temporal logic programming language Cactus, which is based on a branching notion of time. In Cactus, the truth value of a predicate depends on a hidden time… CONTINUE READING
    25 Citations
    A Proof Procedure For Temporal Logic Programming
    • 2
    The Branching-Time Transformation Technique for Chain Datalog Programs
    • 5
    • PDF
    A temporal programming model with atomic blocks based on projection temporal logic
    • 1
    • PDF
    A Concurrent Temporal Programming Model with Atomic Blocks
    • 2
    • PDF
    Axiomatic semantics of projection temporal logic programs
    • 12
    • Highly Influenced
    Invariant-Free Deduction Systems for Temporal Logic
    • 2
    Temporal disjunctive logic programming
    • 7
    • PDF

    References

    SHOWING 1-10 OF 48 REFERENCES
    Proof Procedures for Branching � Time Logic Programs �
    • 4
    • PDF
    Chronolog(Z): linear-time logic programming
    • M. Orgun, W. Wadge, W. Du
    • Computer Science
    • Proceedings of ICCI'93: 5th International Conference on Computing and Information
    • 1993
    • 14
    • PDF
    Intensional logic programming
    • 15
    Decision Procedures and Expressiveness in the Temporal Logic of Branching Time
    • 323
    • PDF
    Multi-Dimensional Logic Programming: Theoretical Foundations
    • 15
    Chronolog Admits a Complete Proof Procedure
    • 16
    • PDF