On Probabilistic Term Rewriting.

Martin Avanzini Ugo Dal Lago Akihisa Yamada

Published in: FLOPS (2018)

Keyphrases

term rewriting
theorem proving
theorem prover
knuth bendix
operational semantics
probabilistic model
rewrite systems
bayesian networks
probability theory
uncertain data
inference rules
posterior probability
conditional probabilities
life cycle
first order logic
generative model
object oriented
databases