Occurrence Logic with Temporal Heredity.
Suguru YoshiokaKen KaneiwaSatoshi TojoPublished in: IICAI (2003)
Keyphrases
- temporal information
- linear temporal logic
- spatio temporal
- temporal evolution
- temporal reasoning
- temporal data
- temporal databases
- temporal constraints
- spatial and temporal
- temporal relations
- logic programming
- classical logic
- asynchronous circuits
- databases
- temporal logic
- data sets
- multi valued
- computational properties
- neural network
- temporal consistency
- predicate logic