Temporal disjunctive logic programming
Ημερομηνία
2001Συγγραφέας
Γεργατσούλης, Μανώλης
Ροντογιάννης, Παναγιώτης
Παναγιωτόπουλος, Θέμης
Gergatsoulis, Manolis
Rondogiannis, Panos
Panayiotopoulos, Themis
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
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 behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.
Collections
- Περιοδικά, εφημερίδες [1351]