Stratified negation in temporal logic programming and the cycle-sum test (Q5940935)
From MaRDI portal
scientific article; zbMATH DE number 1635086
Language | Label | Description | Also known as |
---|---|---|---|
English | Stratified negation in temporal logic programming and the cycle-sum test |
scientific article; zbMATH DE number 1635086 |
Statements
Stratified negation in temporal logic programming and the cycle-sum test (English)
0 references
20 August 2001
0 references
We consider stratified negation in temporal logic programming. We demonstrate that the cycle-sum test (which was initially proposed for detecting deadlocks in the context of temporal functional programming) can also be used as a syntactic stratification test for temporal logic programming. Therefore, on the one hand we exhibit a class of temporal logic programs with negation which have a well-defined semantics, and on the other hand we provide further evidence that the cycle-sum test is a fundamental one in the area of temporal programming.
0 references
temporal logic programming
0 references
negation
0 references
stratification
0 references
cycle-sum test
0 references