On Lexicographic Proof Rules for Probabilistic Termination.
Krishnendu ChatterjeeEhsan Kafshdar GoharshadyPetr NovotnýJiri ZárevúckyDorde ZikelicPublished in: FM (2021)
Keyphrases
- logical rules
- termination analysis
- active rules
- probabilistic relational
- probabilistic model
- rule sets
- association rules
- bayesian networks
- data mining
- data driven
- generative model
- classification rules
- cost based abduction
- theorem prover
- background knowledge
- probabilistic logic
- probabilistic reasoning
- term rewriting
- preference models
- rewrite systems
- logic programming
- domain knowledge