Inference in Temporal Next-Time Logic.
Vladimir V. RybakovPublished in: We Will Show Them! (2) (2005)
Keyphrases
- logical inference
- deductive reasoning
- linear temporal logic
- temporal information
- spatio temporal
- logic programming
- spatial and temporal
- probabilistic inference
- abductive reasoning
- inference mechanism
- temporal consistency
- bayesian networks
- inference process
- probabilistic reasoning
- temporal data
- temporal patterns
- temporal constraints
- causal theories
- asynchronous circuits
- nonmonotonic inference
- temporal analysis
- temporal databases
- probabilistic logic
- multi valued
- automated reasoning
- inference engine
- bayesian inference
- neural network
- logical framework
- predicate logic
- database
- temporal reasoning
- space time
- relational databases