Browsing Περιοδικά, εφημερίδες by Author "Rondogiannis, Panos"

Now showing items 1-6 of 6

    • The branching-time transformation technique for Chain Datalog programs 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Gergatsoulis, Manolis; Rondogiannis, Panos (2001)
      The branching-time transformation technique has proven to be an efficient approach for implementing functional programming languages. In this paper we demonstrate that such a technique can also be defined for logic programming ...

    • Temporal disjunctive logic programming 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Παναγιωτόπουλος, Θέμης; Gergatsoulis, Manolis; Rondogiannis, Panos; Panayiotopoulos, Themis (2001)
      In this paper we introduce the logic programming language Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of expressing dynamic ...

    • Temporal stratification tests for linear and branching-time deductive databases 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Νομικός, Χρίστος; Gergatsoulis, Manolis; Rondogiannis, Panos; Nomikos, Christos (2005)
      We consider the problem of extending temporal deductive databases with stratified negation. We argue that the classical stratification test for deductive databases is too restrictive when one shifts attention to the temporal ...

    • A transformation technique for datalog programs based on non-deterministic constructs 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Ποτίκας, Πέτρος; Gergatsoulis, Manolis; Rondogiannis, Panos; Potikas, Petros (2001)
      Recently, a novel transformation technique for Datalog programs, called the branching-time transformation, was introduced by the authors. In this paper we propose a significant extension of the branching-time transformation ...

    • Unfold/fold transformations for disjunctive logic programs 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Gergatsoulis, Manolis; Rondogiannis, Panos (1997)
      Unfold/fold transformation rules for disjunctive logic programs are proposed in this paper. Our transformation rules preserve the meaning of the programs.

    • A value-propagating transformation technique for Datalog programs based on non-deterministic constructs 

      Γεργατσούλης, Μανώλης; Ροντογιάννης, Παναγιώτης; Ποτίκας, Πέτρος; Gergatsoulis, Manolis; Rondogiannis, Panos; Potikas, Petros (2006)
      The branching-time transformation is a recent technique for optimizing Chain Datalog programs. In this paper we propose a significant extension of the branching-time transformation which we believe opens up a promising new ...