Sign in
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