Temporal stratification tests for linear and branching-time deductive databases (Q2566298)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Temporal stratification tests for linear and branching-time deductive databases |
scientific article |
Statements
Temporal stratification tests for linear and branching-time deductive databases (English)
0 references
22 September 2005
0 references
Temporal deductive databases
0 references
Temporal logic programming
0 references
Stratified negation
0 references