Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs.
Benjamin Lucien KaminskiJoost-Pieter KatoenChristoph MathejaFederico OlmedoPublished in: ESOP (2016)
Keyphrases
- run times
- probabilistic logic
- probabilistic reasoning
- probabilistic knowledge
- probabilistic model
- bayesian networks
- uncertain data
- default reasoning
- generative model
- logical inference
- automated reasoning
- reasoning process
- knowledge base
- causal networks
- imprecise probabilities
- bnb adopt
- reasoning systems
- analogical reasoning
- probabilistic logic programs
- deductive reasoning
- reasoning mechanisms
- data driven
- model based reasoning
- uncertain information
- fixpoint
- reasoning tasks
- semantic web