TeMP: A Temporal Monodic Prover.
Ullrich HustadtBoris KonevAlexandre RiazanovAndrei VoronkovPublished in: IJCAR (2004)
Keyphrases
- theorem proving
- temporal information
- temporal data
- theorem prover
- spatio temporal
- spatial and temporal
- temporal databases
- machine learning
- temporal behavior
- predicate logic
- temporal reasoning
- temporal patterns
- temporal evolution
- temporal ordering
- automated theorem proving
- temporal analysis
- temporal dimension
- hidden markov models
- multiscale
- computer vision
- artificial intelligence