Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.
Benjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaFederico OlmedoPublished in: CoRR (2016)
Keyphrases
- run times
- probabilistic logic
- probabilistic reasoning
- probabilistic knowledge
- uncertain data
- bnb adopt
- computer programs
- knowledge base
- bayesian networks
- logical inference
- generative model
- reasoning tasks
- reasoning process
- automated reasoning
- causal networks
- model based reasoning
- machine learning
- qualitative reasoning
- meta level
- knowledge representation
- legal reasoning
- analogical reasoning
- model based diagnosis
- data driven
- probabilistic logic programs