Reasoning about Recursive Probabilistic Programs.
Federico OlmedoBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPublished in: LICS (2016)
Keyphrases
- recursive programs
- probabilistic knowledge
- bayesian networks
- probabilistic model
- generative model
- uncertain data
- data structure
- information systems
- context sensitive
- spatial reasoning
- qualitative reasoning
- search algorithm
- hidden markov models
- query language
- data sets
- posterior probability
- probabilistic reasoning
- automatic programming
- formal theory
- neural network
- databases