Inferring Covariances for Probabilistic Programs.
Benjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPublished in: QEST (2016)
Keyphrases
- probabilistic model
- probabilistic logic
- computer programs
- covariance matrices
- hidden markov models
- uncertain data
- covariance matrix
- information theoretic
- programming environment
- estimation algorithm
- real time
- bayesian networks
- logic programming
- logic programs
- information technology
- probabilistic reasoning
- knowledge base
- learning algorithm
- stable models
- machine learning