Qualitative Probabilistic Modelling in Event-B.
Stefan HallerstedeThai Son HoangPublished in: IFM (2007)
Keyphrases
- probabilistic networks
- qualitative models
- qualitative and quantitative
- quantitative and qualitative
- probabilistic model
- qualitative reasoning
- probabilistic reasoning
- probability theory
- qualitative probabilistic networks
- qualitative simulation
- causal reasoning
- generative model
- bayesian networks
- news articles
- probabilistic logic
- event recognition
- temporal events
- temporal patterns
- decision making
- uncertain data
- event driven
- event sequences
- event detection
- quantitative data
- spatio temporal