Now showing items 1-1 of 1

    • 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 ...