Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.

Jan-Christoph Kassing Jürgen Giesl

Published in: CoRR (2023)

Keyphrases

term rewriting
rewrite systems
theorem proving
term rewrite systems
theorem prover
operational semantics
knuth bendix
probabilistic model
generative model
pairwise
bayesian networks
probabilistic logic
database systems
uncertain data
inference rules