On probabilistic term rewriting.

Martin Avanzini Ugo Dal Lago Akihisa Yamada

Published in: Sci. Comput. Program. (2020)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
probabilistic model
knuth bendix
bayesian networks
rewrite systems
probabilistic logic
generative model
posterior probability
databases
machine learning
probability theory