From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.
Jan-Christoph KassingFlorian FrohnJürgen GieslPublished in: CoRR (2023)
Keyphrases
- term rewriting
- rewrite systems
- theorem prover
- theorem proving
- operational semantics
- knuth bendix
- bayesian networks
- first order logic
- probabilistic logic
- generative model
- machine learning
- multi agent
- probabilistic model
- posterior probability
- inference rules
- conditional probabilities
- relational databases
- expert systems
- database systems