Stratified negation in temporal logic programming and the cycle-sum test

Authors:
P. Rondogiannis
Affiliations:
Univ. of Athens, Athens, Greece
Venue:
Theoretical Computer Science
Year:
2001

Citing 0
Cited 4

An Infinite-Valued Semantics for Logic Programs with Negation

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Minimum model semantics for logic programs with negation-as-failure

ACM Transactions on Computational Logic (TOCL)
Temporal stratification tests for linear and branching-time deductive databases

Theoretical Computer Science
Locally stratified Boolean grammars

Information and Computation

Quantified Score

Hi-index	5.23

Visualization

Abstract