Reasoning about Recursive Probabilistic Programs.
Federico OlmedoBenjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaPublished in: CoRR (2016)
Keyphrases
- recursive programs
- probabilistic knowledge
- probabilistic logic
- generative model
- data driven
- bayesian networks
- fixpoint
- computer programs
- uncertain data
- expert systems
- probabilistic logic programs
- probabilistic reasoning
- context sensitive
- spatial reasoning
- probability theory
- information theoretic
- probabilistic model
- datalog programs
- formal theory
- artificial intelligence