Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty.
Daniel de LengFredrik HeintzPublished in: AAAI (2019)
Keyphrases
- metric temporal logic
- uncertain information
- reasoning under uncertainty
- data streams
- incomplete knowledge
- uncertain knowledge
- knowledge base
- uncertain data
- reasoning systems
- reasoning process
- exact solution
- meta level
- probabilistic knowledge
- real time
- qualitative reasoning
- belief updating
- robust optimization
- expected utility
- belief functions
- sliding window
- reasoning tasks
- probability theory
- evidential reasoning
- spatial reasoning
- probabilistic reasoning
- inherent uncertainty
- heavy hitters
- artificial intelligence
- machine learning