On Lexicographic Proof Rules for Probabilistic Termination.
Krishnendu ChatterjeeEhsan Kafshdar GoharshadyPetr NovotnýJiri ZárevúckyDorde ZikelicPublished in: CoRR (2021)
Keyphrases
- logical rules
- probabilistic relational
- probabilistic model
- uncertain data
- cost based abduction
- classification rules
- bayesian networks
- posterior probability
- active rules
- neural network
- association rules
- probability distribution
- background knowledge
- business rules
- description logic programs
- probabilistic logic
- term rewriting
- multicriteria optimization
- production rules
- theorem proving
- theorem prover
- multi attribute
- rule sets
- association rule mining
- generative model
- data driven
- rough sets
- genetic algorithm