From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting.
Jan-Christoph KassingFlorian FrohnJürgen GieslPublished in: FoSSaCS (2) (2024)
Keyphrases
- term rewriting
- rewrite systems
- theorem proving
- theorem prover
- operational semantics
- knuth bendix
- bayesian networks
- uncertain data
- probabilistic model
- conditional probabilities
- posterior probability
- inference rules
- artificial intelligence
- machine translation
- generative model
- probability theory
- probabilistic logic
- software engineering
- cooperative