Improving Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting.

Jan-Christoph Kassing Jürgen Giesl

Published in: CoRR (2023)

Keyphrases

term rewriting
theorem proving
rewrite systems
theorem prover
operational semantics
knuth bendix
probabilistic model
database
bayesian networks
user defined
uncertain data