Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs.
Sheshansh AgrawalKrishnendu ChatterjeePetr NovotnýPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- ranking algorithm
- web search
- bayesian networks
- uncertain data
- probabilistic model
- probabilistic logic
- data driven
- generative model
- combinatorial optimization
- ranking functions
- posterior probability
- programming environment
- supervised learning
- relational databases
- learning to rank
- genetic algorithm
- link analysis
- probabilistic reasoning
- rank order