Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version).

Jan-Christoph Kassing Jürgen Giesl

Published in: CoRR (2023)

Keyphrases

term rewriting
rewrite systems
theorem prover
theorem proving
operational semantics
knuth bendix
database
bayesian networks
uncertain data
probabilistic model
multi agent
data streams
attribute values
life cycle