On Lexicographic Proof Rules for Probabilistic Termination.
Krishnendu ChatterjeeEhsan Kafshdar GoharshadyPetr NovotnýJiri ZárevúckyDorde ZikelicPublished in: Formal Aspects Comput. (2023)
Keyphrases
- logical rules
- active rules
- probabilistic relational
- classification rules
- cost based abduction
- association rules
- probabilistic model
- production rules
- probability theory
- decision rules
- rule sets
- bayesian networks
- rewrite systems
- active databases
- context sensitive
- data driven
- rule discovery
- neural network
- termination analysis
- domain knowledge
- proof theoretic
- rough sets
- term rewriting
- generative model
- posterior probability
- probabilistic logic
- rule learning
- rule extraction
- domain experts
- background knowledge
- combinatorial optimization
- theorem prover
- belief networks