M. Gergatsoulis, P. Rondogiannis, T. Panayiotopoulos
Abstract A disjunctive temporal logic programming language, called
Disjunctive Chronolog is presented in this paper. Disjunctive Chronolog
combines the ideas of both temporal logic programming and disjunctive logic
programming. The new language is capable of expressing dynamic behaviour as well
as uncertainty, two notions that are very common in a variety of real systems.
Minimal model semantics, model state semantics and fixpoint semantics are
developed for the proposed language and their equivalence is shown.
Temporal logic programming, disjunctive logic programming.