Browsing by Subject "Stratified negation"
Now showing items 1-1 of 1
-
Temporal stratification tests for linear and branching-time deductive databases
(2005)We consider the problem of extending temporal deductive databases with stratified negation. We argue that the classical stratification test for deductive databases is too restrictive when one shifts attention to the temporal ...