Reactive Probabilistic Programs and Refinement Algebra.
Larissa MeinickeKim SolinPublished in: RelMiCS (2008)
Keyphrases
- data model
- bayesian networks
- probabilistic model
- neural network
- generative model
- refinement process
- data driven
- uncertain data
- belief networks
- probabilistic approaches
- java programs
- automatic programming
- set theory
- probabilistic logic
- information theoretic
- logic programs
- expert systems
- knowledge base
- genetic algorithm