Browsing by Subject "Proof procedures"
Now showing items 1-1 of 1
-
Temporal disjunctive logic programming
(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 ...