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

DOI10.1016/S0304-3975(00)00374-1zbMath0974.68028MaRDI QIDQ5940935

No author found.

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

stratificationcycle-sum testnegationtemporal logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Locally stratified Boolean grammars ⋮ Temporal stratification tests for linear and branching-time deductive databases

Uses Software

• CACTUS
• Lucid

Cites Work

• An extensional treatment of lazy data flow deadlock
• An extensional treatment of dataflow deadlock
• Parallel concepts in graph theory
• Towards a unified theory of intensional logic programming
• Logic programming and negation: A survey
• Branching-time logic programming: the language Cactus and its applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Stratified negation in temporal logic programming and the cycle-sum test