Sciweavers

NGC
2000
Springer

Temporal Disjunctive Logic Programming

13 years 5 months ago
Temporal Disjunctive Logic Programming
In this paper we introduce the logic programminglanguage 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 minimaltemporal model semantics and the xpoint 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. Keywords TemporalLogic Programming,Disjunctive Logic Programming, Semantics, Proof Procedures.
Manolis Gergatsoulis, Panos Rondogiannis, Themis P
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2000
Where NGC
Authors Manolis Gergatsoulis, Panos Rondogiannis, Themis Panayiotopoulos
Comments (0)